1299 search results - page 91 / 260 » On the Correctness of Operating System Kernels |
137
click to vote
USS
2010
15 years 2 months ago
2010
UserFS provides egalitarian OS protection mechanisms in Linux. UserFS allows any user--not just the system administrator--to allocate Unix user IDs, to use chroot, and to set up f...
138
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
136
click to vote
WISA
2007
Springer
15 years 10 months ago
2007
Springer
The search for patterns or motifs in data represents an area of key interest to many researchers. In this paper we present the Motif Tracking Algorithm, a novel immune inspired pat...
179
click to vote
DEXA
2000
Springer
15 years 8 months ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
131
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
Binary search tree (BST) based data structures, such as AVL trees, red-black trees, and splay trees, are often used in system software, such as operating system kernels. Choosing ...