The Community for Technology Leaders
Green Image
Issue No. 02 - March (vol. 3)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Production Systems: A Notation for Defining Syntax and Translation (Abstract)

H.F. Ledgard , Department of Computer and Information Science, University of Massachusetts
pp. 105-124

Proving the Correctness of Multiprocess Programs (Abstract)

L. Lamport , Massachusetts Computer Associates, Inc.
pp. 125-143

A General, Verifiable Iterative Control Structure (Abstract)

J.M. Adams , Department of Computer Science, New Mexico State University
pp. 144-149

An Analysis of Swapping Policies in Virtual Storage Systems (Abstract)

null We-Min Chow , IBM Thomas J. Watson Research Center
pp. 150-156

Experience with Modular Concurrent Programming (Abstract)

P.B. Hansen , Department of Computer Science, University of Southern California
pp. 156-159

Interactive Pattern Recognition: A System and Data Structure (Abstract)

R.F.H. Farag , Department of Electrical Engineering and Computer Science, University of Connecticut
pp. 162-168

ESP<sup>3</sup>: A Language for Pattern Description and a System for Pattern Recognition (Abstract)

L.G. Shapiro , Department of Computer Science, Kansas State University
pp. 169-183

Information Retrieval Based on Touch-Tone (Abstract)

S.B. Soffer , Department of Human Oncology, Biodata Section, University of Wisconsin Clinical Cancer Center
pp. 184-189

Image Access Protocol for Image Processing Software (Abstract)

R.M. Haralick , Remote Sensing Laboratory, University of Kansas
pp. 190-192

Call for Papers (PDF)

pp. 192
89 ms
(Ver 3.3 (11022016))