55 search results - page 9 / 11 » Core semantics of multithreaded Java |
117
click to vote
ICFP
2005
ACM
15 years 11 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
16 years 8 days 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
15 years 4 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
15 years 5 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
15 years 5 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...