1299 search results - page 79 / 260 » On the Correctness of Operating System Kernels |
127
click to vote
HPCA
1996
IEEE
15 years 8 months ago
1996
IEEE
Traditional DMA requires the operating system to perform many tasks to initiate a transfer, with overhead on the order of hundreds or thousands of CPU instructions. This paper des...
138
click to vote
SRDS
2010
IEEE
15 years 2 months ago
2010
IEEE
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...
135
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Many threads packages have been proposed for programming wireless sensor platforms. However, many sensor network operating systems still choose to provide an eventdriven model, du...
155
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
162
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...