8177 search results - page 1269 / 1636 » Detecting System Emulators |
181
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
184
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes the design and implementation of an architecture for interactively viewing static light fields with very low latency. The system was deliberately over enginee...
211
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
211
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...
211
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...