212 search results - page 29 / 43 » A Certified Implementation on Top of the Java Virtual Machin... |
SIGOPSE
2000
ACM
13 years 12 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
ECBS
2003
IEEE
14 years 23 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
APLAS
2003
ACM
14 years 22 days ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...
USENIX
2008
13 years 9 months ago
2008
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...