1299 search results - page 205 / 260 » On the Correctness of Operating System Kernels |
299
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Solid state drives perform random reads more than 100x faster than traditional magnetic hard disks, while offering comparable sequential read and write bandwidth. Because of their...
169
click to vote
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of th...
161
click to vote
LFP
1992
15 years 6 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
146
click to vote
EMSOFT
2009
Springer
16 years 5 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
189
click to vote
JSSPP
2007
Springer
15 years 11 months ago
2007
Springer
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. Because these machines are...