11716 search results - page 48 / 2344 » Computable symbolic dynamics |
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
CG
2005
Springer
14 years 11 months ago
2005
Springer
We describe a trainable, hand-drawn symbol recognizer based on a multi-layer recognition scheme. Symbols are internally represented as binary templates. An ensemble of four differ...
DAC
1990
ACM
15 years 3 months ago
1990
ACM
DAC
1994
ACM
15 years 3 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
NSDI
2007
15 years 2 months ago
2007
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...