615 search results - page 24 / 123 » High-Level Nondeterministic Abstractions in |
SOSP
2001
ACM
14 years 6 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
TRECVID
2007
13 years 11 months ago
2007
tured Abstract: High Level Feature Extraction
LATA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Glushkov’s algorithm builds an ε-free nondeterministic automaton from a given regular expression. In the worst case, its number of states is linear and its number of t...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
IFL
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...