987 search results - page 62 / 198 » Implementing an untrusted operating system on trusted hardwa... |
MTV
2007
IEEE
15 years 7 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
108
click to vote
SC
1995
ACM
15 years 5 months ago
1995
ACM
Release consistency is a widely accepted memory model for distributed shared memory systems. Eager release consistency represents the state of the art in release consistent protoc...
SBACPAD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we reevaluate the use of adaptive compressed caching to improve system performance through the reduction of accesses to the backing stores. We propose a new adaptab...
115
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
112
click to vote
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...