1453 search results - page 254 / 291 » State and history in operating systems |
161
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
173
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
198
click to vote
RTA
2007
Springer
16 years 26 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
193
click to vote
AINA
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
194
click to vote
VALUETOOLS
2006
ACM
16 years 21 days ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...