This paper proposes a transformation-based approach to design constraint-based analyses for java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an origina...
详细信息
ISBN:
(纸本)158113388X
This paper proposes a transformation-based approach to design constraint-based analyses for java at a coarser granularity. In this approach, we design a less or equally precise but more efficient version of an original analysis by transforming the original construction rules into new ones. As applications of this rule transformation, we provide two instances of analysis design by rule-transformation. The first one designs a sparse version of class analysis for java and the second one deals with a sparse exception analysis for java. Both are designed based on method-level, and the sparse exception analysis is shown to give the same information for every method as the original analysis.
This paper studies dependence analysis for java arrays, emphasizing efficient solutions that avoid a large compile-time overhead. We present a new approach for dependence analysis based on sparse congruence partitioni...
详细信息
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a, the 'Grid' Computing a reality. Since a Grid will consist of vastly he...
详细信息
ISBN:
(纸本)1581133596
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a, the 'Grid' Computing a reality. Since a Grid will consist of vastly heterogeneous sets of compute nodes, especially commodity clusters, some have articulated the use of java as a suitable technology to satisfy portability across different machines. Since java's natural model of parallelism is shared memory multithreading, one will have to support distributed shared memory (DSM) in a portable manner;however, none of the previous work on implementing java on DSM has been a portable solution. Instead, we propose a software architecture whose goal is to achieve portability of DSM implementations across different commodity clustering platforms, while restricting the programming model somewhat, and implemented a prototype system, JDSM. Benchmark results show that the current implementation on java incurs increased memory coherency maintenance cost compared to C-based DSMs, thus limiting scalability to some degree, and we are currently working on a solution to alleviate this cost.
This article describes the current work to extend the java processor java Silicon Machine (JSM) for usage in embedded systems. The JSM is a javaCard processor supporting all javaCard bytecodes. The JSM is a fully synt...
详细信息
This article describes the current work to extend the java processor java Silicon Machine (JSM) for usage in embedded systems. The JSM is a javaCard processor supporting all javaCard bytecodes. The JSM is a fully synthesizable 32bit processor soft core with a very small footprint. The capability of it's integration in small embedded and automation systems is outlined. Special target platform is the SmartDev system which consists of a java core interfacing to a wide variety of peripherals. SmartDev is intended to be used in mobile embedded systems for administrational, controlling and measurement purposes.
This paper presents a white box approach to workload characterization applied to java workloads. We present several ways to compare workloads using bytecode execution frequencies. In particular, we investigate several...
详细信息
The HotSpot™ Serviceability Agent (SA) is a set of APIs for the java programming language which model the state of Sun Microsystems' java™ HotSpot Virtual Machine. Unlike most previous debugging systems for dynami...
详细信息
We describe JastAdd, a java-based system for specifying and implementing the parts of compiler front ends that follow parsing. The system is built on top of a traditional java parser generator which is used for parsin...
详细信息
Most Internet technologies are designed for desktop and large computers running on reliable networks with relatively high bandwidth. Developing wireless applications using wireless application protocol (WAP) technolog...
详细信息
Most Internet technologies are designed for desktop and large computers running on reliable networks with relatively high bandwidth. Developing wireless applications using wireless application protocol (WAP) technologies is similar to developing web pages with a markup language because it is browser based. This tutorial will help participants understand the different technologies that can be used to develop wireless applications for hand-held devices.
javaSpaces is a coordination infrastructure inspired by the shared dataspace model: processes interact by introducing, consuming, and testing for the presence/absence of data in a common repository. Besides these trad...
详细信息
TestEra is a novel framework for automated testing of java programs. We have built TestEra upon Alloy, a lightweight first-order relational language, and the Alloy Analyzer, a fully automatic simulation and checking t...
详细信息
暂无评论