55 search results - page 9 / 11 » Core semantics of multithreaded Java |
ICFP
2005
ACM
14 years 6 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
WWW
2004
ACM
14 years 6 months ago
2004
ACM
Participation in the web of communities requires a common language, a common technological structure and development of content that is relevant and captivating. This paper report...
ECOOP
2000
Springer
13 years 10 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
PLDI
2004
ACM
13 years 11 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
CODES
2005
IEEE
13 years 12 months ago
2005
IEEE
As wireless platforms converge to multimedia systems, architectures must converge to support voice, data, and video applications. From a processor architecture perspective, suppor...