
TABLE OF CONTENTS
Issue No. 05 - May (vol. 11)
ISSN: 0098-5589
Papers
IEEE Computer Society (PDF)
pp. c2
Editorial (PDF)
pp. 445
A Loosely Coupled Distributed System for Reliably Storing Data (PDF)
A.J. Bernstein , Department of Computer Science, State University of New York
pp. 446-454
Completeness of Proof Systems for Equational Specifications (Abstract)
D.B. MacQueen , AT&T Bell Laboratories
pp. 454-461
Atomic Actions and Resource Coordination Problems Having Nonunique Solutions (Abstract)
M.K. Sinha , National Centre for Software Development and Computing Techniques, Tata Institute of Fundamental Research
pp. 461-471
A Compiler for an Array and Vector Processing Language (Abstract)
R.H. Perrott , Department of Computer Science, Queen's University of Belfast
pp. 471-478
Statistical Estimation of Software Reliability (Abstract)
S.M. Ross , Department of Industrial Engineering and OPerations Research, University of California
pp. 479-483
An Availability Model for Distributed Transaction Systems (Abstract)
G. Martella , Dipartimento di Elettronica, Politecnico di Milano
pp. 483-491
Optimal Load Balancing in a Multiple Processor System with Many Job Classes (Abstract)
L.M. Ni , Department of Computer Science, Michigan State University
pp. 491-496
Call for Papers (PDF)
pp. 496
IEEE Computer Society Publications (PDF)
pp. 496