7557 search results - page 98 / 1512 » Modeling Timed Concurrent Systems |
WSC
2004
15 years 2 months ago
2004
In time-parallel simulation, the simulation time axis is decomposed into a number of slices which are assigned to parallel processes for concurrent simulation. Although a promisin...
122
click to vote
CRIWG
2004
15 years 2 months ago
2004
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
119
click to vote
ENTCS
2007
15 years 1 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
107
click to vote
LICS
2000
IEEE
15 years 5 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
ANSS
1996
IEEE
15 years 5 months ago
1996
IEEE
