Newsgroups: comp.parallel
From: jkim@sail.postech.ac.kr (Prof. Jong Kim)
Subject: PRFTS '95 -- Advance Program
Organization: Pohang University of Science and Technology, Pohang, Korea.
Date: 22 Sep 1995 15:28:43 GMT
Message-ID: <43uknb$450@usenet.srv.cis.pitt.edu>

Additional information concerning the symposium is available on the
world-wide web (http://www.eng.uci.edu/faculty/blough/prfts)
-----------------------------------------------------------------------

You will find the advance program for the
     
Pacific Rim International Symposium on Fault-Tolerant Systems '95 (PRFTS'95)

which is being held on the 4th and 5th of December 1995 at the Newport
Beach, California, U.S.A..  I encourage all of you to participate this
fascinating conference at the beautiful location.   

----------------------------------------------------------------------

                          PRFTS '95 Advance Program
                          _________________________


Monday December 4
_________________


8:00  Registration


8:30  Opening Session


9:00  Paper Session A1 - Networks I           Paper Session B1 - Error Checking

      "Diagnosis of interconnect systems      "Protecting Viterbi decoders in
      by computational geometry,"             communication satellites," 
      J. Salinas, Y.-N. Shen, F. Lombardi,    B. Redinbo, University of
      Texas A&M University                    California Davis

      "A fault-tolerant design of             "New upper bounds for redundant
      de-centralized bus arbiter by           computations in algorithm-based
      duplication and on-line testing,"       fault tolerance," G. Ramanathan,
      T. Minohara, R. Onoo, Y. Tohma,         Oregon State University
      Takushoku University

      "A tight bound on the number of         "A forward error control scheme
      channel faults in wormhole-routed       for real-time VBR traffic in
      multicomputers," R. Libeskind-Hadas,    ATM," L. Hu, K.-J. Lin, 
      Harvey Mudd College                     University of California Irvine


10:30 Break


11:00 Paper Session A2 - Modeling             Paper Session B2 - Checkpointing

      "Estimation of coverage probabilities   "On checkpoint latency," 
      for dependability assessment of         N. Vaidya, Texas A&M University
      fault-tolerant process control
      computers," C. Constantinescu, 
      University of Illinois

      "Analysis of responsive systems at      "When piecewise determinism is
      processor faults," H. Imai, et al.,     almost true," E. Cohen, 
      Niigata University                      Y.-M. Wang, G. Suri, AT&T Bell 
                                              Laboratories

      "Modeling systems with global           "Resolving error detection
      spares," M.-L. Yin, D. Blough,          latency in distributed systems
      L. Bic, University of California        using timestamp comparison and
      Irvine                                  state preservation," J.-W. Lin,
                                              et al., National Taiwan University


12:30 Lunch


2:00  Paper Session A3 - Distributed Systems  Paper Session B3 - Multiprocessor
                                                                 Systems

      "Flow control schemes for a             "A multiple task approach to
      fault-tolerant multicast protocol,"     efficient fault tolerance,"
      R. Macedo, P. Ezhilchelvan,             C. Fuhrman, S. Chutani, 
      S. Shrivastava, University of           H. Nussbaumer, Swiss Federal
      Newcastle upon Tyne                     Institute of Technology

      "On the possibility of consensus in     "Effect of diagnosis coverage and
      asynchronous systems," C. Fetzer,       preemption latencies on fault
      F. Cristian, University of California   diagnosis schemes using idle
      San Diego                               capacity in multiprocessor 
                                              systems," U. Sandadi, et al.,
                                              University of Washington

      "Guaranteed deadlock recovery:          "Reliable communication and
      Deadlock resolution with rollback       distributed diagnosis of
      propagation," Y.-M. Wang, M. Merritt,   intermittent faults in networks,"
      A. Romanovsky, AT&T Bell Laboratories   Z. Ge, S.L. Hakimi, University of
                                              California Davis

      "ReSoFT: A reusable software fault      "Fault-tolerant process allocation
      tolerance testbed," K. Tso, E. Shokri,  with load balancing," H. Lee,
      SoHaR                                   J. Kim, S.J. Hong, Pohang 
                                              University of Science & Technology


4:00  Break


4:30  Panel Session 1 - Major Research and Application Issues to be Resolved
                        in the Next 10 Years

      Moderator: K. Kim, University of California Irvine

      Panelists: T. Lawrence, U.S. Air Force Rome Laboratory
                 H. Nakanishi, Hitachi
                 R. Scalzo, U.S. Naval Surface Warfare Center
                 H. Yoshida, Fujitsu


Tuesday December 5
__________________


8:30  Paper Session A4 - Multiprocessor       Paper Session B4 - Algorithms
                         Architecture

      "Analysis of a fault-tolerant           "A dynamically learning strategy
      coherence protocol for distributed      for fault-tolerant routing
      shared memory systems under heavy       algorithms in hypercube
      write load," O. Theel, B. Fleisch,      multicomputers," Z. Li, Y. Min,
      University of California Riverside      Academia Sinica

      "Recoverable distributed shared         "Algorithms for alarm placement
      memory using the limited update         in systems with fault 
      protocol," J.-H. Kim, N. Vaidya,        propagation," K. Lakshmanan, 
      Texas A&M University                    D. Rosenkrantz, S.S. Ravi, 
                                              SUNY Brockport

      "Stable storage unit for                "Fault-tolerant embedding 
      multiprocessors," A. Grygier,           algorithm for complete binary 
      M. Dal Cin, Institut fur Mathematische  tree in hypercube," Y. Eom, 
      Maschinen und Datenverarbeitung III     S. Choi, A. Somani, 
                                              Inha University


10:00 Break


10:30 Panel Session 2 - Specifying Dependability for Large Real-Time Systems

      Moderator: A. Abouelnaga, TRW 

      Panelists: D. Ball, MITRE
                 J. Dehn, Loral
                 M. Hecht, SoHar 
                 M. Sievers, Science Applications International


12:00 Lunch


1:30  Paper Session A5 - Networks II          Paper Session B5 - Formal Methods

      "Design and simulation of               "Discrete analysis of time Petri
      fault-tolerant crossbar switches for    nets," T. Yoneda, Y. Okawa,
      multiprocessor systems," K. Wang,       Tokyo Institute of Technology
      C.-K. Wu, National Chiao Tung Univ.

      "Fault tolerance of the MIN with        "A formal description of FTAG for
      multiple outlets," A. Funahashi,        multiprocessor systems," 
      T. Hanawa, H. Amano, Keio University    M. Suzuki, T. Katayama, 
                                              R. Schlichting, Japan Advanced 
      "Periodically-regular chordal rings     Institute of Science & Technology
      as fault-tolerant loops," D.-M. Kwai,
      B. Parhami, University of California    
      Santa Barbara                           Paper Session B6 - Fault 
                                                                 Injection

      "A new topology of fault-tolerant LAN   "Experimental evaluation of 
      and its reconfiguration algorithm,"     control flow errors," M. Rimen, 
      X. Haifeng, L. Yupin, Tsinghua          J. Ohlsson, Chalmers University 
      University                              of Technology

                                              "A fault injection technique for
                                              predictions of mean time to 
                                              hazard," J. Voas, K. Miller,
                                              Reliable Software Technologies


3:30  Break


4:00  PRFTS Steering Committee Meeting (open to all participants)

------------------------------------------------------------------------------

