In this paper we describe the development of a flexible and interactive learning environment for studying the java programming language. The system has been written using java and has been designed around an extended ...
详细信息
Due to its portability to different hardware platforms SUN's java programming language gains more and more significance. An important reason for the fast distribution is its usage as development platform for appli...
详细信息
In the standard java implementation, a javalanguage program is compiled to java bytecode and this bytecode is then interpreted by the java Virtual Machine. Since bytecode may be written by hand, or corrupted during n...
详细信息
The java programming language has gained substantial popularity in the past two years. java's networking features, along with the growing number of Web browsers that execute java applets, facilitate Internet progr...
详细信息
The paper is on how a java execution environment, named Gabi, is designed and implemented. It includes the design and implementation of the interpreter of a java Virtual Machine, the classloader, the frame and java th...
详细信息
The paper is on how a java execution environment, named Gabi, is designed and implemented. It includes the design and implementation of the interpreter of a java Virtual Machine, the classloader, the frame and java the hashtable (class table, native function table and java string table), the handle of ***, the interface to native function, the interface to JIT and its compiled code for java methods and the multithreading support, and approaches to boost the performance of the byte code interpreter by programming skills. Benchmarks are made to compare Gabi with Sun's JRE (java Runtime Environment).
For processing of incomplete data values in large-scale, incomplete databases, a hybrid, knowledge-based model is constructed to perform decision-aiding. The most important part of this model is a decision-making netw...
详细信息
For processing of incomplete data values in large-scale, incomplete databases, a hybrid, knowledge-based model is constructed to perform decision-aiding. The most important part of this model is a decision-making network. Parallel computation of the network is key to achieving good performance of the entire system. In this paper, a multithreaded solution is introduced for exploring parallelism in the computation of the decision-making network, and the data flow graph is presented. The proposed method is implemented with java threads. This solution can be used for parallelizing the computation of decision-making networks of varying sizes.
java-Web Computing paradigm changed Internet into computing environment. For java-Web Computing and many java applications, a new java processor, called simultaneous multithreaded (SMT) javaChip, is proposed to enhanc...
详细信息
java-Web Computing paradigm changed Internet into computing environment. For java-Web Computing and many java applications, a new java processor, called simultaneous multithreaded (SMT) javaChip, is proposed to enhance the performance of previous java processor by hardware support of java multithreading. SMT javaChip is a modified architecture with the enhanced mechanism of stack cache, instruction cache, functional units, and etc. It executes dual independent threads simultaneously and enhances instruction level parallelism. The performance of SMT javaChip is evaluated through the simulation using javaSim, a java processor simulator. This research is focused to enhance the performance of java processor by considering the characteristics of javalanguage and computation environment. Performance results show that SMT javaChip can provide the execution speedup of between 1.28 and 2.00 compared with the single threaded java processors.
Threads and concurrency constructs in java introduce non-determinism to a program's execution, which makes it hard to understand and analyze the execution behavior. Non-determinism in execution behavior also makes...
详细信息
Threads and concurrency constructs in java introduce non-determinism to a program's execution, which makes it hard to understand and analyze the execution behavior. Non-determinism in execution behavior also makes it impossible to use execution replay for debugging, performance monitoring, or visualization. This paper discusses a record/ replay tool for java, DejaVu, that provides deterministic replay of a program's execution. In particular, this paper describes the idea of the logical thread schedule, which makes DejaVu efficient and independent of the underlying thread scheduler. The paper also discusses how to handle the various java synchronization operations for record and replay. DejaVu has been implemented by modifying the Sun Microsystems' java Virtual Machine.
We defined a new concept of microscope system for telepathology, named World Wide Microscope (WWM), and implemented its prototype. WWM is constructed by the following three units;(1) microscope unit, (2) control unit,...
详细信息
This paper gives a mathematical specification the java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise subtle aspects of the JVM semantics and ...
详细信息
This paper gives a mathematical specification the java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise subtle aspects of the JVM semantics and the verifier. We focus on the use of data flow analysis to verify type-correctness and the use of typing contexts to insure global type consistency in the context of a lazy strategy for class loading. The specification types interfaces with sufficient accuracy to eliminate run-time type checks. Our approach is to specify a generic dataflow architecture and formalize the JVM verifier as an instance of this architecture. The emphasis in this paper is on readability of the specification and mathematical clarity. The specification given is consistent with the descriptions in the Lindholm's and Yellin's The javaTM Virtual Machine Specification. It less committed to implementation choices regarding when classes are loaded than Sun's version 1.1 implementation.
暂无评论