Dependable computing for critical applications 2:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Wien u.a.
Springer
1992
|
| Series: | Dependable computing and fault-tolerant systems
6 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIII, 437 S. graph. Darst. |
| ISBN: | 3211823301 0387823301 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006618401 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930315s1992 d||| |||| 10||| eng d | ||
| 020 | |a 3211823301 |9 3-211-82330-1 | ||
| 020 | |a 0387823301 |9 0-387-82330-1 | ||
| 035 | |a (OCoLC)25422427 | ||
| 035 | |a (DE-599)BVBBV006618401 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.9.F38 | |
| 082 | 0 | |a 004.2 |b D441, 1991 |2 20 | |
| 084 | |a DAT 343f |2 stub | ||
| 084 | |a DAT 286f |2 stub | ||
| 245 | 1 | 0 | |a Dependable computing for critical applications 2 |c J. F. Meyer ... (eds.) |
| 264 | 1 | |a Wien u.a. |b Springer |c 1992 | |
| 300 | |a XIII, 437 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dependable computing and fault-tolerant systems |v 6 | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Arquitetura e organização de computadores |2 larpcal | |
| 650 | 4 | |a Calcul tolérant les pannes - Congrès | |
| 650 | 7 | |a Falhas computacionais |2 larpcal | |
| 650 | 4 | |a Fault-tolerant computing | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Meyer, John F. |e Sonstige |4 oth | |
| 830 | 0 | |a Dependable computing and fault-tolerant systems |v 6 |w (DE-604)BV000785532 |9 6 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004229234&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004229234 | ||
Record in the Search Index
| _version_ | 1804120894671421440 |
|---|---|
| adam_text | XI
Contents
Distributed
Systems
I
Architectural Foundations, Concepts and Methods Behind ISACS
-
A Real-Time
Intelligent System for Critical Applications
3
S. Bologna,
0.
Berg, K. Haugset, J. Kvalem (Institute for Energy
Technology, Norway)
Implementing Forward Recovery Using Checkpoints in
Distributed Systems
27
J. Long, W.K.
Fuchs
(University of Illinois,
USA), JA.
Abraham
(University of Texas, USA)
Replication
47
Evaluating the Impact of Network Partitions on Replicated Data
Availability
49
J.-F. Paris (University of Houston, USA)
A Distributed Systems Architecture Supporting High Availability
and Reliability
67
P.D.
Ezhilchelvan, S.K. Shrivastava (University of Newcastle upon
Тупе,
UK)
Evaluation
93
A Numerical Technique for the Hierarchical Evaluation of Large,
Closed Fault-Tolerant Systems
95
D. Lee (Aerospace Corporation, USA), J. Abraham (University of Texas,
USA), D. Rennels (University of California at Los Angeles, USA), G. Gilley
(Aerospace Corporation, USA)
XII
Fault
Injection Simulation: A
Variance Reduction Technique for
Systems with Rare Events
115
A.P.A. van Moorsel, B.R.
Haverkort, I.G.
Niemegeers (University of
Twente, The Netherlands)
Limits of Parallelism in Fault-Tolerant Multiprocessors
135
V.F. Nicola, A. Goyal (IBM Thomas J. Watson Research Center, USA)
Correlated Failures
155
Correlated Hardware Failures in Redundant Systems
157
J.B. Dugan (Duke University, USA)
Impact of Correlated Failures on Dependability in a
VAXcluster System
175
D. Tang, R.K. Iyer (University of Illinois at Urbana-Champaign, USA)
Design Diversity
195
Assuring Design Diversity in N-Version Software: A Design
Paradigm for N-Version Programming
197
MR. Lyu, A. Aviiienis (University of California at Los Angeles, USA)
An Empirical Investigation of the Effect of Formal
Specifications on Program Diversity
219
TI.
McVittie, J.PJ. Kelly, W.I. YamamotO (University of California at
Santa Barbara, USA)
Verification Techniques
241
The Proof of Correctness of a Fault-Tolerant Circuit Design
243
W.R. Bevier, WD. Young (Computational Logic Inc., USA)
XIII
Verification of Memory Management Units
261
E.T. Schubert, K.N. Levitt (University of California at Davis, USA)
High Level Design Proof of a Reliable Computing Platform
279
B.
Di Vito
(Vigyan Inc., USA), R.W. Butler, J.L. Caldwell (NASA
Langley Research Center, USA)
Distributed Systems II
307
A Membership Protocol Based on Partial Order
309
S. Mishra, L.L. Peterson, R.D. Schlichting (University of Arizona,
USA)
A Fault-Tolerant Architecture for the Intellectual Distributed
Processing System
333
T. Seki, Y. Okataku, S. Tamura (Toshiba Corporation, Japan)
Validation
355
A New Approach of Formal Proof: Probabilistic Validation
357
G. Florin,
С
Fraize, S. Natkin (CEDRiC, France)
Testing Programs to Detect Malicious Faults
375
R. Hamlet (Portland State University, USA)
Signatures
393
On-Line Signature Learning and Checking
395
H. Madeira,
JG. Silva
(University of
Coimbra,
Portugal)
A New Efficient Signature Technique for Process Monitoring in
Critical Systems
-1
SJ. Upadhyaya, B. Ramamurthy (State University of New York at
Buffalo, USA)
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV006618401 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F38 |
| callnumber-search | QA76.9.F38 |
| callnumber-sort | QA 276.9 F38 |
| callnumber-subject | QA - Mathematics |
| classification_tum | DAT 343f DAT 286f |
| ctrlnum | (OCoLC)25422427 (DE-599)BVBBV006618401 |
| dewey-full | 004.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2 |
| dewey-search | 004.2 |
| dewey-sort | 14.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01614nam a2200421 cb4500</leader><controlfield tag="001">BV006618401</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930315s1992 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3211823301</subfield><subfield code="9">3-211-82330-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387823301</subfield><subfield code="9">0-387-82330-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)25422427</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006618401</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="b">D441, 1991</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependable computing for critical applications 2</subfield><subfield code="c">J. F. Meyer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wien u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 437 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dependable computing and fault-tolerant systems</subfield><subfield code="v">6</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arquitetura e organização de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Calcul tolérant les pannes - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Falhas computacionais</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meyer, John F.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dependable computing and fault-tolerant systems</subfield><subfield code="v">6</subfield><subfield code="w">(DE-604)BV000785532</subfield><subfield code="9">6</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004229234&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004229234</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV006618401 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:49:20Z |
| institution | BVB |
| isbn | 3211823301 0387823301 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004229234 |
| oclc_num | 25422427 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | XIII, 437 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer |
| record_format | marc |
| series | Dependable computing and fault-tolerant systems |
| series2 | Dependable computing and fault-tolerant systems |
| spelling | Dependable computing for critical applications 2 J. F. Meyer ... (eds.) Wien u.a. Springer 1992 XIII, 437 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Dependable computing and fault-tolerant systems 6 Literaturangaben Arquitetura e organização de computadores larpcal Calcul tolérant les pannes - Congrès Falhas computacionais larpcal Fault-tolerant computing (DE-588)1071861417 Konferenzschrift gnd-content Meyer, John F. Sonstige oth Dependable computing and fault-tolerant systems 6 (DE-604)BV000785532 6 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004229234&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Dependable computing for critical applications 2 Dependable computing and fault-tolerant systems Arquitetura e organização de computadores larpcal Calcul tolérant les pannes - Congrès Falhas computacionais larpcal Fault-tolerant computing |
| subject_GND | (DE-588)1071861417 |
| title | Dependable computing for critical applications 2 |
| title_auth | Dependable computing for critical applications 2 |
| title_exact_search | Dependable computing for critical applications 2 |
| title_full | Dependable computing for critical applications 2 J. F. Meyer ... (eds.) |
| title_fullStr | Dependable computing for critical applications 2 J. F. Meyer ... (eds.) |
| title_full_unstemmed | Dependable computing for critical applications 2 J. F. Meyer ... (eds.) |
| title_short | Dependable computing for critical applications 2 |
| title_sort | dependable computing for critical applications 2 |
| topic | Arquitetura e organização de computadores larpcal Calcul tolérant les pannes - Congrès Falhas computacionais larpcal Fault-tolerant computing |
| topic_facet | Arquitetura e organização de computadores Calcul tolérant les pannes - Congrès Falhas computacionais Fault-tolerant computing Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004229234&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000785532 |
| work_keys_str_mv | AT meyerjohnf dependablecomputingforcriticalapplications2 |