615 search results - page 24 / 123 » High-Level Nondeterministic Abstractions in |
146
Voted
SOSP
2001
ACM
16 years 15 days 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...
127
Voted
TRECVID
2007
15 years 4 months ago
2007
tured Abstract: High Level Feature Extraction
115
Voted
LATA
2009
Springer
15 years 10 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...
87
Voted
BIRTHDAY
2003
Springer
15 years 8 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...
136
Voted
IFL
2000
Springer
15 years 7 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...