884 search results - page 131 / 177 » Implementation of the MLP Kernel |
KBSE
2006
IEEE
14 years 3 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
SSDBM
2006
IEEE
14 years 3 months ago
2006
IEEE
A variety of real-world applications requires a meaningful online analysis of transient data streams. An important building block of many analysis tasks is the characterization of...
PLDI
2006
ACM
14 years 3 months 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...
CLUSTER
2005
IEEE
14 years 3 months ago
2005
IEEE
We have created ZapC, a novel system for transparent coordinated checkpoint-restart of distributed network applications on commodity clusters. ZapC provides a thin virtualization ...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...