5376 search results - page 255 / 1076 » Scalable Kernel Systems |
153
click to vote
CLUSTER
2008
IEEE
16 years 15 days ago
2008
IEEE
—A commodity personal computer (PC) can be seen as a hybrid computing system equipped with two different kinds of processors, i.e. CPU and a graphics processing unit (GPU). Since...
145
click to vote
RTAS
2002
IEEE
15 years 11 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...
161
click to vote
PLDI
1999
ACM
15 years 10 months ago
1999
ACM
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...
147
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
Commodity operating systems achieve good performance by running device drivers in-kernel. Unfortunately, this architecture offers poor fault isolation. This paper introduces micro...
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...