648 search results - page 40 / 130 » Hardware support for real-time operating systems |
165
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
163
click to vote
SIGMETRICS
2010
ACM
15 years 10 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
139
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
167
click to vote
ISW
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Applications typically rely on the operating system to enforce access control policies such as MAC, DAC, or other policies. However, in the face of a compromised operatin...
163
click to vote
SIGOPS
2008
15 years 5 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...