We developed a CG animation system using a special language »java-Lifo», which is developed with java, and is a descendant of the Lisp and Forth language families. We demonstrated an experimental Japanese-Ko...
详细信息
Experience gained from IBM’s Aglets project1 has led us to the conclusion that java is far from being a language ideal for agent development. We discovered significant deficiencies in java related to agent mobility, ...
详细信息
Exception-handling constructs provide a mechanism for raising exceptions and a facility for designating protected code by attaching exception handlers to blocks of code. Despite the frequency of their occurrences, the...
详细信息
Exception-handling constructs provide a mechanism for raising exceptions and a facility for designating protected code by attaching exception handlers to blocks of code. Despite the frequency of their occurrences, the behavior of exception-handling constructs is often the least understood and poorly tested part of a program. The presence of such constructs introduces new structural elements, such as control-flow paths, in a program. To adequately test such programs, these new structural elements must be considered for coverage during structural testing. In this paper, we describe a class of adequacy criteria that can be used to test the behavior of exception-handling constructs. We present a subsumption hierarchy of the criteria, and illustrate the relationship of the criteria to those found in traditional subsumption hierarchies. We describe techniques for generating the testing requirements for the criteria using our control-flow representations. We also describe a methodology for applying the criteria to unit and integration testing of programs that contain exception-handling constructs.
In this paper an overview is given of the "Have java"2 project to attain a pure java parallel Navier-Stokes flow solver (JParNSS) based on the thread concept and remote method invocation @MI). The goal of th...
详细信息
In this paper an overview is given of the "Have java"2 project to attain a pure java parallel Navier-Stokes flow solver (JParNSS) based on the thread concept and remote method invocation @MI). The goal of this project is to produce an industrial flow solver running on an arbitrary sequential or parallel architecture, utilizing the Internet, capable of handling the most complex 3D geometries as well as flow physics, and also linking to codes in other areas such as aeroelasticity etc. Since java is completely object oriented the code has been written in an object-oriented programming (OOP) style. The code also includes a graphics user interface (GUI) as well as an interactive steering package for the parallel architecture. The java OOP approach provides profoundly improved software productivity, robustness, and security as well as reusability and maintainability. OOP allows code construction similar to the aerodynamic design process because objects can be software coded and integrated, reflecting actual design procedures. In addition, java is the programminglanguage of the Internet and thus java objects on disparate machines or even separate networks can be connected. We explain the motivation for the design of JParNSS along with its capabilities that set it apart from other solvers. In the first two sections we present a discussion of the javalanguage as the programming tool for aerospace applications. In section three the_ objectives of the Have java project arc presented. In the next section the layer structures of JParNSS are discuss-ed with emphasis on the parallelization and client-server (RMI) layers. JParNSS, like its predecessor ParNSS (ANSI-C), is based on the multiblock idea, and allows for arbitrarily complex topologies. Grids are accepted in GridPro or Plot3D format. Using GridPro property settings, grids of any size or block number can be directly read by JParNSS without any further modifications, requiring no additional preparation time for the solver
java is an ideal language for developing embedded applications. However, most java implementations and tools were designed for workstations and have limitations due to that heritage. Special tools are required to supp...
详细信息
java is an ideal language for developing embedded applications. However, most java implementations and tools were designed for workstations and have limitations due to that heritage. Special tools are required to support deployment and effect better integration with target hardware. This talk will be in two parts. The first part will provide an overview of pervasive computing with a special focus on embedded java, and describe typical applications drawn from several different market segments. The second half will delve more deeply into the architecture of an embedded java runtime and discuss technical issues relating to dynamic compilation, optimization, and deployment.
Programs written in concurrent object-oriented languages, especially ones that employ thread-safe reusable class libraries, can execute synchronization operations (lock, notify, etc.) at an amazing rate. Unless implem...
详细信息
Programs written in concurrent object-oriented languages, especially ones that employ thread-safe reusable class libraries, can execute synchronization operations (lock, notify, etc.) at an amazing rate. Unless implemented with utmost care, synchronization can become a performance bottleneck. Furthermore, in languages where every object may have its own monitor, per-object space overhead must be minimized. To address these concerns, we have developed a meta-lock to mediate access to synchronization data. The meta-lock is fast (lock + unlock executes in 11 SPARC architecture instructions), compact (uses only two bits of space), robust under contention (no busy-waiting), and flexible (supports a variety of higher-level synchronization operations). We have validated the metal-lock with an implementation of the synchronization operations in a high-performance product-quality java virtual machine and report performance data for several large programs.
We present a canonic model expressing the behavior of a system of communicating objects through multiset rewriting. Then, we discuss the integration of the so-defined model into the javalanguage. The choices and the ...
详细信息
Implementing an agent platform is based on the supporting language and underline OO library. Currently, the most popular Internet language is java and the library for Internet related software is JDK1.2. We designed a...
详细信息
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that quality should be assured by applying...
详细信息
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that quality should be assured by applying testing, analysis and formal methods to rigorously defined precode artifacts. The detection of null pointer violation errors is definitely such a goal. This way of applying formal methods has a great potential to increase our confidence in the software. Our goal is to provide a practical mechanism to assist the application of formal methods in the early detection of null pointer violation errors in programs. Our solution is theorem proving based and is focused on the identification of the possible places in which a theorem prover could assist in the detection of null pointer violation errors and the formulation of the necessary proof obligations.
In this paper we present the architecture of a Financial Information Gathering Infrastructure (FIGI). FIGI helps investors collect, lter, combine and integrate portfolio-related information provided through various In...
详细信息
ISBN:
(纸本)0769503349
In this paper we present the architecture of a Financial Information Gathering Infrastructure (FIGI). FIGI helps investors collect, lter, combine and integrate portfolio-related information provided through various Internet services like World-Wide Web sites and Web-databases. FIGI is being developed with java-based Mobile Agent technology by Mitsubishi Electric Information Technology Center. The employment of java and Mobile Agents provides us with a framework for unifying the various nancial information services currently available on Internet and for sustaining continuous information provision even to mobile users.
暂无评论