The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 04 - July (vol. 5)
ISSN: 0098-5589
Papers

IEEE Computer Society (PDF)

pp. c2

Editor's Notice (PDF)

pp. 293

Synthesis: Dreams ? Programs (PDF)

Z. Manna , Department of Computer Science, Stanford University, Stanford, CA 94305, and with the Department of Applied Mathematics, Weizmann Institute of Science
pp. 294-328

A Decision Model for Closed Queuing Networks (Abstract)

K.S. Trivedi , Department of Computer Science, Duke University
pp. 328-332

Multidimensional Binary Search Trees in Database Applications (Abstract)

J.L. Bentley , Departments of Computer Science and Mathematics, Carnegie-Mellon University
pp. 333-340

Dual Processor Scheduling with Dynamic Reassignment (PDF)

S.H. Bokhari , Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
pp. 341-349

Database Access Control in the Presence of Context Dependent Protection Requirements (Abstract)

D.K. Hsiao , Department of Computer and Information Science, The Ohio State University
pp. 349-358

On Legality Assertions in Euclid (Abstract)

D.B. Wortman , Department of Computer Science and the Computer Systems Research Group, University of Toronto
pp. 359-367

A New Strategy for Code Generation (Abstract)

W.H. Harrison , IBM Thomas J. Watson Research Center
pp. 367-373

A Convention for Explicit Declaration of Environments and Top-Down Refinement of Data (Abstract)

E. Towster , Department of Computer Science, University of Southwestern Louisiana
pp. 374-386

A Designer/Verifier's Assistant (Abstract)

M.S. Moriconi , Computer Science Laboratory, SRI International
pp. 387-401

Symbolic Evaluation and the Analysis of Programs (PDF)

T.E. Cheatham , Center for Research in Computing Technology, Harvard University
pp. 402-417

A System for Performance Evaluation of Partial Differential Equations Software (Abstract)

R.F. Boisvert , Division of Mathematical Sciences, Purdue University
pp. 418-425

Aladdin: Assembly Language Assertion Driven Debugging Interpreter (Abstract)

R.E. Fairley , Department of Computer Science, Colorado State University
pp. 426-428
89 ms
(Ver )