Sciweavers

275 search results - page 1 / 55
» A Markovian Concurrency Measure
Sort
View
76
Voted
CAAP
1990
15 years 5 months ago
A Markovian Concurrency Measure
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 ...
Dominique Geniet, René Schott, Loÿs Th...
90
Voted
CONCURRENCY
2006
72views more  CONCURRENCY 2006»
15 years 1 months ago
How to measure a large open-source distributed system
Douglas Thain, Todd Tannenbaum, Miron Livny
108
Voted
CONCURRENCY
2006
91views more  CONCURRENCY 2006»
15 years 1 months ago
Measuring and modelling the performance of a parallel ODMG compliant object database server
Sandra de F. Mendes Sampaio, Norman W. Paton, Jim ...
110
Voted
ASPDAC
2012
ACM
290views Hardware» more  ASPDAC 2012»
13 years 9 months ago
CODA: A concurrent online delay measurement architecture for critical paths
With technology scaling, integrated circuits behave more unpredictably due to process variation, environmental changes and aging effects. Various variation-aware and adaptive desi...
Yubin Zhang, Haile Yu, Qiang Xu
127
Voted
FSTTCS
2010
Springer
14 years 11 months ago
Model Checking Concurrent Programs with Nondeterminism and Randomization
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...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan