275 search results - page 1 / 55 » A Markovian Concurrency Measure |
CAAP
1990
13 years 9 months ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
CONCURRENCY
2006
13 years 5 months ago
2006
CONCURRENCY
2006
13 years 5 months ago
2006
ASPDAC
2012
ACM
12 years 1 months ago
2012
ACM
With technology scaling, integrated circuits behave more unpredictably due to process variation, environmental changes and aging effects. Various variation-aware and adaptive desi...
FSTTCS
2010
Springer
13 years 3 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...