The Community for Technology Leaders
Green Image
Issue No. 06 - November (vol. 5)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Editor's Note (PDF)

pp. 541

Communication and Synchronization in Distributed Systems (PDF)

A. Silberschatz , Department of Mathematical Sciences, University of Texas
pp. 542-546

Exception Handling in CLU (Abstract)

B.H. Liskov , Laboratory for Computer Science, Massachusetts Institute of Technology
pp. 546-558

Proving Total Correctness of Parallel Programs (PDF)

A.F. Babich , Basic Four Corporation
pp. 558-574

Review and Revocation of Access Privileges Distributed Through Capabilities (PDF)

V.D. Gligor , Department of Computer Science, University of Maryland
pp. 575-586

Program Derivation Using Data Types: A Case Study (Abstract)

C.J.P. Lucena , Departamento de Informatica, Pontificia Universidade Catolica
pp. 586-592

A Case Study in Program Transformation: Translation into Polish (Abstract)

J. Cohen , Department of Physics, Brandeis University
pp. 593-606

Object Migration and Authentication (PDF)

V.D. Gligor , Department of Computer Science, University of Maryland
pp. 607-611

Compile-Time Analysis of Data List-Format List Correspondences (Abstract)

P.W. Abrahams , Department of Computer Science, New York University
pp. 612-617

Methods for the Measurement of Memory Utilization and the Improvement of Program Locality (PDF)

T. Masuda , Institute of Information Sciences and Electronics, University of Tsukuba
pp. 618-631

Throughput Capacity of a Sequence of Queues with Blocking Due to Finite Waiting Room (Abstract)

P. Caseau , Service Informatique et Mathematiques Appliquees, Direction des Etudes et Recherches, Electricite de France
pp. 631-642

Analysis of Closed Queuing Networks with Periodic Servers (Abstract)

G.H. Gonnet , Pontificia Universidade Catolica
pp. 653-659

Call for Papers (PDF)

pp. 659
87 ms
(Ver 3.3 (11022016))