• F
  • FTCS
  • 1995
  • Twenty-Fifth International Symposium on Fault-Tolerant Computing
Advanced Search 
Twenty-Fifth International Symposium on Fault-Tolerant Computing
Pasadena, California
June 27-June 30
ISBN: 0-8186-7079-7
Table of Contents
A1 - System Architecture
W.E. Baker, Tandem Comput. Inc., Cupertino, CA, USA
R.W. Horst, Tandem Comput. Inc., Cupertino, CA, USA
D.P. Sonnier, Tandem Comput. Inc., Cupertino, CA, USA
W.J. Watson, Tandem Comput. Inc., Cupertino, CA, USA
pp. 0002
Harrick M. Vin, University of Texas at Austin
Prashant J. Shenoy, University of Texas at Austin
Sriram Rao, University of Texas at Austin
pp. 0012
Yi-Min Wang, AT&T Bell Labs., Murray Hill, NJ, USA
Yennun Huang, AT&T Bell Labs., Murray Hill, NJ, USA
Kiem-Phong Vo, AT&T Bell Labs., Murray Hill, NJ, USA
Pe-Yu Chung, AT&T Bell Labs., Murray Hill, NJ, USA
C. Kintala, AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0022
B1 - Synthesis
Ning Jiang, Mentor Graphics Corp., Warren, NJ, USA
R.M. Chou, Mentor Graphics Corp., Warren, NJ, USA
E.K. Saluja, Mentor Graphics Corp., Warren, NJ, USA
pp. 0041
D.M. Blough, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
F.J. Kurdahi, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
S.Y. Ohm, Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 0050
C1 - Software Demonstrations I: Systems
The Totem System (Abstract)
L.E. Moser, Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
P.M. Melliar-Smith, Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
D.A. Agarwal, Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
R.K. Budhia, Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
C.A. Lingley-Papadopoulos, Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
T.P. Archambault, Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 0061
M. Russinovich, Dept. of Comput. Sci., Oregon Univ., Eugene, OR, USA
Z. Segall, Dept. of Comput. Sci., Oregon Univ., Eugene, OR, USA
pp. 0067
A2 - Interactive Consistency
H. Buhrman, CWI, Amsterdam, Netherlands
J.A. Garay, CWI, Amsterdam, Netherlands
J.-H. Hoepman, CWI, Amsterdam, Netherlands
pp. 0083
B2 - Validation and Test
T.A. Diep, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
J.P. Shen, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 0100
Rolf Krieger, Johann Wolfgang Goethe-University
Bernd Becker, Johann Wolfgang Goethe-University
Can Okmen, Johann Wolfgang Goethe-University
pp. 0120
C2 - Software Demonstrations II: Tools
J.M. Bass, Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
S. Metge, Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
A. Browne, Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
P.R. Croll, Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
P.J. Fleming, Dept. of Autom. Control & Syst. Eng., Sheffield Univ., UK
pp. 0131
M.R. Lu, Commun. Res., Bellcore, Morristown, NJ, USA
J.S. Yu, Commun. Res., Bellcore, Morristown, NJ, USA
E. Keramidas, Commun. Res., Bellcore, Morristown, NJ, USA
S.R. Dalal, Commun. Res., Bellcore, Morristown, NJ, USA
pp. 0137
A3 - Distributed Algorithms
A. Olson, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
K.G. Shin, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
B.J. Jambor, Real-Time Comput. Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 0154
Jong Kim, Pohang University of Science and Technology
Heejo Lee, Pohang University of Science and Technology
Sunggu Lee, Pohang University of Science and Technology
pp. 0174
A4 - Fault Injection
A. Steininger, Dept. for Electr. Meas. Technol., Tech. Univ. Wien, Austria
H. Schweinzer, Dept. for Electr. Meas. Technol., Tech. Univ. Wien, Austria
pp. 0186
J. Guthoff, Dept. of Comput. Sci. III, Erlangen-Nurnberg Univ., Germany
V. Sieh, Dept. of Comput. Sci. III, Erlangen-Nurnberg Univ., Germany
pp. 0196
P. Dahlgren, Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
P. Liden, Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 0207
B4 - Self-Checking
J. Ohlsson, Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
M. Rimen, Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 0218
A5 - Modeling and Evaluation
B5 - Distributed Shared Memory
G. Suri, AT&T Bell Labs., Murray Hill, NJ, USA
B. Jannsens, AT&T Bell Labs., Murray Hill, NJ, USA
W.K. Fuchs, AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0279
A. Savva, Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
T. Nanya, Dept. of Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 0299
A6 - Coding
E. Fujiwara, Graduate Sch. of Inf. Sci. & Eng., Tokyo Inst. of Technol., Japan
N. Kitakami, Graduate Sch. of Inf. Sci. & Eng., Tokyo Inst. of Technol., Japan
pp. 0310
S. Dutt, Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
N.R. Mahapatra, Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
pp. 0320
B6 - Bridging Faults
Chao Feng, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Wei Kang Huang, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
F. Lombardi, Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 0331
P. Thadikaran, Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
S. Chakravarty, Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
J. Patel, Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
pp. 0340
C6 - Checkpointing and Recovery
Sean W. Smith, Carnegie Mellon University
David B. Johnson, Carnegie Mellon University
J. D. Tygar, Carnegie Mellon University
pp. 0361
A7a - Software Fault Tolerance
Yennun Huang, AT&T Bell Laboratories
Chandra Kintala, AT&T Bell Laboratories
Nick Kolettis, AT&T Bell Laboratories
N. Dudley Fulton, AT&T Bell Laboratories
pp. 0381
A7b - Robust Data Structures
J.D. Bright, AT&T Bell Labs., Murray Hill, NJ, USA
G.F. Sullivan, AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0392
J.D. Bright, AT&T Bell Labs., Murray Hill, NJ, USA
G.F. Sullivan, AT&T Bell Labs., Murray Hill, NJ, USA
G.M. Masson, AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0402
A8 - Measurement
M.F. Buckley, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
D.P. Siewiorek, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0414
R. Chillarege, Center for Software Eng., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
S. Biyani, Center for Software Eng., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
J. Rosenthal, Center for Software Eng., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 0424
B8 - Practical Experience Reports I: Architecture
Yennun Huang, AT&T Bell Labs., Murray Hill, NJ, USA
Yi-Min Wang, AT&T Bell Labs., Murray Hill, NJ, USA
pp. 0459
N. Saxena, HaL Comput. Syst., Campbell, CA, USA
Chien Chen, HaL Comput. Syst., Campbell, CA, USA
R. Swami, HaL Comput. Syst., Campbell, CA, USA
H. Osone, HaL Comput. Syst., Campbell, CA, USA
S. Thusoo, HaL Comput. Syst., Campbell, CA, USA
D. Lyon, HaL Comput. Syst., Campbell, CA, USA
D. Chang, HaL Comput. Syst., Campbell, CA, USA
A. Dharmaraj, HaL Comput. Syst., Campbell, CA, USA
N. Patkar, HaL Comput. Syst., Campbell, CA, USA
Y. Lu, HaL Comput. Syst., Campbell, CA, USA
B. Chia, HaL Comput. Syst., Campbell, CA, USA
pp. 0464
Babu Turumella, HaL Computer Systems
Aiman Kabakibo, HaL Computer Systems
Manjunath Bogadi, HaL Computer Systems
Karunakara Menon, HaL Computer Systems
Shalesh Thusoo, HaL Computer Systems
Long Nguyen, HaL Computer Systems
Nirmal Saxena, HaL Computer Systems
Michael Chow, HaL Computer Systems
pp. 0472
A9 - Object-Oriented Systems
M. Peercy, Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
P. Banerjee, Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 0479
J. Fabre, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
V. Nicomette, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
T. Perennou, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
R.J. Stroud, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
Zhixue Wu, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 0489
Jie Xu, Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
B. Randell, Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
A. Romanovsky, Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
C.M.F. Rubira, Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
R.J. Stroud, Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
Zhixue Wu, Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
pp. 0499
B9 - Practical Experience Reports II: Assessment
T. Vardanega, Eur. Space Agency, Noordwijk, Netherlands
P. David, Eur. Space Agency, Noordwijk, Netherlands
J.-F. Chane, Eur. Space Agency, Noordwijk, Netherlands
W. Mader, Eur. Space Agency, Noordwijk, Netherlands
R. Messaros, Eur. Space Agency, Noordwijk, Netherlands
J. Arlat, Eur. Space Agency, Noordwijk, Netherlands
pp. 0510
C.P. Dingman, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
J. Marshall, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
D.P. Siewiorek, Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 0522
Roy A. Maxion, Carnegie Mellon University
Aimee L. deChambeau, Carnegie Library of Pittsburgh
pp. 0527
Usage of this product signifies your acceptance of the Terms of Use.