From: purush@guardian.cs.psu.edu (S Purushothaman)
Newsgroups: fj.mail-lists.parallel
Subject: READPAC: Dependable Computing Workshop
Date: 23 Jul 92 13:50:31 GMT
Distribution: fj


		 	      REVISED PROGRAM

 	   Workshop on Realistically Dependable Parallel Computing
			         (READPAC)

		August 28, 29 (immediately following CONCUR '92)
		         Stony Brook, New York


Program Chair:
	Erol Gelenbe
	EHEI
	Universite' Rene' Descartes
	45 rue des Saints-Peres
	75006 Paris

Program Committee:
   Erol Gelenbe (EHEI, Paris)
   Zvi Kedem (Courant Institute, New York University)
   Isi Mitrani (University of Newcastle upon Tyne)
   Richard Muntz (U.C.L.A.)
   Krishna Palem (IBM T. J. Watson Research Center)
   Scott Smolka (S.U.N.Y. at Stony Brook)
   Satish Tripathi (University of Maryland)


Twenty to thirty minutes are set aside for each presentation, followed by a
ten to fifteen minute discussion.


Friday
------
------

Session I; 1.30 pm

"Commercial Dependable and Parallel Computing -- An Industrial Perspective,"
A. Goyal (IBM T. J. Watson Research Center)

"On the Performance Prediction of Parallel Applications on Massively
Parallel Machines," D. Menasce (University of Maryland, S. Noh (George
Mason University), and S. Tripathi (University of Maryland)
 
"Fault Tolerance in Real-Time Systems," D. Mosse and A. Agrawala
(University of Maryland)

3.30 Coffee Break

Session II; 4 pm

"Markov Analysis of Multiple-Disk Prefetching Strategies for External
Merging," V. Pai, A. Schaffer, P. Varman (Rice University)

"A large number of processors, with intermittent failures and failsafe
computation," E. Gelenbe (NJIT and EHEI, Univ. of Paris V), Z. Kedem (Courant
Institute, New York University)

"Design of Performance Predictable Systems,"  R. Bagrodia and C.-C.
Shen (University of California at Los Angeles)


*** All participants are invited to have dinner together on Friday evening ***


Saturday
--------
--------

Session III;  9 am
   
"Some Reliability Measures and their influence on Algorithm Design for
Large Concurrent Systems," S. Rangarajan and S. Tripathi (University
of Maryland)

"On the Complexity of Parallel Computation Using Fail-Stop Processors
and Contaminated Memory," A. Shvartsman (Digital Equipment
Corporation) and P. Kanellakis (Brown University)

"Optimum Virus Testing," E. Gelenbe (NJIT and EHEI, Univ. of
Paris V) and M. Hernandez (Univ. of the Andes, Venezuela)

10.30 am Coffee Break

Session IV;  11 am

"Specifying Fault-Tolerant Systems in Process Algebra," F.S. de Boer,
J. Coenen, R. Gerth (Eindhoven Technological University).

"Limits of Parallelism in Dependable Computers,"  A. Goyal and V. Nicolau
(IBM T. J. Watson Research Center)

"Composite Performance and Dependability Modelling by TIPP", U. Herzog
(Univ. of Erlangen) et al.

______________________________________________________________________

LOCATION, REGISTRATION, HOTEL RESERVATION, and TRANSPORTATION

READPAC will be held immediately following CONCUR '92 at Danfords Inn in Port
Jefferson, New York.  There will be no registration fee for the workshop and
registration will take place on-site.  The CONCUR rate for the hotel has been
extended through Saturday night.  If you are not attending CONCUR, you can
contact Danfords at (516) 928-5200 and say that you are affiliated with CONCUR
'92.  Further details on hotel reservation and transportation to Port Jefferson
can be found in the announcement for CONCUR '92; An electronic copy of which,
in LaTex format, can be obtained via anonymous FTP from sbcs.sunysb.edu.  The
file is located in pub/CONCUR92/cfr.tex.Z and is in compressed format.  The
internet address of sbcs.sunysb.edu is 130.245.1.15

If you plan to attend READPAC of if you have any questions regarding the
workshop, please contact:

	Prof. Zvi Kedem
	Department of Computer Science
	Courant Institute of Mathematical Sciences
        251 Mercer Street
	New York, NY  10012-1185

	kedem@csd36.nyu.edu (internet)
	+1 212 998-3101     (office)
	+1 212 995-4124     (fax)


______________________________________________________________________