The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 06 - June (vol. 21)
ISSN: 0018-9340
Papers

[Front cover] (PDF)

pp. c1

Breaker Page (PDF)

pp. nil1

Editor's Notice (PDF)

pp. 537

Error Correction in Residue Arithmetic (Abstract)

David Mandelbaum , Avionics Laboratory, U. S. Army Electronics Command, Fort Monmouth, N. J. 07703.
pp. 538-545

Rollback and Recovery Strategies for Computer Programs (Abstract)

K. M. Chandy , Department of Computer Sciences, University of Texas, Austin, Tex. 78712.
C. V. Ramamoorthy , Departments of Electrical Engineering and Computer sciences, University of Texas, Austin, Tex. 78712.
pp. 546-556

Detection of Multiple Faults in Combinational Logic Networks (Abstract)

Zvi Kohavi , Departments of Electrical Engineering and Computer Science, Technion¿Israel Institute of Technology, Haifa, Israel.
Igal Kohavi , RCA, David Sarnoff Research Center, Princeton, N. J. 08540.; Research and Development Department, TELRAD¿Telecommunication & Electronic Industries, Lod, Israel; Department of E
pp. 556-568

A Computer Program for the Synthesis of Switching Circuits by Decomposition (Abstract)

Eskil Kjelkerud , Division of Applied Electronics, The Royal Institute of Technology, Stockholm, Sweden.
pp. 568-573

Design of Optimal Switching Networks by Integer Programming (Abstract)

Toshihide Ibaraki , Department of Computer Science, University of Illinois, Urbana, Ill.; Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University, Kyoto, Japan.
Saburo Muroga , Department of Computer Science, University of Illinois, Urbana, Ill.
pp. 573-582

A Recurrence Technique for Expanding a Function in Spherical Harmonics (Abstract)

M. L. Burrows , Lincoln Laboratory, Massachusetts Institute of Technology, Lexington, Mass. 07173.
L. J. Ricardi , Lincoln Laboratory, Massachusetts Institute of Technology, Lexington, Mass. 07173.
pp. 583-585

Universal Logic Modules of a New Type (Abstract)

Franco P. Preparata , Coordinated Science Laboratory and the Department of Electrical Engineering, University of Illinois, Urbana, Ill. 61801.
pp. 585-588

Simple Binary Identification Problems (Abstract)

M. R. Garey , Bell Telephone Laboratories, Inc., Murray Hill, N. J. 07974.
pp. 588-590

A Compact Definition of Walsh Functions (Abstract)

H. Butin , Telecommunications Division, Thomson-CSF, Gennevilliers, France.
pp. 590-592

On the Synthesis of Finite-State Machines from Samples of Their Behavior (Abstract)

J. A. Feldman , Department of Computer Science, Stanford University, Stanford, Calif. 94305.
A. W. Biermann , Department of Computer and Information Science, Ohio State University, Columbus, Ohio 43210.
pp. 592-597

An Improved Bound on the Length of Checking Experiments for Sequential Machines with Counter Cycles (Abstract)

C. E. Holborow , Department of Electrical Engineering, The Johns Hopkins University, Baltimore, Md. 21218.
pp. 597-598

Minimal Input-Memory and Output-Memory Finite-State Machines (Abstract)

K. Vairavan , Department of Electrical Engineering, University of Wisconsin-Milwaukee, Milwaukee, Wis. 53201.
pp. 598-602

A Result on Set Extraction and Application to Covering-Closure Tables (Abstract)

Terry L. Dollhoff , Naval Ship Engineering Center, Prince George's Center, Hyattsville, Md. 20782.
Bernard L. Weinberg , Department of Computer Science, Michigan State University, East Lansing, Mich. 48823.
pp. 603-606

Contradiction Equations in a B Matrix of Vertex Weight Method and Their Correspondence with the k-Summability Property of Vertices (Abstract)

H. R. Hwa , Basser Computing Department, University of Sydney, Sydney, New South Wales, Australia.
pp. 606-610

On the Realization of Functions in N-Valued Logic (Abstract)

Leo Sintonen , Department of Electronics, Tampere University of Technology, Tampere, Finland.
pp. 610-612

An Improved Lower Bound for Sorting Networks (Abstract)

David C. Van Voorhis , Advanced Systems Development Division, IBM Corporation, Los Gatos, Calif. 95030.
pp. 612-613

The Number of State Assignments for Sequential Machines (Abstract)

Rainer Parchmann , Institut für Mathematik, Technische Hochschule Hannover, Hannover, Germany.
pp. 613-614

Comments on ``Theoretical Comparison of a Class of Feature Selection Criteria in Pattern Recognition'' (Abstract)

Godfried T. Toussaint , Department of Electrical Engineering, University of British Columbia, Vancouver, B. C., Canada.
pp. 615-616

Comments on ``Sequential Machine Identification'' (Abstract)

E. G. Zavisca , Department of Electrical Engineering, Union College, Schenectady, N. Y.
George H. Williams , Department of Electrical Engineering, Union College, Schenectady, N. Y.
pp. 616

Contributors (PDF)

pp. 617

Book Review (PDF)

pp. 618

Descriptor-in-Context Index (PDF)

pp. 628-630

Identifier Index (PDF)

pp. 631

Author Index (PDF)

pp. 632

Information for Authors (PDF)

pp. nil2

[Front cover] (PDF)

pp. c2
81 ms
(Ver 3.1 (10032016))