1299 search results - page 173 / 260 » On the Correctness of Operating System Kernels |
130
click to vote
EUROPAR
2007
Springer
16 years 15 days ago
2007
Springer
The networking performance available to Virtual Machines (VMs) can be low due to the inefficiencies of transferring network packets between the host domain and guests. This can lim...
149
click to vote
MSR
2005
ACM
15 years 12 months ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
147
click to vote
HPCC
2009
Springer
15 years 11 months ago
2009
Springer
—Bare PC applications do not use an operating system or kernel. The bare PC architecture avoids buffer copying, minimizes interrupts, uses a single thread of execution for proces...
147
click to vote
QOFIS
2001
Springer
15 years 10 months ago
2001
Springer
The exponential rise in the number of Web users has inspired the creation of a diversity of Web applications. Hence, Web Quality of Service (QoS) is an increasingly critical issue ...
147
click to vote
SIGMETRICS
1999
ACM
15 years 10 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...