4615 search results - page 86 / 923 » Virtual Classes and Their Implementation |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
PADS
2003
ACM
14 years 2 months ago
2003
ACM
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
ICCS
2003
Springer
14 years 2 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...