Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings /
/ Table of Contents -- Eröffnungssitzung / Opening Session -- Höhere Zuverlässigkeit durch modellgestützte Fehlerdiagnose am Beispiel von Werkzeugmaschinen -- Sicherheitsaspekte / Safety Aspects -- Baumusterprüfung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steuerung -- Eigensichere und hochverfügbare Meßdatenverarbeitung in Industrieanlagen -- Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems -- Design and Analysis of Fault-Tolerant Systems for Industrial Applications -- Fehlertolerante Hardware/Fault-Tolerant Hardware -- Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area -- A Fault-Tolerant Distributed Control VLSI Permutation Network -- Anwendungen / Applications -- Quantitative Bewertung der Fehlertoleranz am Beispiel eines verteilten Prozeß-Leitsystems -- Das digitale Vermittlungssystem EWSD - ein Beispiel für ein fehlertolerantes Realzeitsystem -- Microcomputer-Based, Gracefully Degrading Industrial Controller -- Eingeladener Beitrag / Invited Paper -- Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? -- Entwurf fehlertoleranter Rechensysteme/Design of Fault-Tolerant Computing Systems -- A Fault-Tolerant Implementation of CSP Input-Output Commands -- A Conversation Structure for Remote Procedure Call Oriented Languages -- Fehlerdiagnose in verteilten Systemen / Fault Diagnosis in Distributed Systems -- The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability -- On Distributed System-Level Self-Diagnosis -- Meshkin: A Fault Tolerant Computer Architecture with Distributed Fault Detection and Reconfiguration -- Transaktionssysteme / Transaction Processing -- Efficient Commit Abort Procedures in the RelaX Distributed Transaction Layer -- Transaktionsketten - Konzept und Implementierung -- UNIX Fehlertoleranz mit dem Queue and Count Verfahren -- Zuverlässigkeitsbewertung / Reliability Evaluation -- Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN -- PMS-Models in SHARPE -- Eingeladener Beitrag / Invited Paper -- Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems -- Kommunikationssysteme Communication Systems -- Eine senderanonyme fehlertolerante Kommunikationsstruktur -- Fehlerinjektion / Fault Injection -- The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor -- Self-Checking Coverage of Components of a Distributed Real-Time System -- Fehlererkennung / Fault Detection -- Fehlererkennung und Fehlertoleranz beim assoziativen RAM(ARAM)-Speicher -- Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe -- Signaturanalyse / Signature Analysis -- Concurrent Error Detection Using Signature Monitors -- Signature Analysis Testing with Bottom-Top Exclusive Or Type MISR -- Testerzeugung / Test Generation -- Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor -- Mehrfach-Literalfehler in logischen Schaltungen -- Autorenverzeichnis / List of Authors.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1989
|
Subjects: | Computer science., Microprogramming., Arithmetic and logic units, Computer., Computer memory systems., Input-output equipment (Computers)., Logic design., Computer programming., Computer Science., Programming Techniques., Arithmetic and Logic Structures., Control Structures and Microprogramming., Memory Structures., Input/Output and Data Communications., Logic Design., |
Online Access: | http://dx.doi.org/10.1007/978-3-642-75002-1 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:218035 |
---|---|
record_format |
koha |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Microprogramming. Arithmetic and logic units, Computer. Computer memory systems. Input-output equipment (Computers). Logic design. Computer programming. Computer Science. Programming Techniques. Arithmetic and Logic Structures. Control Structures and Microprogramming. Memory Structures. Input/Output and Data Communications. Logic Design. Computer science. Microprogramming. Arithmetic and logic units, Computer. Computer memory systems. Input-output equipment (Computers). Logic design. Computer programming. Computer Science. Programming Techniques. Arithmetic and Logic Structures. Control Structures and Microprogramming. Memory Structures. Input/Output and Data Communications. Logic Design. |
spellingShingle |
Computer science. Microprogramming. Arithmetic and logic units, Computer. Computer memory systems. Input-output equipment (Computers). Logic design. Computer programming. Computer Science. Programming Techniques. Arithmetic and Logic Structures. Control Structures and Microprogramming. Memory Structures. Input/Output and Data Communications. Logic Design. Computer science. Microprogramming. Arithmetic and logic units, Computer. Computer memory systems. Input-output equipment (Computers). Logic design. Computer programming. Computer Science. Programming Techniques. Arithmetic and Logic Structures. Control Structures and Microprogramming. Memory Structures. Input/Output and Data Communications. Logic Design. Görke, Winfried. editor. Sörensen, Holger. editor. SpringerLink (Online service) Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings / |
description |
/ Table of Contents -- Eröffnungssitzung / Opening Session -- Höhere Zuverlässigkeit durch modellgestützte Fehlerdiagnose am Beispiel von Werkzeugmaschinen -- Sicherheitsaspekte / Safety Aspects -- Baumusterprüfung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steuerung -- Eigensichere und hochverfügbare Meßdatenverarbeitung in Industrieanlagen -- Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems -- Design and Analysis of Fault-Tolerant Systems for Industrial Applications -- Fehlertolerante Hardware/Fault-Tolerant Hardware -- Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area -- A Fault-Tolerant Distributed Control VLSI Permutation Network -- Anwendungen / Applications -- Quantitative Bewertung der Fehlertoleranz am Beispiel eines verteilten Prozeß-Leitsystems -- Das digitale Vermittlungssystem EWSD - ein Beispiel für ein fehlertolerantes Realzeitsystem -- Microcomputer-Based, Gracefully Degrading Industrial Controller -- Eingeladener Beitrag / Invited Paper -- Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? -- Entwurf fehlertoleranter Rechensysteme/Design of Fault-Tolerant Computing Systems -- A Fault-Tolerant Implementation of CSP Input-Output Commands -- A Conversation Structure for Remote Procedure Call Oriented Languages -- Fehlerdiagnose in verteilten Systemen / Fault Diagnosis in Distributed Systems -- The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability -- On Distributed System-Level Self-Diagnosis -- Meshkin: A Fault Tolerant Computer Architecture with Distributed Fault Detection and Reconfiguration -- Transaktionssysteme / Transaction Processing -- Efficient Commit Abort Procedures in the RelaX Distributed Transaction Layer -- Transaktionsketten - Konzept und Implementierung -- UNIX Fehlertoleranz mit dem Queue and Count Verfahren -- Zuverlässigkeitsbewertung / Reliability Evaluation -- Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN -- PMS-Models in SHARPE -- Eingeladener Beitrag / Invited Paper -- Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems -- Kommunikationssysteme Communication Systems -- Eine senderanonyme fehlertolerante Kommunikationsstruktur -- Fehlerinjektion / Fault Injection -- The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor -- Self-Checking Coverage of Components of a Distributed Real-Time System -- Fehlererkennung / Fault Detection -- Fehlererkennung und Fehlertoleranz beim assoziativen RAM(ARAM)-Speicher -- Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe -- Signaturanalyse / Signature Analysis -- Concurrent Error Detection Using Signature Monitors -- Signature Analysis Testing with Bottom-Top Exclusive Or Type MISR -- Testerzeugung / Test Generation -- Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor -- Mehrfach-Literalfehler in logischen Schaltungen -- Autorenverzeichnis / List of Authors. |
format |
Texto |
topic_facet |
Computer science. Microprogramming. Arithmetic and logic units, Computer. Computer memory systems. Input-output equipment (Computers). Logic design. Computer programming. Computer Science. Programming Techniques. Arithmetic and Logic Structures. Control Structures and Microprogramming. Memory Structures. Input/Output and Data Communications. Logic Design. |
author |
Görke, Winfried. editor. Sörensen, Holger. editor. SpringerLink (Online service) |
author_facet |
Görke, Winfried. editor. Sörensen, Holger. editor. SpringerLink (Online service) |
author_sort |
Görke, Winfried. editor. |
title |
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings / |
title_short |
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings / |
title_full |
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings / |
title_fullStr |
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings / |
title_full_unstemmed |
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings / |
title_sort |
fehlertolerierende rechensysteme / fault-tolerant computing systems [electronic resource] : automatisierungssysteme, methoden, anwendungen / automation systems, methods, applications 4. internationale gi/itg/gma-fachtagung 4th international gi/itg/gma conference baden-baden, 20.–22. september 1989, proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1989 |
url |
http://dx.doi.org/10.1007/978-3-642-75002-1 |
work_keys_str_mv |
AT gorkewinfriededitor fehlertolerierenderechensystemefaulttolerantcomputingsystemselectronicresourceautomatisierungssystememethodenanwendungenautomationsystemsmethodsapplications4internationalegiitggmafachtagung4thinternationalgiitggmaconferencebadenbaden2022september1989proce AT sorensenholgereditor fehlertolerierenderechensystemefaulttolerantcomputingsystemselectronicresourceautomatisierungssystememethodenanwendungenautomationsystemsmethodsapplications4internationalegiitggmafachtagung4thinternationalgiitggmaconferencebadenbaden2022september1989proce AT springerlinkonlineservice fehlertolerierenderechensystemefaulttolerantcomputingsystemselectronicresourceautomatisierungssystememethodenanwendungenautomationsystemsmethodsapplications4internationalegiitggmafachtagung4thinternationalgiitggmaconferencebadenbaden2022september1989proce |
_version_ |
1756269834274865152 |
spelling |
KOHA-OAI-TEST:2180352018-07-30T23:54:15ZFehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings / Görke, Winfried. editor. Sörensen, Holger. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1989.eng/ Table of Contents -- Eröffnungssitzung / Opening Session -- Höhere Zuverlässigkeit durch modellgestützte Fehlerdiagnose am Beispiel von Werkzeugmaschinen -- Sicherheitsaspekte / Safety Aspects -- Baumusterprüfung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steuerung -- Eigensichere und hochverfügbare Meßdatenverarbeitung in Industrieanlagen -- Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems -- Design and Analysis of Fault-Tolerant Systems for Industrial Applications -- Fehlertolerante Hardware/Fault-Tolerant Hardware -- Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area -- A Fault-Tolerant Distributed Control VLSI Permutation Network -- Anwendungen / Applications -- Quantitative Bewertung der Fehlertoleranz am Beispiel eines verteilten Prozeß-Leitsystems -- Das digitale Vermittlungssystem EWSD - ein Beispiel für ein fehlertolerantes Realzeitsystem -- Microcomputer-Based, Gracefully Degrading Industrial Controller -- Eingeladener Beitrag / Invited Paper -- Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? -- Entwurf fehlertoleranter Rechensysteme/Design of Fault-Tolerant Computing Systems -- A Fault-Tolerant Implementation of CSP Input-Output Commands -- A Conversation Structure for Remote Procedure Call Oriented Languages -- Fehlerdiagnose in verteilten Systemen / Fault Diagnosis in Distributed Systems -- The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability -- On Distributed System-Level Self-Diagnosis -- Meshkin: A Fault Tolerant Computer Architecture with Distributed Fault Detection and Reconfiguration -- Transaktionssysteme / Transaction Processing -- Efficient Commit Abort Procedures in the RelaX Distributed Transaction Layer -- Transaktionsketten - Konzept und Implementierung -- UNIX Fehlertoleranz mit dem Queue and Count Verfahren -- Zuverlässigkeitsbewertung / Reliability Evaluation -- Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN -- PMS-Models in SHARPE -- Eingeladener Beitrag / Invited Paper -- Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems -- Kommunikationssysteme Communication Systems -- Eine senderanonyme fehlertolerante Kommunikationsstruktur -- Fehlerinjektion / Fault Injection -- The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor -- Self-Checking Coverage of Components of a Distributed Real-Time System -- Fehlererkennung / Fault Detection -- Fehlererkennung und Fehlertoleranz beim assoziativen RAM(ARAM)-Speicher -- Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe -- Signaturanalyse / Signature Analysis -- Concurrent Error Detection Using Signature Monitors -- Signature Analysis Testing with Bottom-Top Exclusive Or Type MISR -- Testerzeugung / Test Generation -- Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor -- Mehrfach-Literalfehler in logischen Schaltungen -- Autorenverzeichnis / List of Authors.Computer science.Microprogramming.Arithmetic and logic units, Computer.Computer memory systems.Input-output equipment (Computers).Logic design.Computer programming.Computer Science.Programming Techniques.Arithmetic and Logic Structures.Control Structures and Microprogramming.Memory Structures.Input/Output and Data Communications.Logic Design.Springer eBookshttp://dx.doi.org/10.1007/978-3-642-75002-1URN:ISBN:9783642750021 |