ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of Annual Symposium on Fault Tolerant Computing
Latest Publications
TOTAL DOCUMENTS
44
(FIVE YEARS 0)
H-INDEX
15
(FIVE YEARS 0)
Published By IEEE Comput. Soc. Press
0818672617
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Generation of an error set that emulates software faults based on field data
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534615
◽
2002
◽
Cited By ~ 73
Author(s):
J. Christmansson
◽
R. Chillarege
Keyword(s):
Field Data
◽
Software Faults
Download Full-text
A multiple bus broadcast protocol resilient to non-cooperative Byzantine faults
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534603
◽
2002
◽
Cited By ~ 3
Author(s):
K. Echtle
◽
A. Masum
Keyword(s):
Byzantine Faults
◽
Broadcast Protocol
Download Full-text
Reconfiguration and transient recovery in state machine architectures
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534589
◽
2002
◽
Cited By ~ 3
Author(s):
J. Rushby
Keyword(s):
State Machine
Download Full-text
Dynamic test compaction for synchronous sequential circuits using static compaction techniques
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534594
◽
2002
◽
Cited By ~ 21
Author(s):
I. Pomeranz
◽
S.M. Reddy
Keyword(s):
Dynamic Test
◽
Sequential Circuits
◽
Test Compaction
◽
Synchronous Sequential Circuits
◽
Static Compaction
Download Full-text
Executable assertions and timed traces for on-line software error detection
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534602
◽
2002
◽
Cited By ~ 13
Author(s):
C. Rabejac
◽
J.-P. Blanquart
◽
J.-P. Queille
Keyword(s):
Error Detection
◽
On Line
Download Full-text
Fault diagnosis using state information
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534598
◽
2002
◽
Cited By ~ 8
Author(s):
V. Boppana
◽
I. Hartanto
◽
W.K. Fuchs
Keyword(s):
Fault Diagnosis
◽
State Information
Download Full-text
Algebraic techniques for the optimization of control flow checking
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534601
◽
2002
◽
Cited By ~ 1
Author(s):
G. Noubir
◽
B.Y. Choueiry
Keyword(s):
Control Flow
◽
Control Flow Checking
Download Full-text
Group, majority, and strict agreement in timed asynchronous distributed systems
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534605
◽
2002
◽
Cited By ~ 10
Author(s):
F. Cristian
Keyword(s):
Distributed Systems
Download Full-text
The design of totally self-checking checkers for some classes of Hadamard codes
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534617
◽
2002
◽
Author(s):
N. Wakita
◽
K. Takagi
◽
Y. Iwadare
Keyword(s):
Hadamard Codes
Download Full-text
Design and evaluation of fault-tolerant shared file system for cluster systems
Proceedings of Annual Symposium on Fault Tolerant Computing
◽
10.1109/ftcs.1996.534596
◽
2002
◽
Author(s):
S. Sumimoto
Keyword(s):
File System
◽
Fault Tolerant
◽
Cluster Systems
◽
Shared File
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close