Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO (Deutsch)
- Neue Suche nach: Risse, T.
- Neue Suche nach: Cin, M.D.
- Neue Suche nach: Dilger, E.
- Neue Suche nach: Risse, T.
- Neue Suche nach: Cin, M.D.
- Neue Suche nach: Dilger, E.
1984
-
ISBN:
- Report / Print
-
Titel:Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO
-
Weitere Titelangaben:The implementation of fault-tolerant datastructures in the personal-computer ATTEMPTO
-
Beteiligte:
-
Erschienen in:Informatik-Fachberichte ; 83 ; 63-72
-
Verlag:
- Neue Suche nach: Springer-Verl.
-
Erscheinungsort:Berlin,Heidelberg,New York,Tokio
-
Erscheinungsdatum:1984
-
Format / Umfang:10 Seiten, 6 Bilder, 6 Quellen
-
ISBN:
-
Medientyp:Report
-
Format:Print
-
Sprache:Deutsch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Formale Methoden Zur Erstellung Robuster SoftwareBest, Eike et al. | 1984
- 2
-
Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven ProgrammentwicklungEggers, Bleicke et al. | 1984
- 24
-
Ein Schritt in Richtung Auf Fail-Safe SoftwareEhrenberger, Wolfgang / Masur, Manfred et al. | 1984
- 39
-
Aspekte der Konstruktion robuster SoftwareJähnichen, S. / Kleine, K. / Persch, G. et al. | 1984
- 51
-
Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und ListenKüspert, Klaus et al. | 1984
- 63
-
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTORisse, Th. / Cin, M. / Dilger, E. et al. | 1984
- 73
-
Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte SystemeEchtle, Klaus et al. | 1984
- 89
-
Error Recovery in einer verteilten SystemarchitekturNett, E. / Kröger, R. et al. | 1984
- 99
-
Reliable Remote Procedure Calls (Extended Abstract)Shrivastava, S. K. et al. | 1984
- 105
-
Strategien zur Festlegung von Rücksetzpunkten in Prozeβ-Systemen unter Berücksichtigung der Programm-Redundanz zur AusnahmebehandlungPfitzmann, Andreas et al. | 1984
- 118
-
Implementierte Checkpoint/Restart Fehlertoleranztechnik in der PraxisPfleger, S. et al. | 1984
- 133
-
Experimente Mit N-Version Programmierung auf Dem Dirmu MultiprozessorsystemMaehle, Erik / Moritzen, Klaus / Wirl, Klaus et al. | 1984
- 143
-
Votierung in PDV-Systemen mit diversitärer RedundanzPauthner, Georg et al. | 1984
- 155
-
Der Einsatz von Software-Diversität in Systemen mit hohen ZuverlässigkeitsanforderungenVoges, Udo et al. | 1984
- 166
-
CPS 32, ein neues Computer-Konzept für Fehlertoleranz und ErweiterbarkeitDipl.-Ing. Borel, Klaus et al. | 1984
- 170
-
VISO-DATA — Fehlertoleranter SystemverbundDorfmeister, Paul et al. | 1984
- 180
-
Das Fehlertolerante Informationssystem 8832 Das FehlertoleranzkonzeptHerrmann, Ferdinand et al. | 1984
- 189
-
Das Fehlertolerante System Tandem T16Schulz, Alfred et al. | 1984
- 201
-
Recovery-Verfahren bei UDS ab Version V4.0, darqestellt anhand ausgewählter ProblemfälleSteger, Benno et al. | 1984
- 214
-
Rechnerarchitekturen zur Unterstützung korrekter und transparenter ProgrammierungGroßpietsch, K.-E. et al. | 1984
- 226
-
Die Fehlertoleranzeigenschaften der PuffermaschineHeide, K. v. d. et al. | 1984
- 244
-
Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 — Ein ErfahrungsberichtStöhr, Axel et al. | 1984
- 253
-
Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-ZuverlässigkeitBelli, F. et al. | 1984
- 268
-
Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante ProzeßrechnersystemeKammerer, Ulrich et al. | 1984
- 281
-
Beurteilung von Verfahren zur Tolerierung von SoftwarefehlernLauber, R. / Zhou, S. et al. | 1984
- 293
-
Formale Methoden oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit?Seifert, M. et al. | 1984