The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 03 - May (vol. 4)
ISSN: 0098-5589
Papers

IEEE Computer Society (PDF)

pp. c2

Guest Editorial (PDF)

pp. 153

The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case) (PDF)

P.A. Bernstein , Department of Computer Science, Harvard University, Cambridge, MA, and the Computer Corporation of America
pp. 154-168

Analysis of Real-Time Systems by Data Flowgraphs (Abstract)

U.R. Kodres , Department of Computer Science, Naval Postgraduate School
pp. 169-178

Program Complexity and Programmer Productivity (Abstract)

E.T. Chen , Computer Science Division, The Travelers Insurance Companies
pp. 187-194

Network: A Multiprocessor Program (Abstract)

P.B. Hansen , Department of Computer Science, University of Southern California
pp. 194-199

The Logic of Computer Programming (PDF)

Z. Manna , Department of Applied Mathematics, Weizmann Institute of Science
pp. 199-229

Reliable Resource Allocation Betvveen Unreliable Processes (Abstract)

S. Kumar Shrivastava , Computing Laboratory, University of Newcastle upon Tyne
pp. 230-241

Software Descriptions with Flow Expressions (Abstract)

A.C. Shaw , Department of Computer Science, University of Washington
pp. 242-254

Critical Load Factors in Two-Processor Distributed Systems (Abstract)

H.S. Stone , Department of Electrical and Computer Engineering, University of Massachusetts
pp. 254-258

Information for Authors (PDF)

pp. 259
94 ms
(Ver 3.1 (10032016))