413 search results - page 4 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
SDM
2009
SIAM
14 years 5 months ago
2009
SIAM
This paper considers the problem of change detection using local distributed eigen monitoring algorithms for next generation of astronomy petascale data pipelines such as the Larg...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
CONCUR
1994
Springer
14 years 19 days ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
CAV
2006
Springer
14 years 8 days ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
FOSSACS
2000
Springer
14 years 4 days ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...