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

IEEE Computer Society (PDF)

pp. c2

Implementation of a Generalized Critical Region Construct (Abstract)

W.S. Ford , Commonwealth Scientific and Industrial Research Organization, Division of Computing Research
pp. 449-455

Initial Report on a Lisp Programmer's Apprentice (Abstract)

C. Rich , Artificial Intelligence Laboratory, Massachusetts Institute of Technology
pp. 456-467

Capability Managers (Abstract)

R.B. Kieburtz , Department of Computer Science, State University of New York
pp. 467-477

Some Aspects of the Verification of Loop Computations (Abstract)

J. Misra , Department of Computer Science, University of Texas
pp. 478-486

A Model of Recoverability in Multilevel Systems (PDF)

T. Anderson , Computing Laboratory, University of Newcastle upon Tyne
pp. 486-494

Automating the Selection of Implementation Structures (Abstract)

L.A. Rowe , Computer Science Division, Department of Electrical Engineering and Computer Sciences, University of California
pp. 494-506

Conditions for the Equivalence of Synchronous and Asynchronous Systems (Abstract)

E.A. Akkoyunlu , Department of Computer and Information Sciences, Brooklyn College
pp. 507-516

Compile Time Memory Allocation for Parallel Processes (Abstract)

G.V. Bochmann , D?partement d'Informatique et de Recherche Operationnelle, Universit? de Montreal
pp. 517-520

Discrete Systems and Flowcharts (PDF)

U.R. Kodres , Naval Postgraduate School
pp. 521-525

ASSIST-V: An Environment Simulator for IBM 360 Systems Software Development (Abstract)

C.E. Hughes , Department of Computer Science, University of Tennessee
pp. 526-530

Database Security (Abstract)

G.I. Davida , Department of Electrical Engineering and Computer Science, University of Wisconsin
pp. 531-533

Call for Papers (PDF)

pp. 533
80 ms
(Ver 3.3 (11022016))