12981 search results - page 2138 / 2597 » Model Checking (Abstract) |
187
click to vote
ISPASS
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— This paper proposes to speedup sampled microprocessor simulations by reducing warmup times without sacrificing simulation accuracy. It exploiting the observation that ...
188
Voted
AC
2003
Springer
16 years 10 hour ago
2003
Springer
Abstract—The dynamics of the survival of recruiting fish are analyzed as evolving random processes of aggregation and mortality. The analyses draw on recent advances in the phys...
173
Voted
ASIAN
2003
Springer
16 years 8 hour ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
220
Voted
EAGC
2003
Springer
16 years 31 min ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
176
Voted
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With increasing usage of Social Networks, giving users the possibility to establish access restrictions on their data and resources becomes more and more important. Howev...