The Community for Technology Leaders
RSS Icon
Subscribe
Fault-Tolerant Computing, International Symposium on (1995)
Pasadena, California
June 27, 1995 to June 30, 1995
ISBN: 0-8186-7079-7
TABLE OF CONTENTS
Referees (PDF)
pp. xxi
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
Hiroyuki Yotsuyanagi , Osaka University
Seiji Kajihara , Osaka University
Kozo Kinoshita , Osaka University
pp. 0033
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
Irith Pomeranz , University of Iowa
Sudhakar M. Reddy , University of Iowa
pp. 0110
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
Richard Buskens , AT&T Bell Laboratories
Ronald Bianchini Jr , Carnegie Mellon University
pp. 0144
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
Yingquan Zhou , Chinese Academy of Sciences
Yinghua Min , Chinese Academy of Sciences
Mike W. T. Wong , Hong Kong Polytechnic University
pp. 0238
A5 - Modeling and Evaluation
Stacy A. Doyle , Duke University
Joanne Bechta Dugan , University of Virginia
pp. 0249
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
Aki Watanabe , University of Tokyo
Ken Sakamura , University of Tokyo
pp. 0372
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
Dong Tang , SoHaR Incorporated
Myron Hecht , SoHaR Incorporated
pp. 0434
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
R. Riter , Boeing Commercial Airplanes, Seattle, WA, USA
pp. 0516
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
Panel Synopses (Abstract)
pp. 0537
pp. 0547
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool