884 search results - page 131 / 177 » Implementation of the MLP Kernel |
156
click to vote
KBSE
2006
IEEE
15 years 10 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...
126
click to vote
SSDBM
2006
IEEE
15 years 10 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...
123
click to vote
PLDI
2006
ACM
15 years 10 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...
164
click to vote
CLUSTER
2005
IEEE
15 years 10 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 ...
114
click to vote
DSN
2005
IEEE
15 years 10 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 ...