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

IEEE Computer Society (PDF)

pp. c2

The Programmer's Apprentice: Knowledge Based Program Editing (Abstract)

R.C. Waters , Artificial Intelligence Laboratory, Massachusetts Institute of Technology
pp. 1-12

Direct Implementation of Algebraic Specification of Abstract Data Types (Abstract)

A. Moitra , National Centre for Software Development and Computing Techniques, Tata Institute of Fundamental Research
pp. 12-20

Optimal Insertion of Software Probes in Well-Delimited Programs (PDF)

R.L. Probert , Department of Computer Science, University of Ottawa
pp. 34-42

Formal Program Verification Using Symbolic Execution (PDF)

R.B. Dannenberg , Department of Computer Science, Carnegie-Mellon University
pp. 43-52

Analysis of a Hybrid Access Scheme for Buffered Users-Probabilistic Time Division (Abstract)

A. Ephremides , Department of Electrical Engineering, University of Maryland
pp. 52-61

Performance Analysis of Alternative Database Machine Architectures (Abstract)

P.B. Hawthorn , Computer Sciences and Mathematics Department, Lawrence Berkeley Laboratory
pp. 61-75

Adaptive Routing Using a Virtual Waiting Time Technique (PDF)

A.K. Agrawala , Department of Computer Science, University of Maryland
pp. 76-81

IEEE Copyright Form (PDF)

pp. 83

Call for Papers (PDF)

pp. 83
93 ms
(Ver 3.3 (11022016))