The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (1995)
Bad Neuenahr, Germany
Sept. 13, 1995 to Sept. 15, 1995
ISSN: 1060-9857
ISBN: 0-8186-7153-X
TABLE OF CONTENTS

Committees (PDF)

pp. x
Session 1: Experimental Reliability Evaluation

A longitudinal survey of Internet host reliability (Abstract)

D. Long , Dept. of Comput. & Inf. Sci., California Univ., Santa Cruz, CA, USA
A. Muir , Dept. of Comput. & Inf. Sci., California Univ., Santa Cruz, CA, USA
R. Golding , Dept. of Comput. & Inf. Sci., California Univ., Santa Cruz, CA, USA
pp. 2
Session 2: Advanced Transaction Models

A correctness criterion for advanced transaction models (Abstract)

A. Rakotonirainy , Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
pp. 22

Supporting semantics-based transaction processing in mobile database applications (Abstract)

P.K. Chrysanthis , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
G.D. Walborn , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 31

Non blocking atomic commitment with an unreliable failure detector (Abstract)

A. Schiper , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
R. Guerraoui , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
M. Larrea , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 41
Session 3: Distributed Cooperation

On the design of systems of cooperating functional processes (Abstract)

C. Assmann , Dept. of Comput. Sci., Kiel Univ., Germany
W.E. Kluge , Dept. of Comput. Sci., Kiel Univ., Germany
pp. 52

System support for robust collaborative applications (Abstract)

M. Chelliah , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
M. Ahamad , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 62
Session 4: Checkpointing and Communications

Maximum and minimum consistent global checkpoints and their applications (Abstract)

Yi-Min Wang , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 86

The performance of consistent checkpointing in distributed shared memory systems (Abstract)

G. Muller , IRISA, Rennes, France
G. Cabillic , IRISA, Rennes, France
I. Puaut , IRISA, Rennes, France
pp. 96

A hierarchy of totally ordered multicasts (Abstract)

U. Wilhelm , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
A. Schiper , Dept. d'Inf., Ecole Polytech. Federale de Lausanne, Switzerland
pp. 106
Session 5: Dependable Distributed Systems

Configurable highly available distributed services (Abstract)

C.T. Karamanolis , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
J.N. Magee , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 118

An Integer Programming Approach for Assigning Votes in a Distributed System (Abstract)

D. Venkaiah , German Nat. Res. Center for Inf. Technol., Sankt Augustin, Germany
Pankaj Jalote , German Nat. Res. Center for Inf. Technol., Sankt Augustin, Germany
pp. 128
Session 6: Distributed Real-Time Systems

A new deadlock detection algorithms for distributed real-time database systems (Abstract)

Chim-fu Yeung , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
Sheung-lun Hung , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 146

A synchronization strategy for a time-triggered multicluster real-time system (Abstract)

A. Kruger , Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
A. Schedl , Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
D. Millinger , Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
H. Kopetz , Inst. fur Tech. Inf., Tech. Univ. Wien, Austria
pp. 154

MUSE: a message passing concurrent computer for on-board space systems (Abstract)

J.Y. Le Gall , Autom. & Intell. Syst. Unit, Alcatel Alsthom Recherche, Marcoussis, France
F. Gaume , Autom. & Intell. Syst. Unit, Alcatel Alsthom Recherche, Marcoussis, France
F. Simon , Autom. & Intell. Syst. Unit, Alcatel Alsthom Recherche, Marcoussis, France
pp. 162
Session 7: Voting and Fault Masking

Designing masking fault-tolerance via nonmasking fault-tolerance (Abstract)

A. Arora , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
S.S. Kulkarni , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 174

TMR processing without explicit clock synchronisation (Abstract)

N.A. Speirs , Dept. de Sistemas e Computacao, Univ. Federal da Paraiba, Joao Pessoa, Brazil
P.D. Ezhilchelvan , Dept. de Sistemas e Computacao, Univ. Federal da Paraiba, Joao Pessoa, Brazil
F.V. Brasileiro , Dept. de Sistemas e Computacao, Univ. Federal da Paraiba, Joao Pessoa, Brazil
pp. 186

Performance analysis of a regeneration-based dynamic voting algorithm (Abstract)

R.J. Hilderman , Dept. of Comput. Sci., Regina Univ., Sask., Canada
H.J. Hamilton , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 196
Session 8: Error Detection and Diagnosis

Membership and system diagnosis (Abstract)

M.A. Hiltunen , Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA
pp. 208

Self diagnosis of processor arrays using a comparison model (Abstract)

P. Santi , Istituto di Elaborazione dell'Inf., CNR, Pisa, Italy
P. Maestrini , Istituto di Elaborazione dell'Inf., CNR, Pisa, Italy
pp. 218

Failure detection algorithms for a reliable execution of parallel programs (Abstract)

S. Chabridon , UFR de Math. et Inf., Univ. Rene Descartes, Paris, France
E. Gelenbe , UFR de Math. et Inf., Univ. Rene Descartes, Paris, France
pp. 229

Author Index (PDF)

pp. 239
88 ms
(Ver 3.1 (10032016))