Digest of papers:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | NST: FTCS-24 |
| Beschreibung: | XVI, 467 S. graph. Darst. |
| ISBN: | 0818655208 0818655224 0818655216 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009849906 | ||
| 003 | DE-604 | ||
| 005 | 19950724 | ||
| 007 | t | ||
| 008 | 941013s1994 d||| |||| 10||| eng d | ||
| 020 | |a 0818655208 |9 0-8186-5520-8 | ||
| 020 | |a 0818655224 |9 0-8186-5522-4 | ||
| 020 | |a 0818655216 |9 0-8186-5521-6 | ||
| 035 | |a (OCoLC)30958806 | ||
| 035 | |a (DE-599)BVBBV009849906 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-739 |a DE-91G |a DE-91 |a DE-83 | ||
| 050 | 0 | |a QA76.9.F38 I58 1994 PROC | |
| 082 | 0 | |a 004.2 | |
| 084 | |a SS 1994 |0 (DE-625)143431: |2 rvk | ||
| 084 | |a DAT 286f |2 stub | ||
| 111 | 2 | |a FTCS |n 24 |d 1994 |c Austin, Tex. |j Verfasser |0 (DE-588)5112366-6 |4 aut | |
| 245 | 1 | 0 | |a Digest of papers |c the Twenty-Fourth International Symposium on Fault-Tolerant Computing, June 15 - 17, 1994, Austin Texas |
| 246 | 1 | 3 | |a FTCS-24 |
| 246 | 1 | 3 | |a FTCS 24 |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1994 | |
| 300 | |a XVI, 467 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a NST: FTCS-24 | ||
| 650 | 7 | |a Tolérance aux fautes (informatique) - Congrès |2 ram | |
| 650 | 4 | |a Electronic digital computers |v Congresses | |
| 650 | 4 | |a Fault-tolerant computing |v Congresses | |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Austin Tex. |2 gnd-content | |
| 689 | 0 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=006520379&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006520379 | ||
Datensatz im Suchindex
| _version_ | 1804124204568674304 |
|---|---|
| adam_text | Table
of
Contents
General Chair s
Message ...........................................................................................................................ix
Program Co-Chairs Message
.....................................................................................................................
χ
Program and Organizing Committees
.......................................................................................................xii
Referees
.....................................................................................................................................................xiv
Panel I: Challenges of Building a Dependable National Information Infrastructure
........................2
Panel Chairs:
T. Chou,
Tandem Computers, Inc., and J. Goldberg, SRI
Session 1A:
Real-Time
Systems
Chair: H. Kopetz
Effects of Resource Utilization Monitoring in Fault Recovery
............................................................................6
T.R. Sarnaik and A.K. Somani
Analysis of a Fault-Tolerant Multiprocessor Scheduling Algorithm
...................................................................16
D.
Mosse,
R.
Melhem, and S. Ghosh
Replication and Allocation of Task Modules in Distributed Real-Time Systems
.................................................26
С
-J. Hou
and K.G. Shin
Session IB: Diagnosis
Chair:
G. Masson
Algorithm-Based Fault Location and Recovery for Matrix Computations
..........................................................38
A. Roy-Chowdhury and P. Banerjee
Diagnosis of Processor Arrays
........................................................................................................................48
L
Baldelli and P.
Maestrini
Analysis and Experimental Evaluation of Comparison-Based System-Level Diagnosis for
Multiprocessor Systems
.................................................................................................................................55
H. Wang,
D.M.
Blough, and
L
Alkalaj
Session 2A: Fault Simulation
Chair: K. Echtle
Fault Injection into VHDL Models: The
MEFISTO
Tool
.................................................................................66
E. Jem, J. Arlat, M. Rimén,
J. Ohhson, and
J.
Karlsson
On Microprocessor Error Behavior Modeling
..................................................................................................76
M. Rimén,
J. Ohhson, and J. Torin
Device-Level Transient Fault Modeling
..........................................................................................................86
G.L
Ries, G.S.
Choi, andR.K. Iyer
Session 2B: Checking
Chair. Y.
Koga
Concurrent Error Detection in Self-Timed VLSI
96
D.A. Rennels and H. Kim
SEU-Tolerant SRAM Design Based on Current Monitoring
........................................................................... 106
F. Vargas and M. Nicolaidis
On Codeword Testing of Two-Rail and Parity
TSC
Checkers
......................................................................... 116
S.M. Ready, I. Pomeranz, and R. Jain
Session
ЗА:
Industrial
Experience Reports
Chair:
J.Lala
Concurrent Error-Detection and Modular Fault-Tolerance in a 32-Bit Processing Core
for Embedded Space Flight Applications
...................................................................................................... 128
J. Gaisler
Automatic Verifying Approach for Product Specification Using FTA
............................................................. 131
T. Fukaya, M. Hirayama, and Y. Mihara
Implementation of High Availability Mechanisms in the Air Traffic Control SIR-S System
134
E. Antodio,
P. laboni,
M.
La Manna, and P. Mariano
Modeling and Analysis of System Dependability Using the System Availability Estimator
............................... 137
A.M. Blum, A. Goyal, P.
Heidelberger, S.S.
Lavenberg,
М.К.
Nakayama, and P. Shahabuddin
Session 3B: Data Structures
Chair. D.Taylor
Checking Mergeable Priority Queues
............................................................................................................ 144
J.D. Bright and G.F. Sullivan
Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs
................. 154
I-L Yen and F.B.
Bastoni
Checking Linked Data Structures
................................................................................................................. 164
N.M.
Amato
andM.C. Loui
Session 4A: Performance Trade-Off Strategies
Chair. D.Powell
Performability-Driven Adaptive Fault Tolerance
........................................................................................... 176
AT.
Tai
Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off
..................................................... 186
D.K. Pradhan andN.H. Vaidya
A Service Policy for Real-Time Customers with (m, A:)-Firm Deadlines
........................................................... 196
M. Hamdaoui and P. Ramanathan
Session 4B: Coding
Chair. E. Fujiwara
A SEC-BED-DED Code with Byte Plus Bit Error Detection
...........................................................................208
LA. Dunning
Balanced Codes for Noise Reduction in VLSI Systems
..................................................................................212
L
Tallini,
L
Merani, and B.
Bose
On the Effectiveness of Residue Code Checking for Parallel Two
s
Complement Multipliers
............................219
U.
Sparmann
and S.M. Ready
Panelli:
Towards Effective Integration of Fault Tolerance and Real Time
230
Panel Chair. M. Malek, University of Texas
Panel
Ш:
Do Commercial MPPs Need Fault Tolerance?
232
Panel Chair. R.
Horst, Tandem
Computers Inc.
Session 5A: Fault-Tolerant Protocols and Programming
Chair. S. Rangarajan
The Performance of Two-Phase Commit Protocols in the Presence of Site Failures
234
M.L Liu, D. Agrawal, and A. ElAbbadi
vi
Implementing
Fault
Tolerance with an Attribute and Functional Based Model
.................................................244
M. Suzuki, T. Katayama, and R.D. Schlichting
Session 5B: Verification
Chair: A. HIawiczka
Architectural Timing Verification and Test for Super Scalar Processors
..........................................................256
P.
Bose
Efficient Algorithmic Circuit Verification Using Indexed BDDs
.....................................................................266
J.
Bitner,
J. Jain,
M.
Abadir, J.A. Abraham, and
D.S.
Fussell
Session 6A: Checkpointing
Chair. G. Koob
A Cache Protocol for Error Detection and Recovery in Fault-Tolerant Computing Systems
..............................278
C
-Н.
Chen and A. K. Somani
Faster Checkpointing with
N + 1
Parity
.........................................................................................................288
J.S. Plank and K.Li
On the Use and Implementation of Message Logging
................................................,....................................298
E.N. Elnozahy and W. Zwaenepoel
Session 6B: Simulation, Measurement, and Coverage Evaluation
Chair.
J
-С.
Laprie
A Study of Throughput Degradation Following Single Node Failure in a Data Sharing System
.........................310
N.
S. BowenandA. Roy-Chowdhury
Identifying Software Problems Using Symptoms
...........................................................................................320
I. Lee, R.K. Iyer, and A. Mehta
The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage
.....................................330
W.
Wang, K.S.
Trivedi, B.V. Shah, andJ.A.
Profetala
Session 7A: Fault Injection
Chair: R. Chillarege
On Latching Probability of Particle Induced Transients in Combinational Networks
.........................................340
P.
Lidén,
P.
Dahlgren,
R.
Johansson, and J.
Karlsson
Experimental Evaluation of the Fail-Silent Behavior in Computers Without Error Masking
..............................350
H. Madeira and J.G.
Silva
Training Techniques to Obtain Fault-Tolerant Neural Networks
.....................................................................360
C
-Т.
Chiu,
К.
Mehrotra,
CK.
Mohan,
and S. Ranka
Session
7В:
Interconnection Networks
Chair:
K.Fuchs
Connectivity and Fault Tolerance of Multiple-Bus Systems
372
H-K.Ku and J.P.Hayes
Fault-Tolerant Routing Strategy in Hypercube Systems
382
G-M.
Chiu
and S-P. Wu
Optimal Fault-Tolerant Leader Election in Chordal Rings
392
B. Mans and
N.
Santoro
VII
Session 8A: System Design
Chair.
В.
Randell
Highly Available Cluster: A Case Study
.......................................................................................................404
A. Azagury, D. Dolev, G. Goft, J. Marberg, andJ. Satran
Durable Memory RS/6000™ System Design
.................................................................................................414
M. Abbott, D.
Har,
L·
Herger,
M. Kauffmann,
К. Мак,
J.
Murdock,
С.
Schulz,
ТВ.
Smith,
B. Tremaine,
D. Yeh,
and L· Wong
Checkpoint/Rollback in a Distributed System Using Coarse-Grained Dataflow
...............................................424
D. Cummings and
L Alkalaj
Session 8B: Testing/DFT
Chair. H. Fujiwara
Behavioral Synthesis of Testable Designs
.....................................................................................................436
A. Mujumdar, R. Jain, and K. Saluja
Dynamic State and Objective Learning for Sequential Circuit Automatic Test Generation
Using Decomposition Equivalence
...............................................................................................................446
X. Chen and M.L· Bushnell
Test Pattern Generation for Path Delay Faults in Synchronous Sequential Circuits
Using Multiple Fast Clocks and Multiple Observation Times
..........................................................................456
P. Uppaluri, I. Pomeranz, and S.M. Ready
Author Index
..........................................................................................................................................466
vm
|
| any_adam_object | 1 |
| author_corporate | FTCS Austin, Tex |
| author_corporate_role | aut |
| author_facet | FTCS Austin, Tex |
| author_sort | FTCS Austin, Tex |
| building | Verbundindex |
| bvnumber | BV009849906 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F38 I58 1994 PROC |
| callnumber-search | QA76.9.F38 I58 1994 PROC |
| callnumber-sort | QA 276.9 F38 I58 41994 PROC |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1994 |
| classification_tum | DAT 286f |
| ctrlnum | (OCoLC)30958806 (DE-599)BVBBV009849906 |
| 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 | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01950nam a2200481 c 4500</leader><controlfield tag="001">BV009849906</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950724 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941013s1994 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818655208</subfield><subfield code="9">0-8186-5520-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818655224</subfield><subfield code="9">0-8186-5522-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818655216</subfield><subfield code="9">0-8186-5521-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30958806</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009849906</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-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F38 I58 1994 PROC</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FTCS</subfield><subfield code="n">24</subfield><subfield code="d">1994</subfield><subfield code="c">Austin, Tex.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5112366-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Digest of papers</subfield><subfield code="c">the Twenty-Fourth International Symposium on Fault-Tolerant Computing, June 15 - 17, 1994, Austin Texas</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">FTCS-24</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">FTCS 24</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 467 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="500" ind1=" " ind2=" "><subfield code="a">NST: FTCS-24</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Tolérance aux fautes (informatique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Austin Tex.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=006520379&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-006520379</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Austin Tex. gnd-content |
| genre_facet | Konferenzschrift 1994 Austin Tex. |
| id | DE-604.BV009849906 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:41:57Z |
| institution | BVB |
| institution_GND | (DE-588)5112366-6 |
| isbn | 0818655208 0818655224 0818655216 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006520379 |
| oclc_num | 30958806 |
| open_access_boolean | |
| owner | DE-29T DE-739 DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-83 |
| owner_facet | DE-29T DE-739 DE-91G DE-BY-TUM DE-91 DE-BY-TUM DE-83 |
| physical | XVI, 467 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | FTCS 24 1994 Austin, Tex. Verfasser (DE-588)5112366-6 aut Digest of papers the Twenty-Fourth International Symposium on Fault-Tolerant Computing, June 15 - 17, 1994, Austin Texas FTCS-24 FTCS 24 Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1994 XVI, 467 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier NST: FTCS-24 Tolérance aux fautes (informatique) - Congrès ram Electronic digital computers Congresses Fault-tolerant computing Congresses Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Austin Tex. gnd-content Fehlertoleranz (DE-588)4123192-2 s Datenverarbeitung (DE-588)4011152-0 s DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006520379&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Digest of papers Tolérance aux fautes (informatique) - Congrès ram Electronic digital computers Congresses Fault-tolerant computing Congresses Datenverarbeitung (DE-588)4011152-0 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4011152-0 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Digest of papers |
| title_alt | FTCS-24 FTCS 24 |
| title_auth | Digest of papers |
| title_exact_search | Digest of papers |
| title_full | Digest of papers the Twenty-Fourth International Symposium on Fault-Tolerant Computing, June 15 - 17, 1994, Austin Texas |
| title_fullStr | Digest of papers the Twenty-Fourth International Symposium on Fault-Tolerant Computing, June 15 - 17, 1994, Austin Texas |
| title_full_unstemmed | Digest of papers the Twenty-Fourth International Symposium on Fault-Tolerant Computing, June 15 - 17, 1994, Austin Texas |
| title_short | Digest of papers |
| title_sort | digest of papers |
| topic | Tolérance aux fautes (informatique) - Congrès ram Electronic digital computers Congresses Fault-tolerant computing Congresses Datenverarbeitung (DE-588)4011152-0 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Tolérance aux fautes (informatique) - Congrès Electronic digital computers Congresses Fault-tolerant computing Congresses Datenverarbeitung Fehlertoleranz Konferenzschrift 1994 Austin Tex. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006520379&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ftcsaustintex digestofpapers AT ftcsaustintex ftcs24 |