The Community for Technology Leaders
Green Image
Issue No. 01 - January (vol. 11)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Editorial (PDF)

pp. 1-2

A Rigorous Approach to Fault-Tolerant Programming (Abstract)

F. Cristian , IBM Research Laboratory
pp. 23-31

Testing Formal Specifications to Detect Design Errors (PDF)

R.A. Kemmerer , Department of Computer Science, University of California
pp. 32-43

The Eden System: A Technical Review (PDF)

G.T. Almes , Department of Computer Science, University of Washington
pp. 43-59

An Application of Name Based Addressing to Low Level Distributed Algorithms (PDF)

M. Ahamad , Department of Computer Science, State University of New York at Stony Brook
pp. 59-67

A Priority Based Distributed Deadlock Detection Algorithm (PDF)

M.K. Sinha , National Centre for Software Development and Computing Techniques, Tata Institute of Fundamental Research
pp. 67-80

Making Pointers Safe in System Programming Languages (Abstract)

D.B. Lomet , IBM Thomas J. Watson Research Center
pp. 87-96

A Field Evaluation of Natural Language for Data Retrieval (Abstract)

M. Jarke , Graduate School of Business Administration, Computer Applications and Information Systems Area, New York University
pp. 97-114

Estimating the Speedup in Parallel Parsing (Abstract)

J. Cohen , Department of Computer Science, Brandeis University
pp. 114-124

Risk Assessment of Computer Controlled Systems (Abstract)

M.O. Fryer , Engineering Design Division of EG&G Idaho, Inc.
pp. 125-129

A Model for the Basic Block Protocol of the Cambridge Ring (Abstract)

G. Harrus , ISEM Laboratory, Universite Paris-Sud
pp. 130-136

Calls for Papers (PDF)

pp. 142

IEEE Copyright Form (PDF)

pp. 143

Information for Authors (PDF)

pp. 143
81 ms
(Ver 3.3 (11022016))