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

IEEE Computer Society (PDF)

pp. c2

Specification and Implementation of Mutual Exclusion (Abstract)

P.B. Hansen , Department of Computer Science, University of Southern California
pp. 365-370

An Application of a Method for Analysis of Cyclic Prog rams (Abstract)

N. Francez , Department of Computer Science, University of Southern California
pp. 371-378

Program Optimization Using Invariants (Abstract)

S. Katz , IBM-Israel Scientific Center
pp. 378-389

An Optimal Approach to Fault Tolerant Software Systems Design (PDF)

T.F. Gannon , Sperry Univac Technical Research Center
pp. 390-409

An Approach to Formal Definitions and Proofs of Programming Principles (Abstract)

J. Misra , Department of Computer Science, University of Texas
pp. 410-413

Syntactic Error Correction in Programming Languages (PDF)

null Kuo-Chung Tai , Department of Computer Science, North Carolina State University
pp. 414-425

Formal Modeling of Virtual Machines (Abstract)

A.B. Cremers , Informatics Department, University of Dortmund
pp. 426-436

An Analysis of "Distributed Free Space" in an Operating and Data Management Systems Environment (PDF)

Y.H. Chin , Department of Computer and Information Science, Cleveland State University
pp. 436-440

Towards Automatic Auditing of Records (PDF)

R.C.T. Lee , Institute of Computer and Decision Sciences, National Tsing Hua University
pp. 441-448
91 ms
(Ver 3.3 (11022016))