774 search results - page 44 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
103
click to vote
IEEEPACT
2009
IEEE
14 years 7 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
FPLAY
2008
14 years 11 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
127
click to vote
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Modern computer games are at the same time an attractive application domain and an interesting testbed for the evolutionary computation techniques. In this paper we apply NeuroEvo...
109
click to vote
KDD
2008
ACM
15 years 10 months ago
2008
ACM
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
VLDB
1995
ACM
15 years 1 months ago
1995
ACM
We describe SCC-kS, a Speculative Concurrency Control (SCC) algorithm that allows a DBMS to use efficiently the extra computing resources available in the system to increase the l...