52 search results - page 5 / 11 » Towards an Algebraic Specification of the Java Virtual Machi... |
APSEC
2004
IEEE
13 years 10 months ago
2004
IEEE
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...
COOPIS
2004
IEEE
13 years 10 months ago
2004
IEEE
A new class of embedded devices is emerging that has a mixture of traditional firmware (written in C/C++) with an embedded virtual machine (e.g., Java). For these devices, the main...
HPCC
2007
Springer
14 years 25 days ago
2007
Springer
I/O Virtualization provides a convenient way of device sharing among guest domains in a virtualized platform (e.g. Xen). However, with the ever-increasing number and variety of dev...
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...
ENTCS
2007
13 years 6 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...