Dependable Computing - EDCC 2005 (Record no. 92868)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06802nam a22005895i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-32019-7 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730185520.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 100713s2005 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540320197 |
| -- | 978-3-540-32019-7 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/b107276 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051230 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Dependable Computing - EDCC 2005 |
| Medium | [electronic resource] : |
| Remainder of title | 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / |
| Statement of responsibility, etc. | edited by Mario Dal Cin, Mohamed Kaâniche, András Pataricza. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2005. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Berlin, Heidelberg : |
| Name of producer, publisher, distributor, manufacturer | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2005. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XVI, 480 p. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume/sequential designation | 3463 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Keynote I -- A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm -- Session 1A: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure Detection with Booting in Partially Synchronous Systems -- Total Order Communications: A Practical Analysis -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolerant Design and Protocols -- Adding Fault-Tolerance Using Pre-synthesized Components -- Efficiency of Dynamic Arbitration in TDMA Protocols -- An Architectural Framework for Detecting Process Hangs/Crashes -- Energy Efficient Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I -- Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems -- Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA -- Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF -- Session 2B: Assessment and Analysis -- An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System -- The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA) -- Panel -- Dependability Challenges and Education Perspectives -- Keynote II -- Availability in Industry and Science - A Business Perspective - -- Session 3A: Measurement -- Fast Run-Time Reconfiguration for SEU Injection -- Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency -- A Data Mining Approach to Identify Key Factors in Dependability Experiments -- Session 3B: Practical Experience Reports and Tools II -- PathCrawler: Automatic Generation of Path Tests by Combining Staticand Dynamic Analysis -- A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems -- Session 4A: Hardware Verification -- Deterministic Test Vector Compression / Decompression Using an Embedded Processor -- Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs -- Session 4B: Fast Abstracts I Session 5A: Dependable Networking -- Structure-Based Resilience Metrics for Service-Oriented Networks -- Efficient Protection of Many-to-One Communications -- Session 5B: Fast Abstracts II Session 6A: Practical Experience Reports and Tools III -- Impact of Faults in Combinational Logic of Commercial Microcontrollers -- Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System -- COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits -- Session 6B: Reliability Engineering and Testing -- Fault Links: Exploring the Relationship Between Module and Fault Types -- Model-Based Identification of Fault-Prone Components -- Regression Test Selection for Testable Classes. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year's conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe - who were active in research and education related to dependability created a - joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year's conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software engineering. |
| 9 (RLIN) | 4138 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computers, Special purpose. |
| 9 (RLIN) | 46653 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electronic digital computers |
| General subdivision | Evaluation. |
| 9 (RLIN) | 21495 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computers. |
| 9 (RLIN) | 8172 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software Engineering. |
| 9 (RLIN) | 4138 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Special Purpose and Application-Based Systems. |
| 9 (RLIN) | 46654 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | System Performance and Evaluation. |
| 9 (RLIN) | 32047 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer Hardware. |
| 9 (RLIN) | 33420 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Dal Cin, Mario. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 139662 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kaâniche, Mohamed. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 139663 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Pataricza, András. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 139664 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 9 (RLIN) | 139665 |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783540257233 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783540810254 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Programming and Software Engineering, |
| International Standard Serial Number | 2945-9168 ; |
| Volume/sequential designation | 3463 |
| 9 (RLIN) | 139666 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/b107276">https://doi.org/10.1007/b107276</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-Lecture Notes in CS |
No items available.