1453 search results - page 7 / 291 » State and history in operating systems |
CONCUR
2010
Springer
14 years 11 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
HIPEAC
2007
Springer
15 years 4 months ago
2007
Springer
Computer architects and designers rely heavily on simulation. The downside of simulation is that it is very time-consuming — simulating an industry-standard benchmark on today...
100
click to vote
DAGSTUHL
2007
14 years 11 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
An error that occurs in a microkernel operating system service can potentially result in state corruption and service failure. A simple restart of the failed service is not always...
AAAI
2004
14 years 11 months ago
2004
Since the state space of most games is a directed graph, many game-playing systems detect repeated positions with a transposition table. This approach can reduce search effort by ...