1453 search results - page 34 / 291 » State and history in operating systems |
148
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
USENIX
2003
15 years 1 months ago
2003
System operators play a critical role in maintaining server dependability yet lack powerful tools to help them do so. To help address this unfulfilled need, we describe Operator U...
97
Voted
SNPD
2004
15 years 1 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
111
click to vote
IJAR
2008
15 years 13 days ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
107
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...