613 search results - page 36 / 123 » Finding and Fixing Faults |
100
click to vote
DSN
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
107
click to vote
ICNS
2009
IEEE
14 years 9 months ago
2009
IEEE
Grid Resource Discovery Service is currently a very important focus of research. We propose a scheme that presents essential characteristics for efficient, self-configuring and fau...
CADE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...
CATS
2006
15 years 1 months ago
2006
We present a new method for finding closed forms of recursive Boolean function definitions. Traditionally, these closed forms are found by iteratively approximating until a fixed ...