1299 search results - page 73 / 260 » On the Correctness of Operating System Kernels |
148
click to vote
ICPADS
2006
IEEE
15 years 10 months ago
2006
IEEE
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
138
click to vote
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
164
click to vote
PAMI
2011
14 years 7 months ago
2011
— This paper addresses how to model and correct image blur that arises when a camera undergoes ego motion while observing a distant scene. In particular, we discuss how the blurr...
136
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
186
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...