774 search results - page 54 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
AIIDE
2006
14 years 11 months ago
2006
The creation of life-like believable characters is emerging as the central focus of next-generation game development and is viewed as critical to obtaining true mass-market appeal...
TVLSI
2008
14 years 9 months ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...
DSL
2009
14 years 7 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
CONCURRENCY
2008
14 years 9 months ago
2008
The exploration in many scientific disciplines (e.g., High-Energy Physics, Climate Modeling, and Life Sciences) involves the production and the analysis of massive data collection...