313 search results - page 46 / 63 » Computing synchronizer failure probabilities |
105
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
SENSYS
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents the design, implementation and performance evaluation of a hybrid MAC protocol, called Z-MAC, for wireless sensor networks that combines the strengths of TDMA ...
101
click to vote
ISW
2004
Springer
15 years 5 months ago
2004
Springer
Due to the low entropy of human-memorable passwords, it is not easy to conduct password authenticated key agreement in a secure manner. Though there are many protocols achieving th...
JPDC
2006
14 years 11 months ago
2006
The vulnerability of computer nodes due to component failures is a critical issue for cluster-based file systems. This paper studies the development and deployment of mirroring in...
128
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--With the development of high-performance computing, I/O issues have become the bottleneck for many massively parallel applications. This paper investigates scalable paral...