7694 search results - page 776 / 1539 » An Implementation of an Applicative File System |
207
click to vote
STORAGESS
2005
ACM
16 years 1 months ago
2005
ACM
The growing number of storage security breaches as well as the need to adhere to government regulations is driving the need for greater storage protection. However, there is the l...
230
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
209
click to vote
EUC
2008
Springer
15 years 9 months ago
2008
Springer
The kernel objects consist of critical kernel data structures and system call functions, which are the most important data for a system, should be protected as first-class candida...
225
click to vote
TCS
2002
15 years 7 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
221
click to vote
SIGOPS
2008
15 years 7 months ago
2008
A principal challenge in operating system design is controlling system throughput and responsiveness while maximizing resource utilization. Unlike previous attempts in kernel reso...