Sciweavers

384 search results - page 31 / 77
» Formal Development of Reactive Fault Tolerant Systems
Sort
View
146
Voted
INFOCOM
2006
IEEE
15 years 10 months ago
DFT-MSN: The Delay/Fault-Tolerant Mobile Sensor Network for Pervasive Information Gathering
Abstract— This paper focuses on the Delay/Fault-Tolerant Mobile Sensor Network (DFT-MSN) for pervasive information gathering. We develop simple and efficient data delivery schem...
Yu Wang, Hongyi Wu
IPPS
2005
IEEE
15 years 9 months ago
Fault-Tolerant Parallel Applications with Dynamic Parallel Schedules
Commodity computer clusters are often composed of hundreds of computing nodes. These generally off-the-shelf systems are not designed for high reliability. Node failures therefore...
Sebastian Gerlach, Roger D. Hersch
144
Voted
TC
2010
15 years 2 months ago
PERFECTORY: A Fault-Tolerant Directory Memory Architecture
—The number of CPUs in chip multiprocessors is growing at the Moore’s Law rate, due to continued technology advances. However, new technologies pose serious reliability challen...
Hyunjin Lee, Sangyeun Cho, Bruce R. Childers
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 8 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
HASE
1999
IEEE
15 years 8 months ago
Lessons from 342 Medical Device Failures
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
Dolores R. Wallace, D. Richard Kuhn