53 search results - page 2 / 11 » A Path to Virtual Software Inspection |
EICS
2009
ACM
14 years 26 days ago
2009
ACM
Discovering and unlocking the full potential of complex pervasive environments is still approached in application-centric ways. A set of statically deployed applications often deï...
SIGCSE
2009
ACM
14 years 7 months ago
2009
ACM
GINI (GINI Is Not Internet) is an open-source toolkit for creating virtual micro Internets for teaching and learning computer networking. It provides lightweight virtual elements ...
WSC
1996
13 years 7 months ago
1996
Researchers at the National Institute of Standards and Technology are developing a virtual manufacturing cell. This cell will contain simulation models of a wide range of manufact...
CGO
2006
IEEE
14 years 12 days ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
PLDI
2006
ACM
14 years 9 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...