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.
This paper describes in a general way the process we went through to determine the goals, principles, audience, content and style for writing comments in source code for the java platform at the java Software division...
详细信息
作者：
Cardoso, João M PNeto, Horácio CINESC
University of Algarve Rua Alves Redol n. 9 3rd. Floor 1000 Lisboa Portugal INESC
IST Rua Alves Redol n. 9 3rd. Floor 1000 Lisboa Portugal
This paper presents a new approach to synthesize to reconfigurable hardware (HW) user-specified regions of a program, under the assumption of "virtual HW" support. The automation of this approach is supporte...
详细信息
This paper presents a new approach to synthesize to reconfigurable hardware (HW) user-specified regions of a program, under the assumption of "virtual HW" support. The automation of this approach is supported by a compiler front-end and by an HW compiler under development. The front-end starts from the java bytecodes and, therefore, supports any language that can be compiled to the JVM (java Virtual Machine) model. It extracts from the bytecodes all the dependencies inside and between basic blocks. This information is stored in representation graphs more suitable to efficiently exploit the existent parallelism in the program than those typically used in high-level synthesis. From the intermediate representations the HW compiler exploits the temporal partitions at the behavior level, resolves memory access conflicts, and generates the VHDL descriptions at register-transfer level that will be mapped into the reconfigurable HW devices.
Using java in embedded systems is plagued by problems of limited runtime performance and unpredictable runtime behavior. The java Multi-Threaded Processor (JMTP) provides solutions to these problems. The JMTP architec...
详细信息
Using java in embedded systems is plagued by problems of limited runtime performance and unpredictable runtime behavior. The java Multi-Threaded Processor (JMTP) provides solutions to these problems. The JMTP architecture is a single chip containing an off-the-shelf general purpose processor core coupled with an array of java Thread Processors (JTPs). Performance can be improved using this architecture by exploiting coarse-grained parallelism in the application. These performance improvements are achieved with relatively small hardware costs. Runtime predictability is improved by implementing a subset of the java Virtual Machine (JVM) specification in the JTP and trimming away complexity without excessively restricting the java code a JTP can handle. Moreover, the JMTP architecture incorporates hardware to adaptively manage shared JMTP resources in order to satisfy JTP thread timing constraints or provide an early warning for a timing violation. This is an important feature for applications with quality-of-service demands. In addition to the hardware architecture, we describe a software framework that analyzes a java application for expressed and implicit coarse-grained concurrent threads to execute on JTPs. This framework identifies the optimal mapping of an application to a JMTP with an arbitrary number of JTPs. We have tested this framework on a variety of applications including IDEA encryption with different JTP configurations and confirmed that the algorithm was able to obtain desired results in each case.
This paper presents a sound type system for a large subset of the java bytecode language including classes, interfaces, constructors, methods, exceptions, and bytecode subroutines. This work serves as the foundation f...
详细信息
This paper presents a sound type system for a large subset of the java bytecode language including classes, interfaces, constructors, methods, exceptions, and bytecode subroutines. This work serves as the foundation for developing a formal specification of the bytecode language and the java Virtual Machine's bytecode verifier. We also describe a prototype implementation of a type checker for our system and discuss some of the other applications of this work. For example, we show how to extend our work to examine other program properties, such as the correct use of object locks.
Presents an experiment in understanding how learners of the java programming language comprehend its concepts, such as classes, inheritance, interfaces, etc., in lectures and exercises. The authors used an empirical t...
详细信息
The programminglanguagejava has become too important to be ignored by embedded system designers. The bottleneck for launching java into the high volume embedded system market is that the traditional ways to execute ...
详细信息
Jalapeno is a virtual machine for java servers written in java. A running java program involves four layers of functionality: the user code, the virtual-machine, the operating system, and the hardware. By drawing the ...
详细信息
Jalapeno is a virtual machine for java servers written in java. A running java program involves four layers of functionality: the user code, the virtual-machine, the operating system, and the hardware. By drawing the java / non-java boundary below the virtual machine rather than above it, Jalapeno reduces the boundary-crossing overhead and opens up more opportunities for optimization. To get Jalapeno started, a boot image of a working Jalapeno virtual machine is concocted and written to a file. Later, this file can be loaded into memory and executed. Because the boot image consists entirely of java objects, it can be concocted by a java program that runs in any JVM. This program uses reflection to convert the boot image into Jalapeno's object format. A special MAGIC class allows unsafe casts and direct access to the hardware. Methods of this class are recognized by Jalapeno's three compilers, which ignore their bytecodes and emit special-purpose machine code. User code will not be allowed to call MAGIC methods so java's integrity is preserved. A small non-java program is used to start up a boot image and as an interface to the operating system. java's programming features - object orientation, type safety, automatic memory management - greatly facilitated development of Jalapeno. However, we also discovered some of the language's limitations.
暂无评论