The Twenty-Fifth International Symposium on Fault Tolerant Computing: [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. [1] Digest of papers
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Los Alamitos, Calif. [u.a.]
IEEE Computer Soc. Press
1995
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XXIII, 547 S. Ill., graph. Darst. |
| ISBN: | 0818670797 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV010461549 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 951103s1995 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0818670797 |9 0-8186-7079-7 | ||
| 035 | |a (OCoLC)51350296 | ||
| 035 | |a (DE-599)BVBBV010461549 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 | ||
| 111 | 2 | |a International Symposium on Fault Tolerant Computing |n 25 |d 1995 |c Pasadena, Calif. |j Verfasser |0 (DE-588)1900289-0 |4 aut | |
| 245 | 1 | 0 | |a The Twenty-Fifth International Symposium on Fault Tolerant Computing |b [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. |n [1] |p Digest of papers |c ed. production by Mary E. Kavanaugh |
| 264 | 1 | |a Los Alamitos, Calif. [u.a.] |b IEEE Computer Soc. Press |c 1995 | |
| 300 | |a XXIII, 547 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Fault-tolerant computing |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Kavanaugh, Mary E. |e Sonstige |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV010461546 |g 1 |
| 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=006970171&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006970171 | |
Record in the Search Index
| _version_ | 1817439402384687104 |
|---|---|
| adam_text |
Table
of
Contents
Digest of Papers
Message from the General Chair
.xi
Message from the Program Chairs
.xiv
Organizing and Program Committee
.xvii
Referees
.xxi
Al
-
System Architecture
Chair:
A. Costes
—
France
A Flexible ServerNet-Based Fault-Tolerant Architecture
.2
W.E. Baker, R.W.
Horst,
O.P.
Sonnier, and W.J. Watson
Efficient Failure Recovery in Multi-Disk Multimedia Servers
.12
H.M. Vin,
P.
J. Shenoy,
andS. Rao
Checkpointing and Its Applications
.22
Y-M. Wang, Y. Huang, K-P. Vo, P-Y. Chung, and
C. Kintala
B1
-
Synthesis
Chair: G.Metze — USA
Synthesis for Testability by Sequential Redundancy Removal Using Retiming
.33
H. Yotsuyanagi, S. Kajihara, and K. Kmoshtta
Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence
Using Partial Scan
.41
N.
Jiang,
RM. Chou,
ondK-K. Saluja
Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable
Microarchitectures
.50
D.M.
Blough, F.J. Kurdahi, andS.Y. Ohm
CI
-
Software Demonstrations I: Systems
Co-Chairs: T.B. Smith
—
USA and
J. Hlavička
—
Czech Republic
The Totem System
.61
LE.
Moser,
P.M. Melliar-Smith, D.A. Agarwal, R.K. Budhia,
C.A. Ungley-Papadopoulis, and T.P. Archambault
Fault Tolerance for Off-the-Shelf Applications and Hardware
67
M. Russinovich and
Z
Segall
A2
-
Interactive Consistency
Chair:
F.Cristian
—
USA
Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a
Limiting Factor
.'3
S.
Poledna
Optimal
Resiliency Against
Mobile
Faults
.83
H.
Buhrman,
JA. Garay,
and
J-H. Hoepman
Interactive Consistency Algorithms Based on Voting and Error-Correcting Codes
.89
T.
Krol
B2
-
Validation and Test
Chair: H. Fujiwara
—
Japan
Systematic Validation of Pipeline Interlock for Superscalar
Microarchitectures
.100
TA. Diep
and J.P. Shen
LOCSTEP: A Logic Simulation-Based Test Generation Procedure
.110
/.
Pomeranz and S.M. Ready
OBDD-Based Optimization of Input Probabilities for Weighted Random Pattern
Generation
._.120
R.
Krieger,
В.
Becker, and
С
Öbnen
C2
-
Software Demonstrations II: Tools
Co-Chairs: G. Saucier
—
France and V. Agarwal
—
USA
Dependability Modelling in a Prototype Development Framework
.131
J.M. Bass, S. Metge, A. Browne, P.R. Croll, and P.J. Fleming
ARMOR: Analyzer for Reducing Module Operational Risk
.137
M.R. Lyu, J.S. Yu, E. Keramidas, and S.R. Dalai
A3 -
Distributed Algorithms
Chair: L. Simoncini
—
Italy
Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes
.144
R.W.
Buskens
and R. P. Bianchini, Jr.
Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous
Synchronization Messages
.154
A. Olson, KG. Shin, andB.J.
Jambor
A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile Networks
.164
S. Rangarajan, K.
Ratnom, andAJT.
Dahbura
Process Allocation for Load Distribution in Fault-Tolerant Multicomputer
.174
J. Kim, H. Lee, andS. Lee
ВЗ-РапеІІ:
Dependability of Commercial Systems
Moderator: R.K. Iyer
—
University of Illinois
Panelists:
D.E.
Lenoski
—
Silicon Graphics Computer Systems
J. Hingston
—
Apple Computer, Inc.
A. Proscino
—
Sun Microsystems, Inc.
J.Shaffer — IBM
E.
Schott —
Digital Equipment Corporation
A4 -
Fault Injection
Chain D. Powell — France
A Model for the Analysis of the Fault Injection Process
.186
A. Steinmger and H. Schweinzer
vi
Combining Software-Implemented and Simulation-Based Fault Injection into a
Single Fault Injection Method
.196
J.
Güthoffand
V.
Sieh
A Switch-Level Algorithm for Simulation of Transients in Combinational Logic
.207
P.
Dahlgren
and P.
Liden
B4
-
Self-Checking
Chair: B.
Courtois
—
France
Implicit Signature Checking
.218
J.
Ohlsson
and M.
Rimen
Towards Totally Self-Checking Delay-instiisitive Systems
.228
S.J. Piestrak and T. Nanya
Feasibility and Effectiveness of the Algorithm for Overhead Reduction in
Analog Checkers
.238
Y. Zhou, M.W.T. Wong, and Y.
Min
A5
-
Modeling and Evaluation
Chair: A. Goyal
—
USA
Dependability Assessment Using Binary Decision Diagrams (BDDs)
.249
S.A.
Doyle and J.B. Dugan
Componentwise Decomposition for an Efficient Reliability Computation of Systems
with Repairable Components
.259
M. Balakrishnan and K.S. Trivedi
Availability and Performance Evaluation of Database Systems under
Periodic Checkpoints
.269
R.
Vallejos
Campos andE.
de Souza
e
Silva
В5
-
Distributed Shared Memory
Chair: R. Schlichting
—
USA
Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory
.279
G.
Suri,
R.
Janssens, and W.K.
Fuchs
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability
.289
А
-M.
Kermarrec, G. Cabillic, A. Gefflaut,
С
Morin, and I. Puaut
Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with
Randomised Shared Memory
.299
A.
Sawa
and T. Nanya
A6
-
Coding
Chair: Y.
Koga
—
Japan
A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems
.310
E. Fujiwara and M.
Kitakarni
Node Covering, Error Correcting Codes and Multiprocessors with Very High
Average Fault Tolerance
.320
5.
Dutt and N.R. Mahapatra
vii
В6
-
Bridging Faults
Chair: D.Pradhan — USA
A New Diagnosis Approach for Short Faults in Interconnects
.331
С
Feng, W.K. Huang, and F.
Lombardi
Fault Simulation of Iddq Tests for Bridging Faults in Sequential Circuits
.340
P.J. Thadikaran, S. Chakravarty, and J.
Patel
C6
-
Checkpointing and Recovery
Chair: M.Dal
Cin
—
Germany
Algorithm-Based Diskless Checkpointing for Fault-Tolerant Matrix Operations
.351
J.S. Plank, Y. Kim, andJJ. Dongarra
Completely Asynchronous Optimistic Recovery with Minimal Rollbacks
.361
S.W.
Smith, D.B. Johnson, andJ.D. Tygar
A7a
-
Software Fault Tolerance
Chair: T.Anderson
—
UK
Design Fault Tolerance in Operating Systems Based on a Standardization Project
.372
A. Watanabe and
K. Sakamura
Software Rejuvenation: Analysis, Module and Applications
.381
Y. Huang,
С
Kintala,
N.
Kolettis, andN.D. Fulton
A7b
-
Robust Data Structures
Chair: D.Taylor
—
Canada
On-Line Error Monitoring for Several Data Structures
.392
J.D. Bright and G.F. Sullivan
Checking the Integrity of Trees
.402
J.D. Bright, G.F. Sullivan, and G.M.
Mosson
B7-Panel II: Dependability of Medical Computing
Moderator: H. Ihara
—
Hitachi Medical Corporation
Panelists: E. Blanz
—
Siemens Corporate Research
DJ.
Valentino
—
UCLA School of Medicine
L. Elliott
—
Cardiac Pacemakers
T.L. Lincoln
—
University of Southern California and RAND
A8
-
Measurement
Chain H.Levendel — USA
VAX/VMS Event Monitoring and Analysis
.414
M.F. Buckley and D.P. Siewiorek
Measurement of Failure Rate in Widely Distributed Software
.424
R. Chillarege, S. Biyani, andJ.
Rosenthal
Evaluation of Software Dependability Based on Stability Test Data
.434
D. Tang and M.
Hecht
Stopping
Rutes
for the Operational Testing of Safety-Critical Software
.444
B. Littlewood and D. Wright
viii
В8
-
Practical Experience Reports I: Architecture
Chair:
С
Weinstock
—
USA
The
ELEKTRA
Railway Signalling-System: Field Experience with an Actively
Replicated System with Diversity
.453
H. Kantz and
C.
Koza
Why Optimistic Message Logging Has Not Been Used in Telecommunications
Systems
.459
Y. Huang and Y-M. Wang
Error Detection and Handling in a Superscalar, Speculative Out-of-Order Execution
Processor System
.464
N.
Saxena,
С
Chen, R. Swami, H. Osone, S. Thusoo, D.
Lyon,
D.
Chang,
A. Dharmaraj,
N.
Patkar,
Y. Lu,
and
В.
Chia
Design Verification of a Super-Scalar RISC Processor
.472
B. Turumella, A. Kabakibo, M. Bogadi, K. Menon, S. Thusoo, L· Nguyen,
N.
Saxena, and M. Chow
A9
-
Object-Oriented Systems
Chair:
C.V.
Ramamoorthy
—
USA
Software Schemes of Reconfiguration and Recovery in Distributed Memory
Multicomputers Using the Actor Model
.479
M. Peercy and P. Banerjee
Implementing Fault-Tolerant Applications Using Reflective Object-Oriented
Programming
.489
J
-С.
Fahre,
V.
Nicomette,
T.
Pérennou, RJ.
Stroud,
andZWu
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated
Error Recovery
.499
J. Xu, B.
Rondell,
A. Romanovsky, C.M.F. Rubira, R.J. Stroud, andZWu
B9
-
Practical Experience Reports II: Assessment
Chair: J.Lala— USA
On the Development of Fault-Tolerant On-Board Control Software and Its
Evaluation by Fault Injection
.510
T. Vardanega, P. David, J-F.
Chane,
W.
Mader,
R. Messaros, and J. Arlat
Modeling and Testing a Critical Fault-Tolerant Multi-Process
System
.516
R.
Riter
Measuring Robustness of a Fault-Tolerant Aerospace
System
.522
СР.
Dingman,
J.
Marshall, andD.P. Siewiorek
Dependability at the User Interface
.527
R.A. Maxion andA.L· deChambeau
Panel Synopses
.537
Indices:
Digest of Papers
.544
Special Issue
.547
IX |
| any_adam_object | 1 |
| author_corporate | International Symposium on Fault Tolerant Computing Pasadena, Calif |
| author_corporate_role | aut |
| author_facet | International Symposium on Fault Tolerant Computing Pasadena, Calif |
| author_sort | International Symposium on Fault Tolerant Computing Pasadena, Calif |
| building | Verbundindex |
| bvnumber | BV010461549 |
| ctrlnum | (OCoLC)51350296 (DE-599)BVBBV010461549 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cc4500</leader><controlfield tag="001">BV010461549</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951103s1995 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818670797</subfield><subfield code="9">0-8186-7079-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)51350296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010461549</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><subfield code="a">DE-739</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Symposium on Fault Tolerant Computing</subfield><subfield code="n">25</subfield><subfield code="d">1995</subfield><subfield code="c">Pasadena, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1900289-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Twenty-Fifth International Symposium on Fault Tolerant Computing</subfield><subfield code="b">[FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif.</subfield><subfield code="n">[1]</subfield><subfield code="p">Digest of papers</subfield><subfield code="c">ed. production by Mary E. Kavanaugh</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">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIII, 547 S.</subfield><subfield code="b">Ill., 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="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield><subfield code="v">Congresses</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">Kavanaugh, Mary E.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV010461546</subfield><subfield code="g">1</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=006970171&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006970171</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV010461549 |
| illustrated | Illustrated |
| indexdate | 2024-12-03T17:01:19Z |
| institution | BVB |
| institution_GND | (DE-588)1900289-0 |
| isbn | 0818670797 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006970171 |
| oclc_num | 51350296 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 |
| owner_facet | DE-91G DE-BY-TUM DE-739 |
| physical | XXIII, 547 S. Ill., graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | International Symposium on Fault Tolerant Computing 25 1995 Pasadena, Calif. Verfasser (DE-588)1900289-0 aut The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. [1] Digest of papers ed. production by Mary E. Kavanaugh Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Press 1995 XXIII, 547 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Fault-tolerant computing Congresses (DE-588)1071861417 Konferenzschrift gnd-content Kavanaugh, Mary E. Sonstige oth (DE-604)BV010461546 1 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006970171&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. Fault-tolerant computing Congresses |
| subject_GND | (DE-588)1071861417 |
| title | The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. |
| title_auth | The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. |
| title_exact_search | The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. |
| title_full | The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. [1] Digest of papers ed. production by Mary E. Kavanaugh |
| title_fullStr | The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. [1] Digest of papers ed. production by Mary E. Kavanaugh |
| title_full_unstemmed | The Twenty-Fifth International Symposium on Fault Tolerant Computing [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. [1] Digest of papers ed. production by Mary E. Kavanaugh |
| title_short | The Twenty-Fifth International Symposium on Fault Tolerant Computing |
| title_sort | the twenty fifth international symposium on fault tolerant computing ftcs 25 silver jubilee june 27 30 1995 pasadena calif digest of papers |
| title_sub | [FTCS-25 silver jubilee] ; June 27 - 30, 1995, Pasadena, Calif. |
| topic | Fault-tolerant computing Congresses |
| topic_facet | Fault-tolerant computing Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006970171&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV010461546 |
| work_keys_str_mv | AT internationalsymposiumonfaulttolerantcomputingpasadenacalif thetwentyfifthinternationalsymposiumonfaulttolerantcomputingftcs25silverjubileejune27301995pasadenacalif1 AT kavanaughmarye thetwentyfifthinternationalsymposiumonfaulttolerantcomputingftcs25silverjubileejune27301995pasadenacalif1 |