774 search results - page 31 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
106
click to vote
STOC
1998
ACM
15 years 1 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
DATE
2010
IEEE
14 years 10 months ago
2010
IEEE
—The advanced sampling and variance reduction techniques as efficient alternatives to the slow crude-MC method have recently been adopted for the analysis of timing yield in dig...
TWC
2010
14 years 4 months ago
2010
Abstract--Frame detection and timing acquisition are challenging tasks in orthogonal frequency-division multiplexing systems plagued by narrowband interference (NBI). Most existing...
FTCS
1998
14 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
VC
2010
14 years 8 months ago
2010
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...