Sciweavers

8928 search results - page 240 / 1786
» Modeling Current Events
Sort
View
135
Voted
DSN
2009
IEEE
15 years 7 months ago
Evaluating the impact of Undetected Disk Errors in RAID systems
Despite the reliability of modern disks, recent studies have made it clear that a new class of faults, Undetected Disk Errors (UDEs) also known as silent data corruption events, b...
Eric Rozier, Wendy Belluomini, Veera Deenadhayalan...
127
Voted
ESOA
2006
15 years 7 months ago
ASOS: An Adaptive Self-organizing Protocol for Surveillance and Routing in Sensor Networks
We present a simple model of self-organization for sensor networks that addresses two conflicting requirements: hazard situations should be reported to a sink node with as little ...
Jorge Simão
154
Voted
ANSS
1991
IEEE
15 years 7 months ago
Supercritical speedup
The notions of the critical path of events and critical time of an event are key concepts in analyzing the performance of a parallel discrete event simulation. The highest critica...
David R. Jefferson, Peter L. Reiher
157
Voted
ICST
2010
IEEE
15 years 2 months ago
Repairing GUI Test Suites Using a Genetic Algorithm
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
Si Huang, Myra B. Cohen, Atif M. Memon
147
Voted
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 10 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...