153 search results - page 26 / 31 » Performance analysis of different checkpointing and recovery... |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
HUC
2011
Springer
12 years 7 months ago
2011
Springer
Micro-incentives represent a new but little-studied trend in participant compensation for user studies. In this paper, we use a combination of statistical analysis and models from...
MOBIHOC
2005
ACM
14 years 7 months ago
2005
ACM
Recently, several studies have analyzed the statistical properties of low power wireless links in real environments, clearly demonstrating the differences between experimentally o...
RTAS
1997
IEEE
13 years 12 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Realistic mobility models are important to understand the performance of routing protocols in wireless ad hoc networks, especially when mobility-assisted routing scheme...