1299 search results - page 65 / 260 » On the Correctness of Operating System Kernels |
120
click to vote
COLCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
The trusted computing bases (TCBs) of applications running on today’s commodity operating systems have become extremely large. This paper presents an architecture that allows to...
124
click to vote
RTAS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an experimental study of the latency behavior of the Linux OS. We identify major sources of latency in the kernel with the goal of providing real-time performa...
120
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
137
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Computers are notoriously insecure, in part because application security policies do not map well onto traditional protection mechanisms such as Unix user accounts or hardware pag...
109
click to vote
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques’ sophistication have increas...