1299 search results - page 46 / 260 » On the Correctness of Operating System Kernels |
150
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
126
click to vote
HOTDEP
2008
15 years 6 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
116
click to vote
USITS
2001
15 years 5 months ago
2001
In traditional operating systems, modifying the network protocol code is a tedious and error-prone task, largely because the networking stack resides in the kernel. For this reaso...
144
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Protecting shared sensitive information is a key requirement for today’s distributed applications. Our research uses virtualization technologies to create and maintain trusted d...
151
click to vote
ECRTS
2002
IEEE
15 years 9 months ago
2002
IEEE
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...