1477 search results - page 91 / 296 » Cache Satellite Distribution Systems: Modeling and Analysis |
183
click to vote
CMMR
2005
Springer
15 years 8 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
144
click to vote
SRDS
2006
IEEE
16 years 12 days ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...
197
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
182
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
167
click to vote
GLVLSI
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...