Sciweavers

17129 search results - page 143 / 3426
» Applied Computing
Sort
View
ISTCS
1997
Springer
15 years 6 months ago
Weak Alternating Automata Are Not That Weak
Orna Kupferman, Moshe Y. Vardi
80
Voted
SAC
1996
ACM
15 years 6 months ago
Crash recovery for real-time main memory database systems
Jing Huang, Le Gruenwald
79
Voted
SAC
1996
ACM
15 years 6 months ago
Implementing non-linear constraints with cooperative solvers
Eric Monfroy, Michaël Rusinowitch, René...
73
Voted
SAC
1996
ACM
15 years 6 months ago
Bootstrapping higher-order program transformers from interpreters
Michael Sperber, Robert Glück, Peter Thiemann