Sciweavers

8903 search results - page 75 / 1781
» Alternative
Sort
View
FOSSACS
2005
Springer
15 years 3 months ago
Alternating Timed Automata
Slawomir Lasota, Igor Walukiewicz
GBRPR
2005
Springer
15 years 3 months ago
Approximating the Problem, not the Solution: An Alternative View of Point Set Matching
This work discusses the issue of approximation in point set matching problems. In general, one may have two classes of approximations when tackling a matching problem: a representa...
Tibério S. Caetano, Terry Caelli
HVC
2005
Springer
113views Hardware» more  HVC 2005»
15 years 3 months ago
Choosing Among Alternative Futures
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
Steve MacDonald, Jun Chen, Diego Novillo