275 search results - page 1 / 55 » A Markovian Concurrency Measure |
75
Voted
CAAP
1990
15 years 4 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 ...
81
Voted
CONCURRENCY
2006
15 years 13 days ago
2006
101
Voted
CONCURRENCY
2006
15 years 13 days ago
2006
101
click to vote
ASPDAC
2012
ACM
13 years 8 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...
107
click to vote
FSTTCS
2010
Springer
14 years 10 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...