268 search results - page 12 / 54 » Concurrent Systems Analysis Using ECATNets |
FMOODS
2003
13 years 9 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
CC
2010
Springer
14 years 2 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
QEST
2006
IEEE
14 years 1 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
2010
ACM
14 years 2 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...