Sciweavers

3341 search results - page 70 / 669
» A Communication Virtual Machine
Sort
View
ICECCS
1995
IEEE
84views Hardware» more  ICECCS 1995»
15 years 6 months ago
Dynamic task migration from SIMD to SPMD virtual machines
James B. Armstrong, Howard Jay Siegel
CCS
2008
ACM
15 years 5 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
WOTUG
2008
15 years 4 months ago
Virtual Machine Based Debugging for occam-pi
Carl G. Ritson, Jonathan Simpson
DIMVA
2010
15 years 3 months ago
dAnubis - Dynamic Device Driver Analysis Based on Virtual Machine Introspection
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
Matthias Neugschwandtner, Christian Platzer, Paolo...