The Community for Technology Leaders
RSS Icon
Subscribe
Pacific Rim International Symposium on Fault-Tolerant Systems (1997)
Taipei, TAIWAN
Dec. 15, 1997 to Dec. 16, 1997
ISBN: 0-8186-8212-4
TABLE OF CONTENTS
pp. xii
Session A1: Fault Tolerant Architectures
Douglas W. Caldwell , University of California at Los Angeles
Riki Hwang , University of California at Los Angeles
David A. Rennels , University of California at Los Angeles
pp. 7
A.K. Somani , Dept. of Electr. Eng. & Comput. Eng., Iowa State Univ., Ames, IA, USA
K.S. Trivedi , Dept. of Electr. Eng. & Comput. Eng., Iowa State Univ., Ames, IA, USA
pp. 15
Bin Pei , China Railway Signal and Communication Co.
pp. 22
Charles Changli Chin , National Cheng Kung University
Chung-Kie Tung , National Cheng Kung University
Shang-Rong Tsai , National Cheng Kung University
pp. 28
Session B1: Error Detection and Correction
Rofessor Robert Redinbo , University of California, Davis
pp. 35
Yoshihisa Desaki , Tokyo Metropolitan University
Kazuhiko Iwasaki , Tokyo Metropolitan University
Yukiya Miura , Tokyo Metropolitan University
Daisuke Yokota , Tokyo Metropolitan University
pp. 47
C. Chen , IBM Corporation, Poughkeepsie, NY
pp. 53
Yoon-Hwa Choi , Dept. of Comput. Eng., Hongik Univ., Seoul, South Korea
pp. 59
Session A2: Modeling and Tools
Sying-Jyan Wang , National Chung-Hsing University
pp. 66
Wang-Dauh Tseng , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Kuochen Wang , Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu, Taiwan
pp. 72
Arun K. Somani , Department of Electrical and Computer Engineering Iowa State University
pp. 78
Myron Hecht , SoHaR Incorporated, Beverly Hills, California, USA
Jeffrey Agron , SoHaR Incorporated, Beverly Hills, California, USA
Jeffrey Miller , SoHaR Incorporated, Beverly Hills, California, USA
Herbert Hecht , SoHaR Incorporated, Beverly Hills, California, USA
pp. 85
T. Tsuchiya , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
Eun Hye Choi , Dept. of Inf. & Math. Sci., Osaka Univ., Japan
pp. 91
Session B2: Replica Control and Protocols
Ye-In Chang , National Sun Yat-Sen University
Bor-Hsu Chen , National Sun Yat-Sen University
pp. 110
Yao-Jen Chang , National Chiao-Tung University
Shyan-Ming Yuan , National Chiao-Tung University
Yu-Ting Wu , National Chiao-Tung University
pp. 116
Session A3: Fault Tolerant Systems
J. Goldberg , California Univ., Irvine, CA, USA
T.F. Lawrence , California Univ., Irvine, CA, USA
K.H. Kim , California Univ., Irvine, CA, USA
pp. 131
Wei-Jih Li , National Chung Cheng University
pp. 147
Tzi-cker Chiueh , State University of New York at Stony Brook
pp. 153
Session B3: System Evaluation
Swapna S. Gokhale , Duke University
Michael R. Lyu , Lucent Technologies, Bell Laboratories
pp. 167
L. Romano , University of Illinois
Z. Kalbarczyk , University of Illinois
R. K. Iyer , University of Illinois
A. Mazzeo , Universita' degli Studi di Napoli
N. Mazzocca , Universita' degli Studi di Napoli
pp. 174
J.K. Muppala , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
Jiannong Cao , Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, Hong Kong
pp. 180
Session A4: Checkpointing and Transaction Processing
Y. Huang , Bell Labs., Lucent Technol., Murray Hill, NJ, USA
S. Yajnik , Bell Labs., Lucent Technol., Murray Hill, NJ, USA
G. Fowler , Bell Labs., Lucent Technol., Murray Hill, NJ, USA
P.E. Chung , Bell Labs., Lucent Technol., Murray Hill, NJ, USA
Yi-Min Wang , Bell Labs., Lucent Technol., Murray Hill, NJ, USA
pp. 187
Arun Chandra , International Business Machines Corporation
pp. 202
Session B4: Neural Networks and Formal Verification
T. Ohmameuda , Graduate Sch. of Sci. & Technol., Chiba Univ., Japan
N.C. Hammadi , Graduate Sch. of Sci. & Technol., Chiba Univ., Japan
H. Ito , Graduate Sch. of Sci. & Technol., Chiba Univ., Japan
pp. 215
M. Suzuki , Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
R.D. Schlichting , Sch. of Inf. Sci., Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
pp. 229
Henrik Lönn , Chalmers University of Technology
Paul Pettersson , Uppsala University
pp. 235
pp. 243
68 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool