Fehlertolerierende Rechensysteme - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

Author(s):

C. Efstathiou ◽

C. Halatsis

Keyword(s):

Modular Design

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 ◽

Cited By ~ 2

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

Fehlertolerierende Rechensysteme - Informatik-FachberichteLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

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

Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz

Extending Resilient Objects Efficiently

Functional Testing Vs. Structural Testing of Rams

Modelling and Verification of a Checkpoint-Restart-Protocol

Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik

Concurrent Error-Detection/-Correction of Logical Operations

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

Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme

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

Fehlertolerierende Rechensysteme - Informatik-Fachberichte
Latest Publications