7557 search results - page 102 / 1512 » Modeling Timed Concurrent Systems |
104
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
Multiplayer online games have become very popular in recent years. However, they generally suffer from network latency problem. If a player changes its states, it will take some ...
126
click to vote
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
102
click to vote
AAAI
2007
15 years 3 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
INFSOF
2002
15 years 1 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri