Stacking them up: a comparison of virtual machines
ACSAC '01 Proceedings of the 6th Australasian conference on Computer systems architecture
A formal model of real-time program compilation
Theoretical Computer Science
A Formal Model of Real-Time Program Compilation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Hi-index | 0.00 |