Fehlertolerierende Rechensysteme - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540133483, 9783642696985

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CADAS: A Tool for Designing Reliable Embedded Software and Supporting Testing “in the Large”

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_9 ◽

1984 ◽

pp. 101-112

Author(s):

M. A. J. Burford ◽

F. Belli

Keyword(s):

Embedded Software

Download Full-text

Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_6 ◽

1984 ◽

pp. 66-76 ◽

Author(s):

Th. Risse ◽

R. Brause ◽

M. Dal Cin ◽

E. Dilger ◽

J. Lutz

Download Full-text

Extending Resilient Objects Efficiently

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_4 ◽

1984 ◽

pp. 40-51

Author(s):

Kenneth P. Birman ◽

Thomas A. Joseph ◽

Thomas Räuchle

Download Full-text

Functional Testing Vs. Structural Testing of Rams

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_32 ◽

1984 ◽

pp. 391-403

Author(s):

H. Sahami ◽

B. Courtois

Keyword(s):

Structural Testing ◽

Functional Testing

Download Full-text

Modelling and Verification of a Checkpoint-Restart-Protocol

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_29 ◽

1984 ◽

pp. 353-363 ◽

Author(s):

Bernd Baumgarten ◽

Peter Ochsenschläger

Download Full-text

Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_26 ◽

1984 ◽

pp. 313-324

Author(s):

Horst Federmutz

Download Full-text

Concurrent Error-Detection/-Correction of Logical Operations

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_16 ◽

1984 ◽

pp. 189-201 ◽

Author(s):

W. Michael Trautwein

Keyword(s):

Error Detection ◽

Concurrent Error Detection ◽

Logical Operations

Download Full-text

Modular Design of Totally Self-Checking Checkers for 1-Out-of-N Codes

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_14 ◽

1984 ◽

pp. 164-176 ◽

Author(s):

C. Efstathiou ◽

C. Halatsis

Keyword(s):

Download Full-text

Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_12 ◽

1984 ◽

pp. 139-149 ◽

Author(s):

B. Eggers ◽

F. Belli

Download Full-text

Effiziente Verfahren zur “online”-Fehlererkennung in Baumstrukturen von Datenbanksystemen

Fehlertolerierende Rechensysteme - Informatik-Fachberichte ◽

10.1007/978-3-642-69698-5_8 ◽

1984 ◽

pp. 89-100

Author(s):

Klaus Küspert

Download Full-text