444 search results - page 63 / 89 » Multi-Dispatch in the Java Virtual Machine: Design and Imple... |
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
The convergence of computers and the physical world is the theme for next generation networking research. This trend calls for real-time network infrastructure, which requires a h...
ICMCS
2000
IEEE
13 years 11 months ago
2000
IEEE
Currently available Set-Top-Boxes (STBs) are mainly used for digital TV reception. The User Interface (UI) and the UI dialog of such a device usually focus on its technological as...
ECOOP
2005
Springer
14 years 28 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
NDSS
2003
IEEE
14 years 20 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
APLAS
2003
ACM
13 years 11 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...