3500 search results - page 150 / 700 » Implementing Java on Clusters |
IWPC
2009
IEEE
14 years 5 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
PDP
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...
COMPSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
IPPS
2005
IEEE
14 years 4 months ago
2005
IEEE
The Message Passing Interface (MPI) is a popular communication library that supports the SIMD model of parallel computing. Process networks (PN), where processes communicate throu...
VL
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...