Bytecode instrumentation is a preferred technique for building profiling, debugging and monitoring tools targeting the java Virtual Machine (JVM), yet is fundamentally dangerous. We illustrate its dangers with several...
详细信息
Formal specifications of standard libraries are necessary when statically verifying software that uses those libraries. Library specifications must be both correct, accurately reflecting library behavior, and useful, ...
详细信息
Logic programs are now used as a representation of object-oriented source code in academic prototypes for about a decade. This representation allows a clear and concise implementation of analyses of the object-oriente...
详细信息
This paper achieves information-capture of joint-point by analyzing java program with AspectJ. This information includes: method call, parameter values passed in method call, method call target and captured value of r...
详细信息
This paper gives an overview of both specification and implementation details for integration of DTV services into the Android OS, using java programming language. Since java programming language is the language of ch...
详细信息
When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitor...
详细信息
ISBN:
(纸本)9781450315630
When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitors the application and reports data races as soon as they occur. The agent was evaluated on java2Demo for which it reported more than 2500 data races.
In this paper we present PCJ - a new library for parallel computations in java inspired by the partitioned global address space approach. We present design details together with the examples of usage for basic operati...
详细信息
The choice of a programminglanguage that supports massive concurrency and takes the maximum performance of multicore computers is fundamental for the success of Web 2.0 applications. This paper presents a comparative...
详细信息
ISBN:
(纸本)9789898533098
The choice of a programminglanguage that supports massive concurrency and takes the maximum performance of multicore computers is fundamental for the success of Web 2.0 applications. This paper presents a comparative assessment between java and Erlang through the Intel MPI Benchmark (IMB).
With development of software scale, programmer has been noticed the importance of design pattern. Each pattern has different realization in different platform. As the object-oriented technique develops, application of...
详细信息
暂无评论