Last update:
Thu Apr 11 09:49:28 MDT 2024
Robert B. McGhee and
Ragnar N. Nilsen The Extended Resolution Digital
Differential Analyzer: a New Computing
Structure for Solving Differential
Equations . . . . . . . . . . . . . . . 1--9
Dorothea M. Bohling and
Lawrence A. O'Neill An Interactive Computer Approach to
Tolerance Analysis . . . . . . . . . . . 10--16
Harry C. Andrews and
Kenneth L. Caspari A Generalized Technique for Spectral
Analysis . . . . . . . . . . . . . . . . 16--25
Akio Sasaki and
S. Watanabe Computer Simulation of Pulse Propagation
Through a Periodic Loaded Transmission
Line . . . . . . . . . . . . . . . . . . 25--33
Terry G. Gaddess An Error-Detecting Binary Adder: a
Hardware-Shared Implementation . . . . . 34--38
Herschel H. Loomis and
Michael R. McCoy A Scheme for Synchronizing High-Speed
Logic: Part I . . . . . . . . . . . . . 39--47
Harold S. Stone The Organization of High-Speed Memory
for Parallel Block Transfer of Data . . 47--53
Thomas F. Arnold and
Chung-Jen Tan and
Monroe M. Newborn Iteratively Realized Sequential Circuits 54--66
H. Allen Curtis Systematic Procedures for Realizing
Synchronous Sequential Machines Using
Flip-Flop Memory: Part II . . . . . . . 66--73
Harold S. Stone A Logic-in-Memory Computer . . . . . . . 73--78
Ioan Tomescu A Modified Matrix Algorithm for
Determining the Complete Connection
Matrix of a Switching Network . . . . . 78--79
J. B. Moore and
K. T. Clark A Simple Convergent Algorithm for Rapid
Solution of Polynomial Equations . . . . 79--80
A. S. Farber and
E. S. Schlig Mathematical ``Lower Bounds'' and the
Logic Circuit Designer . . . . . . . . . 80--81
Anonymous Contributors . . . . . . . . . . . . . . 82--84
Anonymous Abstracts of Current Computer Literature 85--94
Anonymous Descriptor-in-Context Index . . . . . . 94--99
Anonymous Identifier Index . . . . . . . . . . . . 99--100
Anonymous Author Index . . . . . . . . . . . . . . 100--100
E. L. Hall and
D. D. Lynch and
S. J. Dwyer Generation of Products and Quotients
Using Approximate Binary Logarithms for
Digital Filtering Applications . . . . . 97--105
J. A. Glassman A Generalization of the Fast Fourier
Transform . . . . . . . . . . . . . . . 105--116
H. H. Loomis, Jr. A Scheme for Synchronizing High-Speed
Logic. Part II . . . . . . . . . . . . . 116--124
P. H. Mengert Solution of Linear Inequalities . . . . 124--131
A. Mukhopadhyay and
G. Schmitz Minimization of Exclusive or and Logical
Equivalence Switching Circuits . . . . . 132--140
S. S. Yau and
C. K. Tang Universal Logic Modules and Their
Applications . . . . . . . . . . . . . . 141--149
G. A. Korn and
H. Kosako A Proposed Hybrid-Computer Method for
Functional Optimization . . . . . . . . 149--153
A. Habibi and
P. A. Wintz Fast Multipliers . . . . . . . . . . . . 153--157
E. V. Krishnamurthy On Range-Transformation Techniques for
Division . . . . . . . . . . . . . . . . 157--160
I. D. G. Macleod Pictorial Output with a Line Printer . . 160--162
W. H. Kautz The Necessity of Closed Circuit Loops in
Minimal Combinational Circuits . . . . . 162--164
T. T. Nieh On the Uniqueness of Minimal-State
Stochastic Sequential Machines . . . . . 164--166
K. K. Nambiar Solution to Harrison's Problem . . . . . 166--167
B. G. Reynolds General Repetitive Events and Machines 167--169
R. M. Bowman and
E. S. McVey A Method for the Fast Approximate
Solution of Large Prime Implicant Charts 169--173
Sureshchander Comments on ``The Synthesis of Binary
Sequence Detectors'' . . . . . . . . . . 173--174
R. J. Lechner Comment on ``Computation of the Fast
Walsh--Fourier Transform'' . . . . . . . 174--174
Anonymous Contributors . . . . . . . . . . . . . . 175--176
Anonymous Abstracts of Current Computer Literature 177--195
Anonymous Information for Authors . . . . . . . . 195--b
Anonymous IEEE Transactions on Computers . . . . . c1--195--c
E. A. Patrick and
J. P. Costello and
F. C. Monds Decision-Directed Estimation of a
Two-Class Decision Boundary . . . . . . 197--205
P. P. Loutrel A Solution to the Hidden-Line Problem
for Computer-Drawn Polyhedra . . . . . . 205--213
R. W. Cook and
M. J. Flynn System Design of a Dynamic
Microprocessor . . . . . . . . . . . . . 213--222
S. Zohar Negative Radix Conversion . . . . . . . 222--226
E. V. Krishnamurthy On Optimal Iterative Schemes For
High-Speed Division . . . . . . . . . . 227--231
J. Hlavicka Essential Hazard Correction Without the
Use of Delay Elements . . . . . . . . . 232--238
V. Y.-S. Shen and
A. C. McKellar An Algorithm for the Disjunctive
Decomposition of Switching Functions . . 239--248
R. Y. Kain Nonlinear Sequential Circuits . . . . . 249--254
Y. Kambayashi and
S. Yajima and
I. Ohbayashi On Finite-Memory Sequential Machines . . 254--258
S. S. Yau and
M. Orsic Fault Diagnosis and Repair of Cutpoint
Cellular Arrays . . . . . . . . . . . . 259--262
D. L. Ostapko and
S. S. Yau Realization of an Arbitrary Switching
Function with a Two-Level Network of
Threshold and Parity Elements . . . . . 262--269
M. M. Rochkind Transferable FORTRAN Subroutine for
Rapid Extended Sorting . . . . . . . . . 270--272
Anonymous Abstracts of Current Computer Literature 273--290
Anonymous Information for Authors . . . . . . . . 290--c
K. J. Thurber and
J. W. Myrna System Design of a Cellular APL Computer 291--303
J. R. Slagle and
Chin-Liang Chang and
R. C. T. Lee A New Algorithm for Generating Prime
Implicants . . . . . . . . . . . . . . . 304--310
K. Fukunaga and
W. L. G. Koontz Application of the Karhunen--Lo\`eve
Expansion to Feature Selection and
Ordering . . . . . . . . . . . . . . . . 311--318
T. A. Slivinski An Extension of Threshold Logic . . . . 319--341
J. Kella State Minimization of Incompletely
Specified Sequential Machines . . . . . 342--348
R. O. Winder Threshold Logic Asymptotes . . . . . . . 349--353
W. A. Davis Sequential Machines Realizable with
Delay Elements Only . . . . . . . . . . 353--355
G. C. Sethares Completely Periodic Multithreshold
Functions . . . . . . . . . . . . . . . 355--358
J. M. Mage Application of Iterative Consensus to
Multiple-Output Functions . . . . . . . 359--359
L. J. Ulman Computation of the Hadamard Transform
and the $R$-Transform in Ordered Form 359--360
A. Waksman On Winograd's Algorithm for Inner
Products . . . . . . . . . . . . . . . . 360--361
G. W. Beakley and
F. B. Tuteur Comments on ``A Nonparametric
Partitioning Procedure for Pattern
Classification'' . . . . . . . . . . . . 362--363
E. G. Henrichon, Jr. and
K. S. Fu Authors' Reply . . . . . . . . . . . . . 363--364
Anonymous Abstracts of Current Computer Literature 365--385
Anonymous Information for Authors . . . . . . . . 385--b
Anonymous Editor's Notice . . . . . . . . . . . . 387--387
P. W. Weiler and
R. S. Kopp and
R. G. Dorman A Real-Time Operating System for Manned
Spaceflight . . . . . . . . . . . . . . 388--398
T. R. N. Rao Biresidue Error-Correcting Codes for
Computer Arithmetic . . . . . . . . . . 398--402
D. P. Bovet and
G. Estrin A Dynamic Memory Allocation Algorithm 403--411
K. L. Doty and
H. Frank Discrete-Time Systems with the
Decomposition Property . . . . . . . . . 412--420
E. Morreale Computational Complexity of Partitioned
List Algorithms . . . . . . . . . . . . 421--428
R. E. Lyons The Synthesis of Redundant
Threshold-Logic Elements . . . . . . . . 429--443
W. Y. Dere and
D. J. Sakrison Berkeley Array Processor . . . . . . . . 444--447
T. W. Calvert Nonorthogonal Projections for Feature
Extraction in Pattern Recognition . . . 447--452
B. Vilfan An Improved Upper Bound for the Finite
Delay of Graphs . . . . . . . . . . . . 453--456
A. Paz Regular Events in Stochastic Sequential
Machines . . . . . . . . . . . . . . . . 456--457
P. T. Hulina and
J. G. Bredeson On Tracey's Internal State Assignment
Method . . . . . . . . . . . . . . . . . 458--458
J. Nievergelt On the Time Required for Timing --- The
Halting Problem Rephrased . . . . . . . 458--459
F. M. Brown Comment on ``The Determination of the
Maximum Compatibility Classes'' . . . . 459--459
A. K. Choudhury and
A. K. Basu and
S. C. DeSarkar Authors' Reply . . . . . . . . . . . . . 459--459
Anonymous Contributors . . . . . . . . . . . . . . 460--461
M. A. Harrison B70-1 Truth Functions and the Problem of
Their Realization by Two-Terminal Graphs 462--462
J. Hartmanis R70-1 A Note on Computing Time for the
Recognition of Context-Free Languages by
a Single-Tape Turing Machine . . . . . . 463--463
J. E. Hopcroft R70-2 Nested Stack Automata . . . . . . 463--463
C. V. Page R70-3 On Stochastic Languages . . . . . 463--464
A. M. Geoffrion R70-4 Analysis of Algorithms for the
Zero-One Programming Problem . . . . . . 464--464
G. Grado R70-5 The Effect of IC's on the Design
of Analog Computers . . . . . . . . . . 464--465
M. C. Gilliland R70-7 Stability Controls for the
Analysis of Analog/Digital Hybrid Loops 465--465
W. J. Karplus R70-6 Use of Functional Approximation
Methods in the Computer Solution of
Initial Value Partial Differential
Equation Problems . . . . . . . . . . . 465--465
P. C. Young R70-8 Analog Methods for On-Line System
Identification Using Noisy Measurements 465--466
Anonymous Abstracts of Current Computer Literature 467--482
Anonymous Information for Authors . . . . . . . . 482--a
Anonymous IEEE Transactions on Computers . . . . . c1--482--b
I. Korn and
A. Nathan On the Representation of Arbitrary
Functions and Their Generation . . . . . 483--486
D. Tabak An Algorithm for Nonlinear Process
Stabilization and Control . . . . . . . 487--492
D. P. Bovet and
G. Estrin On Static Memory Allocation in Computer
Systems . . . . . . . . . . . . . . . . 492--503
E. Morreale Recursive Operators for Prime Implicant
and Irredundant Normal Form
Determination . . . . . . . . . . . . . 504--509
K. K. Chakrabarti and
A. K. Choudhury and
M. S. Basu Complementary Function Approach to the
Synthesis of Three-Level NAND Network 509--514
L. L. Kinney Decomposition of Asynchronous Sequential
Switching Circuits . . . . . . . . . . . 515--529
W. W. Chu Buffer Behavior for Poisson Arrivals and
Multiple Synchronous Constant Outputs 530--534
L. Kleinrock Swap-Time Considerations in Time-Shared
Systems . . . . . . . . . . . . . . . . 534--540
G. T. Toussaint and
R. W. Donaldson Algorithms for Recognizing
Contour-Traced Handprinted Characters 541--546
A. E. Brenner and
P. de Bruyne A Sonic Pen: a Digital Stylus System . . 546--548
K. L. Doty On Information-Lossless Discrete-Time
Systems . . . . . . . . . . . . . . . . 548--551
G. Gonenc A Method for the Design of Fault
Detection Experiments . . . . . . . . . 551--558
P. R. Cassee and
M. J. O. Strutt Is There Any Advantage of Ternary Logic
as Compared with Binary? . . . . . . . . 559--559
R. Reeves Comment on ``A Transform for Logic
Networks'' . . . . . . . . . . . . . . . 559--560
K. S. Menger Author's Reply . . . . . . . . . . . . . 560--560
Anonymous Contributors . . . . . . . . . . . . . . 561--562
M. A. Arbib R70-10 The Minimalization of Tree
Automata . . . . . . . . . . . . . . . . 563--563
E. L. Lawler R70-9 A Graph-Theoretic Model for
Periodic Discrete Structures . . . . . . 563--563
H. Yamada R70-11 Representation of Events in the
von Neumann Cellular Model . . . . . . . 563--564
J. P. Roth R70-12 Diagnosis of Single-Gate Failures
in Combinational Circuits . . . . . . . 564--565
W. F. Cutlip R70-14 Some Results on Cascade
Decomposition of Automata . . . . . . . 565--565
R. O. Winder R70-13 Multigate Synthesis of General
Boolean Functions by Threshold Logic
Elements . . . . . . . . . . . . . . . . 565--565
C. L. Sheng R70-15 Realization of Sequential
Machines with Threshold Elements . . . . 565--566
J. Sklansky R70-16 Unate Cellular Logic . . . . . . 566--566
Anonymous Abstracts of Current Computer Literature 567--582
Anonymous Information for Authors . . . . . . . . 582--a
Anonymous IEEE Transactions on Computers . . . . . c1--582--b
I. Gitman and
M. D. Levine An Algorithm for Detecting Unimodal
Fuzzy Sets and Its Application as a
Clustering Technique . . . . . . . . . . 583--593
J. W. Sammon, Jr. Interactive Pattern Analysis and
Classification . . . . . . . . . . . . . 594--616
T. Kameda and
P. Weiner On the State Minimization of
Nondeterministic Finite Automata . . . . 617--627
R. J. Lechner A Transform Approach to Logic Design . . 627--640
G. K. Maki and
J. H. Tracey State Assignment Selection in
Asynchronous Sequential Circuits . . . . 641--644
N. N. Biswas On Identification of Totally Symmetric
Boolean Functions . . . . . . . . . . . 645--648
S. Lakshmivarahan and
M. A. L. Thathachar Pattern Classification Using Stochastic
Approximation Techniques . . . . . . . . 649--651
J. Santos and
H. Arango and
M. Pascual and
G. Roing A Cyclic Algebra for the Synthesis of
Ternary Digital Systems . . . . . . . . 651--653
Anonymous Comment on ``Gray Code Counter'' . . . . 653--654
M. Cohn Authors' Reply . . . . . . . . . . . . . 654--654
Anonymous Contributors . . . . . . . . . . . . . . 655--655
H. C. Andrews B70-2 Transmission of Information by
Orthogonal Functions . . . . . . . . . . 656--656
A. D. Friedman R70-17 Asynchronous Sequential Circuits
with Feedback . . . . . . . . . . . . . 657--657
E. D. Goodman R70-18 Real-Time Computation by
$n$-Dimensional Iterative Arrays of
Finite-State Machines . . . . . . . . . 657--658
M. Newborn R70-19 Frequency of Decomposability
Among Machines with a Large Number of
States . . . . . . . . . . . . . . . . . 658--658
J. C. Shepherdson R70-20 Sequential Boolean Equations . . 658--658
T. F. Arnold R70-21 Time and Tape Complexity of
Pushdown Automaton Languages . . . . . . 658--659
J. Turner R70-22 Subdirect Decompositions of
Transformation Graphs . . . . . . . . . 659--659
T. Kameda R70-23 Multi-Tape and Multi-Head
Pushdown Automata . . . . . . . . . . . 659--660
J. P. Robinson R70-24 A Procedure for Selecting
Diagnostic Tests . . . . . . . . . . . . 660--660
Anonymous Abstracts of Current Computer Literature 661--678
Anonymous Information for Authors . . . . . . . . 678--a
Anonymous IEEE Transactions on Computers . . . . . c1--678--b
Richard R. Shively Preface: First IEEE Conference on
Computer Arithmetic, Minneapolis,
Minnesota, June 16, 1969 . . . . . . . . 679--680
D. W. Matula A Formalization of Floating-Point
Numeric Base Conversion . . . . . . . . 681--692
J. E. Robertson The Correspondence Between Methods of
Digital Division and Multiplier Recoding
Procedures . . . . . . . . . . . . . . . 692--701
M. J. Flynn On Division by Functional Iteration . . 702--706
H. Ling High-Speed Computer Multiplication Using
a Multiple-Bit Decoding Algorithm . . . 706--709
G. D. Hornbuckle and
E. I. Ancona The LX-1 Microprocessor and Its
Application to Real-Time Signal
Processing . . . . . . . . . . . . . . . 710--720
D. E. Atkins Design of the Arithmetic Units of ILLIAC
III: Use of Redundancy and Higher Radix
Methods . . . . . . . . . . . . . . . . 720--733
Algirdas Avi\vzienis and
Chin Tung A Universal Arithmetic Building Element
(ABE) and Design Methods for Arithmetic
Processors . . . . . . . . . . . . . . . 733--745
Chin Tung Signed-Digit Division Using
Combinational Arithmetic Nets . . . . . 746--748
A. Svoboda Adder With Distributed Control . . . . . 749--751
T. R. N. Rao and
A. K. Trehan Binary Logic for Residue Arithmetic
Using Magnitude Index . . . . . . . . . 752--757
R. Brent On the Addition of Binary Numbers . . . 758--759
Anonymous Contributors . . . . . . . . . . . . . . 760--761
M. R. Aaron B70-3 Analog-to-Digital and
Digital-to-Analog Conversion Techniques 762--763
P. R. Benyon R70-25 Construction of Multistep
Integration Formulas for Simulation
Purposes . . . . . . . . . . . . . . . . 763--764
S. Bergman R70-27 Tree Generating Regular Systems 764--764
M. Yoeli R70-26 Probabilistic Aspects of Machine
Decomposition Theory . . . . . . . . . . 764--764
F. P. Preparata R70-28 A Note on Definite Stochastic
Sequential Machines . . . . . . . . . . 764--765
J. R. Jump R70-29 Uniform Synthesis of Sequential
Circuits . . . . . . . . . . . . . . . . 765--765
Yueh-Hsung Su R70-30 Fuzzy Logic and Its Application
to Switching Systems . . . . . . . . . . 766--766
A. Waksman R-70-31 A Generalized Firing Squad
Problem . . . . . . . . . . . . . . . . 766--766
Anonymous Abstracts of Current Computer Literature 767--782
Anonymous Information for Authors . . . . . . . . 782--a
Anonymous IEEE Transactions on Computers . . . . . c1--782--b
P. E. Danielsson Incremental Curve Generation . . . . . . 783--793
D. J. Kuck A Preprocessing High-Speed Memory System 793--802
W. R. Nordquist and
W. N. Toy A Novel Rotate and Shift Circuit Using
Bidirectional Gates . . . . . . . . . . 802--808
V. T. Rhyne Serial Binary-to-Decimal and
Decimal-to-Binary Conversion . . . . . . 808--812
D. G. Maritsas and
M. G. Hartley Design Criteria for a Generator of
Repeatable Non-Poisson Sequences of
Pseudorandom Pulses . . . . . . . . . . 812--817
S. Muroga and
T. Tsuboi and
C. R. Baugh Enumeration of Threshold Functions of
Eight Variables . . . . . . . . . . . . 818--825
J. W. Sammon, Jr. An Optimal Discriminant Plane . . . . . 826--829
J. V. Wait State-Variable Techniques for Digital
Simulation of Bandpass Systems . . . . . 830--831
T. Janisz and
R. C. Martin Interconnection of High-Speed Logic
Circuits . . . . . . . . . . . . . . . . 831--837
W. H. Kautz Bypass Switching for Cellular Cascades 837--839
D. G. Maritsas and
M. G. Hartley Buffer Length for Erlang Input and
Constant Removal Rate . . . . . . . . . 839--843
M. L. Stein and
E. J. Mundstock Sorting Implicit Outputs in Digital
Simulation . . . . . . . . . . . . . . . 844--847
R. C. White, Jr. A Fast Digital Computer Method for
Recursive Estimation of the Mean . . . . 847--850
K. W. Henderson Comment on ``Computation of the Fast
Walsh--Fourier Transform'' . . . . . . . 850--851
H. S. Witsenhausen Hybrid Solution of Partial Differential
Equations . . . . . . . . . . . . . . . 851--851
Anonymous Contributors . . . . . . . . . . . . . . 852--853
H. S. Stone B70-4 Theory of Scheduling . . . . . . . 854--855
Celso de Renna e Souza B70-5 Theories of Abstract Automata . . 855--857
E. G. Wagner R70-32 Tessellation Automata . . . . . . 857--858
J. D. Bargainer R70-34 Unateness Test of a Boolean
Function and Two General Synthesis
Methods Using Threshold Logic . . . . . 858--858
A. Paz R70-33 Fuzzy Events Realized by Finite
Probabilistic Automata . . . . . . . . . 858--858
D. Tsichritzis R70-35 Classes of Automata and
Transitive Closure . . . . . . . . . . . 858--859
S. Hedetniemi R70-36 Maximin Automata . . . . . . . . 859--859
J. H. Shelly R70-37 Extensions of Asynchronous
Circuits and the Delay Problem I. Good
Extensions and the Delay Problem of the
First Kind . . . . . . . . . . . . . . . 859--859
K. N. Levitt R70-38 The Time Required for Group
Multiplication . . . . . . . . . . . . . 859--860
Anonymous Abstracts of Current Computer Literature 861--877
Anonymous Information for Authors . . . . . . . . 877--b
Anonymous Correction to ``Pictorial Output with a
Line Printer'' . . . . . . . . . . . . . 851--851
Anonymous IEEE Transactions on Computerss . . . . c1--877--c
Wei Chen and
L. P. McNamee Iterative Solution of Large-Scale
Systems by Hybrid Techniques . . . . . . 879--889
G. S. Tjaden and
M. J. Flynn Detection and Parallel Execution of
Independent Instructions . . . . . . . . 889--895
V. Batra Design of Asynchronous Unit Delays . . . 896--902
H. Berndt Functional Microprogramming as a Logic
Design Aid . . . . . . . . . . . . . . . 902--907
E. P. Stabler Microprogram Transformations . . . . . . 908--916
K. Fukunaga and
W. L. G. Koontz A Criterion and an Algorithm for
Grouping Data . . . . . . . . . . . . . 917--923
D. G. Maritsas and
M. G. Hartley A Case Study of a Versatile Generator of
Repeatable Non-Poisson Sequences of
Pseudorandom Pulses . . . . . . . . . . 924--938
B. Beizer Towards a New Theory of Sequential
Switching Networks . . . . . . . . . . . 939--956
P. J. Marino A Linear Decomposition for Sequential
Machines . . . . . . . . . . . . . . . . 956--963
Z. G. Vranesic and
E. S. Lee and
K. C. Smith A Many-Valued Algebra for Switching
Systems . . . . . . . . . . . . . . . . 964--971
W. H. Kautz A Readily Implemented
Single-Error-Correcting Unit-Distance
Counting Code . . . . . . . . . . . . . 972--975
J. Santos and
H. Arango A Graphic Method for the Synthesis of
Threshold Ternary Functions . . . . . . 975--976
F. M. Brown Reduced Solutions of Boolean Equations 976--981
D. P. Burton and
M. C. Waters Comment on ``Delay-Free Asynchronous
Circuits with Constrained Line Delays'' 982--982
E. S. Deutsch On Parallel Operations on Hexagonal
Arrays . . . . . . . . . . . . . . . . . 982--983
A. Sasaki and
S. Watanabe Comment on ``Computer Simulation of
Pulse Propagation Through a Periodic
Loaded Transmission Line'' . . . . . . . 983--983
Anonymous Contributors . . . . . . . . . . . . . . 984--985
Daniel Tabak B70-6: \booktitleComputing Methods in
Optimization Problems --- 2, L. A.
Zadeh, L. W. Neustadt, and A. V.
Balakrishnam, Eds. (Academic Press,
Inc., N.Y., 1969, 393 pp. . . . . . . . 986--986
T. Kameda R70-39 On the Relational Homomorphisms
of Automata . . . . . . . . . . . . . . 987--987
S. B. Akers, Jr. R70-40 Module Clustering to Minimize
Delay in Digital Networks . . . . . . . 987--988
H. Y. Chang R70-41 Diagnosis and Utilization of
Faulty Universal Tree Circuits . . . . . 988--989
W. A. Davis R70-42 Synthesis of Linear Sequential
Machines with Unspecified Outputs . . . 989--989
R. T. Yeh R70-43 Lattice Functions, Pair Algebras,
and Finite-State Machines . . . . . . . 989--989
J. A. Brzozowski R70-44 Synchronization and General
Repetitive Machines, with Applications
to Ultimate Definite Automata . . . . . 989--990
A. Paz R70-45 On Decompositions of Regular
Events . . . . . . . . . . . . . . . . . 990--990
Anonymous Abstracts of Current Computer Literature 991--1008
Anonymous Information for Authors . . . . . . . . 1008--c
Anonymous IEEE Transactions on Computers . . . . . c1--1008--d
M. A. Wilkes Scroll Editing: An On-Line Algorithm for
Manipulating Long Character Strings . . 1009--1015
H. L. Groginsky and
G. A. Works A Pipeline Fast Fourier Transform . . . 1015--1019
G. V. Podraza and
R. S. Gregg, Jr. and
J. R. Slager Efficient MSI Partitioning for a Digital
Computer . . . . . . . . . . . . . . . . 1020--1028
M. Perlman The Decomposition of the States of a
Linear Feedback Shift Register Into
Cycles of Equal Length . . . . . . . . . 1029--1035
I. S. Reed and
A. C. L. Chiang Coding Techniques for Failure-Tolerant
Counters . . . . . . . . . . . . . . . . 1035--1038
M. A. Breuer Functional Partitioning and Simulation
of Digital Circuits . . . . . . . . . . 1038--1046
Chin Tung On the Apparent Continuity of Processing
in a Paging Environment . . . . . . . . 1047--1054
D. B. Cooper and
J. H. Freeman On the Asymptotic Improvement in the
Outcome of Supervised Learning Provided
by Additional Nonsupervised Learning . . 1055--1063
C. R. Kime An Analysis Model for Digital System
Diagnosis . . . . . . . . . . . . . . . 1063--1073
A. Gill Single-Channel and Multichannel
Finite-State Machines . . . . . . . . . 1073--1078
S. Murakami and
K. Kinoshita and
H. Ozaki Sequential Machines Capable of Fault
Diagnosis . . . . . . . . . . . . . . . 1079--1085
B. J. Austin Use of a Macro Processor in Logical
Design . . . . . . . . . . . . . . . . . 1085--1089
M. Yoeli The Synthesis of Multivalued Cellular
Cascades . . . . . . . . . . . . . . . . 1089--1090
D. F. Dinn and
D. A. Winter and
B. G. Trenholm CINTEL --- Computer Interface for
Television . . . . . . . . . . . . . . . 1091--1095
R. W. Donaldson and
G. T. Toussaint Use of Contextual Constraints in
Recognition of Contour-Traced
Handprinted Characters . . . . . . . . . 1096--1099
E. Morreale and
M. Mennucci Computer Experience on Partitioned List
Algorithms . . . . . . . . . . . . . . . 1099--1105
G. Gestri Synthesis of Multiple Sequential
Machines Having Different Inputs . . . . 1105--1108
R. W. House and
D. W. Stevens A New Rule for Reducing CC Tables . . . 1108--1111
A. Grasselli and
U. Montanari On the Minimization of READ-ONLY
Memories in Microprogrammed Digital
Computers . . . . . . . . . . . . . . . 1111--1114
J. F. Sherlock The Simulation of a Multicomputer System 1114--1118
Sureshchander RST Flip-Flop Input Equations . . . . . 1118--1120
Anonymous Abstracts of Current Computer Literature 1121--1138
Anonymous Information for Authors . . . . . . . . 1138--c
Anonymous IEEE Transactions on Computers . . . . . c1--1138--d
M. Depeyrot Linear System Identification Using
Real-Time Deconvolution . . . . . . . . 1139--1145
J. R. Heath and
C. C. Carroll Special-Purpose Computer Organization
for Double-Precision Realization of
Digital Filters . . . . . . . . . . . . 1146--1152
H. J. Beuscher and
W. N. Toy Check Schemes for Integrated
Microprogrammed Control and Data
Transfer Circuitry . . . . . . . . . . . 1153--1159
E. P. Stabler System Description Languages . . . . . . 1160--1173
M. Sakaguchi and
N. Nishida and
T. Nemoto A New Associative Memory System
Utilizing Holography . . . . . . . . . . 1174--1181
I. Morishita Analysis of an Adaptive Threshold Logic
Unit . . . . . . . . . . . . . . . . . . 1181--1192
T. L. Booth Estimation, Prediction, and Smoothing in
Discrete Parameter Systems . . . . . . . 1193--1203
A. Lempel On a Homomorphism of the de Bruijn Graph
and its Applications to the Design of
Feedback Shift Registers . . . . . . . . 1204--1209
Herschell F. Murry A General Approach for Generating
Natural Random Variables . . . . . . . . 1210--1213
R. M. Storwick Improved Construction Techniques for
$(d, k)$ Graphs . . . . . . . . . . . . 1214--1216
R. R. Olson Note on Feedforward Inverses for Linear
Sequential Circuits . . . . . . . . . . 1216--1221
K. Sikdar Determination of Multipliers Mapping an
Arbitrary Integer into a Range of
Certain Type . . . . . . . . . . . . . . 1221--1222
C. V. Page The Search for a Definition of Partition
Pair for Stochastic Automata . . . . . . 1222--1223
R. V. Setlur A Method to Determine the Expressive
Power of a Set of Connectives . . . . . 1223--1225
A. Waksman On the Complexity of Inversions . . . . 1225--1226
Anonymous Contributors . . . . . . . . . . . . . . 1227--1228
Anonymous Abstracts of Current Computer Literature 1229--1297
Anonymous Information for Authors . . . . . . . . 1297--n
Anonymous 1970 Index IEEE Transactions on
Computers Vol. C-19 . . . . . . . . . . 1297--b-1297--m
Anonymous IEEE Transactions on Computers . . . . . c1--1297--o
Anonymous New Editor-in-Chief . . . . . . . . . . 1--1
Anonymous Technical Paper Referees . . . . . . . . 2--6
Y. Paker A Binary Floating-Point Resistor . . . . 7--11
S. K. Jones and
J. L. Melsa Optimization and Simulation of Two
Classes of Nonresetting Data
Reconstructors . . . . . . . . . . . . . 12--18
C. K. Sanathanan and
J. D. Ferguson Hybrid Computation Techniques Inferred
from Functional Analysis . . . . . . . . 19--24
P. N. Marinos Derivation of Minimal Complete Sets of
Test-Input Sequences Using Boolean
Differences . . . . . . . . . . . . . . 25--32
B. Gold and
I. L. Lebow and
P. G. McHugh and
C. M. Rader The FDP, a Fast Programmable Signal
Processor . . . . . . . . . . . . . . . 33--38
F. D. Anzelmo A Data-Storage Format for Information
System Files . . . . . . . . . . . . . . 39--43
W. N. Toy A Novel Parallel Binary Counter Design
with Parity Prediction and Error
Detection Scheme . . . . . . . . . . . . 44--48
T. Ibaraki and
S. Muroga Synthesis of Networks with a Minimum
Number of Negative Gates . . . . . . . . 49--58
A. Cantoni Optimal Curve Fitting With Piecewise
Linear Functions . . . . . . . . . . . . 59--67
C. T. Zahn Graph-Theoretical Methods for Detecting
and Describing Gestalt Clusters . . . . 68--86
H. A. Curtis The Realization of Polylinear Sequential
Circuits Using Flip-Flop Memory . . . . 87--94
A. Hashimoto and
K. Noshita A Property of $N$-Graphs . . . . . . . . 95--97
J. S. Byrd Variable-Mode Counting with Straight
Binary Counters . . . . . . . . . . . . 97--98
J. Kontos and
G. Papakonstantinou A Simulation Method for Computer Control
Systems . . . . . . . . . . . . . . . . 98--100
A. D. Friedman and
P. R. Menon Systems of Asynchronously Operating
Modules . . . . . . . . . . . . . . . . 100--104
P. M. Spira On the Time Necessary to Compute
Switching Functions . . . . . . . . . . 104--105
Kyung Shik Koh A Minimization Technique for TANT
Networks . . . . . . . . . . . . . . . . 105--107
C. C. Foster and
R. Gonter Conditional Interpretation of Operation
Codes . . . . . . . . . . . . . . . . . 108--111
Anonymous Contributors . . . . . . . . . . . . . . 112--114
Anonymous Abstracts of Current Computer Literature 115--132
Anonymous Information For Authors . . . . . . . . 132--a
Anonymous IEEE Transactions on Computers . . . . . c1--132--b
H. C. Andrews and
K. L. Caspari Degrees of Freedom and Modular Structure
in Matrix Multiplication . . . . . . . . 133--141
G. E. Whitney Algebraic Fault Analysis for Constrained
Combinational Networks . . . . . . . . . 141--148
R. Book and
S. Even and
S. Greibach and
G. Ott Ambiguity in Graphs and Expressions . . 149--153
H. S. Stone Parallel Processing with the Perfect
Shuffle . . . . . . . . . . . . . . . . 153--161
W. N. Toy Modular LSI Control Logic Design with
Error Detection . . . . . . . . . . . . 161--166
N. M. Schmitt and
J. L. Melsa Two Approaches for Increasing Storage
Density in Modern Digital Computing
Systems . . . . . . . . . . . . . . . . 167--175
K. Fukunaga and
D. R. Olsen An Algorithm for Finding Intrinsic
Dimensionality of Data . . . . . . . . . 176--183
R. R. Hackbart and
D. L. Dietmeyer The Avoidance and Elimination of
Function Hazards in Asynchronous
Sequential Circuits . . . . . . . . . . 184--189
J. W. Grzymala-Busse Periodic Representations and
T-Partitionable Equivalents of
Sequential Machines . . . . . . . . . . 190--198
S. E. Gelenbe A Realizable Model for Stochastic
Sequential Machines . . . . . . . . . . 199--204
D. R. Smith Complexity of Partially Defined
Combinational Switching Functions . . . 204--208
G. C. Michales and
V. Gourishankar Hybrid Computer Solution of Optimal
Control Problems . . . . . . . . . . . . 209--211
R. B. Lackey and
D. Meltzer A Simplified Definition of Walsh
Functions . . . . . . . . . . . . . . . 211--213
V. T. Rhyne A Simple Postcorrection for Nonrestoring
Division . . . . . . . . . . . . . . . . 213--214
J. C. Majithia and
R. Kitai An Iterative Array for Multiplication of
Signed Binary Numbers . . . . . . . . . 214--216
E. A. Patrick and
L. Y. L. Shen Interactive Use of Problem Knowledge for
Clustering and Decision Making . . . . . 216--222
Chin Liang Chang The Accelerated Relaxation Method for
Linear Inequalities . . . . . . . . . . 222--225
J. G. Bredeson and
P. T. Hulina Generation of a Clock Pulse for
Asynchronous Sequential Machines to
Eliminate Critical Races . . . . . . . . 225--226
A. Lempel and
W. L. Eastman High Speed Generation of Maximal Length
Sequences . . . . . . . . . . . . . . . 227--229
R. G. Bennetts An Improved Method of Prime $C$-Class
Derivation in the State Reduction of
Sequential Networks . . . . . . . . . . 229--231
J. W. Ulrich A Note on the Solution of Sequential
Boolean Equations . . . . . . . . . . . 231--234
L. Mazer Topological Solution of Bilateral
Switching Networks . . . . . . . . . . . 234--238
K. Vairavan A Remark on the Concepts of Input-Memory
and Output-Memory of Sequential Machines 239--239
Anonymous Contributors . . . . . . . . . . . . . . 240--242
Anonymous Abstracts of Current Computer Literature 243--260
Anonymous Information For Authors . . . . . . . . 260--a
Anonymous IEEE Transactions on Computers . . . . . c1--260--b
C. V. Ramamoorthy and
Lih-Chung Chang System Segmentation for the Parallel
Diagnosis of Computers . . . . . . . . . 261--270
A. C. Davies Properties of Waveforms Obtained by
Nonrecursive Digital Filtering of
Pseudorandom Binary Sequences . . . . . 270--281
Yi-Tzuu Chien A Sequential Decision Model for
Selecting Feature Subsets in Pattern
Recognition . . . . . . . . . . . . . . 282--290
G. Mago Realization Methods for Asynchronous
Sequential Circuits . . . . . . . . . . 290--297
C. Reischer and
D. A. Simovici Associative Algebraic Structures in the
Set of Boolean Functions and Some
Applications in Automata Theory . . . . 298--303
V. Y.-S. Shen and
A. C. McKellar and
P. Weiner A Fast Algorithm for the Disjunctive
Decomposition of Switching Functions . . 304--309
I. J. Good The Relationship Between Two Fast
Fourier Transforms . . . . . . . . . . . 310--317
Jung-Chang Huang A Universal Cellular Array . . . . . . . 317--320
V. C. Hamacher Machine Complexity Versus
Interconnection Complexity in Iterative
Arrays . . . . . . . . . . . . . . . . . 321--323
N. Tokura and
T. Kasami and
A. Hashimoto Failsafe Logic Nets . . . . . . . . . . 323--330
M. Cohn and
A. J. Lincoln Spectral Properties of Waveforms
Generated by Smooth Sequences . . . . . 330--332
J. Kella Sequential Machine Identification . . . 332--338
P. L. Tison An Algebra for Logic Systems-Switching
Circuits Application . . . . . . . . . . 339--351
S. R. Das and
C. L. Sheng On Detecting Total or Partial Symmetry
of Switching Functions . . . . . . . . . 352--355
S. R. Das An Approach for Simplifying Switching
Functions by Utilizing the Cover Table
Representation . . . . . . . . . . . . . 355--359
K. J. Breeding and
R. G. Rich BCD and Radix-$2$ Conversions . . . . . 360--361
D. Mandelbaum On Parallel-Acting Index Registers . . . 361--361
Anonymous Contributors . . . . . . . . . . . . . . 362--363
Anonymous Abstracts of Current Computer Literature 364--380
Anonymous Information for Authors . . . . . . . . 380--a
Anonymous IEEE Transactions on Computers . . . . . c1--380--b
Anonymous Editor's Notice . . . . . . . . . . . . 381--381
Chung-Jen Tan State Assignments for Asynchronous
Sequential Machines . . . . . . . . . . 382--391
Y. Tohma and
S. Aoyagi Failure-Tolerant Sequential Machines
with Past Information . . . . . . . . . 392--396
E. M. Riseman and
R. W. Ehrich Contextual Word Recognition Using Binary
Digrams . . . . . . . . . . . . . . . . 397--403
K. J. Berkling A Computing Machine Based on Tree
Structures . . . . . . . . . . . . . . . 404--418
F. P. Preparata On the Design of Universal Boolean
Functions . . . . . . . . . . . . . . . 418--423
A. R. Butz Alternative Algorithm for Hilbert's
Space-Filling Curve . . . . . . . . . . 424--426
L. L. Kinney A Characterization of Some Asynchronous
Sequential Networks and State
Assignments . . . . . . . . . . . . . . 426--436
G. Frosini and
G. B. Gerace Pulse Input Asynchronous Sequential
Circuits . . . . . . . . . . . . . . . . 436--442
S. D. Pezaris A 40ns 17-bit by 17-bit array multiplier 442--447 (??)
S. D. Pezaris A 40-ns 17-Bit by 17-Bit Array
Multiplier . . . . . . . . . . . . . . . 442--447
Celso de Renna e Souza Probabilistic Automata with Monitored
Final State Sets . . . . . . . . . . . . 448--452
F. M. Brown Single-Parameter Solutions for Flip-Flop
Equations . . . . . . . . . . . . . . . 452--454
H. A. Curtis The Further Reduction of CC-Tables . . . 454--456
A. R. Smith General Shift-Register Sequences of
Arbitrary Cycle Length . . . . . . . . . 456--459
F. P. Preparata and
D. E. Muller On the Delay Required to Realize Boolean
Functions . . . . . . . . . . . . . . . 459--461
R. O. Fontao A Graphical Method for Checking Complete
Monotonicity . . . . . . . . . . . . . . 461--464
D. D. Givone and
M. E. Liebler and
R. P. Roesser A Method of Solution for Multiple-Valued
Logic Expressions . . . . . . . . . . . 464--467
G. J. Klir On Universal Logic Primitives . . . . . 467--469
E. V. Krishnamurthy Economical Iterative and
Range-Transformation Schemes for
Division . . . . . . . . . . . . . . . . 470--472
A. R. Patel Generation of Right-Linear Grammars from
Regular Expressions . . . . . . . . . . 472--473
A. D. Wyner Note on Circuits and Chains of Spread
$k$ in the $n$-Cube . . . . . . . . . . 474--474
B. H. Barnes A Two-Way Automaton with Fewer States
than Any Equivalent One-Way Automaton 474--475
J. G. Bredeson and
P. T. Hultina Generation of Prime Implicants by Direct
Multiplication . . . . . . . . . . . . . 475--476
J. A. Brzozowski About Feedback and SR Flip-Flops . . . . 476--476
D. Horelick Comment on ``Serial Binary-to-Decimal
and Decimal-to-Binary Conversion'' . . . 476--476
Anonymous Contributors . . . . . . . . . . . . . . 477--477
Anonymous Abstracts of Current Computer Literature 478--492
Anonymous Information for Authors . . . . . . . . 492--a
Anonymous IEEE Transactions on Computers . . . . . c1--492--b
S. Singh and
S. G. S. Shiva Asynchronous Unit Delays . . . . . . . . 493--499
S. Singh On Delayed-Input Asynchronous Sequential
Circuits . . . . . . . . . . . . . . . . 500--503
H. L. Parks Batch-Fabricated Three-Dimensional
Planar Coaxial Interconnections for
Microelectronic Systems . . . . . . . . 504--511
R. P. Larsen Computer-Aided Preliminary Layout Design
of Customized MOS Arrays . . . . . . . . 512--523
P. R. Menon and
A. D. Friedman Fault Detection in Iterative Logic
Arrays . . . . . . . . . . . . . . . . . 524--535
T. Takaoka and
H. Mine $N$-Fail-Safe Logical Systems . . . . . 536--542
E. V. Krishnamurthy Complementary Two-Way Algorithms for
Negative Radix Conversions . . . . . . . 543--550
S. B. Gray Local Properties of Binary Images in Two
Dimensions . . . . . . . . . . . . . . . 551--561
A. Rosenfeld and
M. Thurston Edge and Curve Detection for Visual
Scene Analysis . . . . . . . . . . . . . 562--569
T. W. Cairns On the Fast Fourier Transform on Finite
Abelian Groups . . . . . . . . . . . . . 569--571
V. M. Griswold and
C. C. Carroll Large-Scale Circuit Interconnection for
Boolean Function Implementation . . . . 572--575
C. C. Babu and
Wah-Chun Chan An Algorithm for Pattern Classification
Using Eigenvectors . . . . . . . . . . . 575--578
R. E. Prather An Algebraic Proof of the Paull--Unger
Theorem . . . . . . . . . . . . . . . . 578--580
K. C. Wang On Autonomous NOR Sequential Machines 580--582
C. C. Foster and
R. H. Gonter and
E. M. Riseman Measures of Op-Code Utilization . . . . 582--584
J. D. Kennedy and
S. J. Clark Halftone Images Using Computer Graphics 584--585
Min-Wen Du Comments on ``Nonlinear Sequential
Circuits'' . . . . . . . . . . . . . . . 585--586
I. Aleksander Comments on ``Universal Logic Modules
and Their Applications'' . . . . . . . . 586--587
Z. Pawlak Another Comment on ``Negative Radix
Conversion'' . . . . . . . . . . . . . . 587--587
L. B. Wadel Comment on ``Negative Radix Conversion'' 587--587
S. Zohar Author's Reply . . . . . . . . . . . . . 587--587
J. W. Carl Comment on ``An Algorithm for a Fast
Hadamard Matrix Transform of Order
Twelve'' . . . . . . . . . . . . . . . . 587--588
W. K. Pratt Author's Reply . . . . . . . . . . . . . 588--588
S. R. Webb and
J. D. Kennedy Some Comments on the Fast Hadamard
Transform of Order Twelve . . . . . . . 588--590
M. Drubin Kronecker Product Factorization of the
FFT Matrix . . . . . . . . . . . . . . . 590--593
A. R. Plantz and
M. Berman Adoption of the Octal Number System . . 593--598
Anonymous Abstracts of Current Computer Literature 599--616
Anonymous Information for Authors . . . . . . . . 616--a
Anonymous IEEE Transactions on Computers . . . . . c1--616--b
M. J. Corinthios The Design of a Class of Fast Fourier
Transform Computers . . . . . . . . . . 617--623
Henri Gouraud Continuous Shading of Curved Surfaces 623--629
J. Bruno and
S. M. Altman A Theory of Asynchronous Control
Networks . . . . . . . . . . . . . . . . 629--638
G. R. Putzolu and
J. P. Roth A Heuristic Algorithm for the Testing of
Asynchronous Circuits . . . . . . . . . 639--647
M. J. Gonzalez, Jr. and
C. V. Ramamoorthy Program Suitability for Parallel
Processing . . . . . . . . . . . . . . . 647--654
S. Ghosh and
A. K. Choudhury Cascaded Multithreshold Networks . . . . 655--662
L. Rossol Generation of Halftones by
Computer-Controlled Microfilm Recorder 662--664
Y. Zalcstein A Note on Fast Cyclic Convolution . . . 665--666
G. K. Maki and
J. H. Tracey A State Assignment Procedure for
Asynchronous Sequential Circuits . . . . 666--668
R. O. Berg and
L. L. Kinney Serial Adders with Overflow Correction 668--671
W. K. King Design of an Associative Memory . . . . 671--674
M. V. Wilkes Slave Memories and Segmentation . . . . 674--675
M. L. Stein and
W. D. Munro Scaling Machine Arithmetic . . . . . . . 675--678
Tien Chi Chen A Binary Multiplication Scheme Based on
Squaring . . . . . . . . . . . . . . . . 678--680
A. Vinea and
V. Vinea A Distance Criterion for Figural Pattern
Recognition . . . . . . . . . . . . . . 680--685
B. P. Zeigler Feedback in Homomorphic Realizations . . 685--688
C. Harlow and
C. L. Coates, Jr. Inessential Errors in Sequential
Machines . . . . . . . . . . . . . . . . 688--690
W. S. Matheson PCN Equivalence Class Invariants and
Information Quantities . . . . . . . . . 691--694
M. Ali and
R. Ahmed Realization of Nonlinearly Separable
Switching Functions . . . . . . . . . . 695--698
T. Ibaraki Gate-Interconnection Minimization of
Switching Networks Using Negative Gates 698--706
G. R. Redinpo An Implementation Technique for Walsh
Functions . . . . . . . . . . . . . . . 706--707
N. Ahmed and
K. R. Rao and
R. B. Schultz Fast Complex BIFORE Transform by Matrix
Partitioning . . . . . . . . . . . . . . 707--710
Anonymous Contributors . . . . . . . . . . . . . . 711--712
Anonymous Abstracts of Current Computer Literature 713--726
Anonymous Information for Authors . . . . . . . . 726--c
Anonymous IEEE Transactions on Computers . . . . . c1--726--d
M. J. Flynn and
R. F. Rosin Microprogramming: An Introduction and a
Viewpoint . . . . . . . . . . . . . . . 727--731
H. W. Lawson, Jr. and
B. K. Smith Functional Characteristics of a
Multilingual Processor . . . . . . . . . 732--742
S. R. Redfield A Study in Microprogrammed Processors: a
Medium Sized Microprogrammed Processor 743--750
V. R. Lesser An Introduction to the Direct Emulation
of Control Structures by a Parallel
Microcomputer . . . . . . . . . . . . . 751--764
P. L. Gardner Functional Memory and Its
Microprogramming Implications . . . . . 764--775
W. L. Schiller and
R. L. Abraham and
R. M. Fox and
A. Van Dam A Microprogrammed Intelligent Graphics
Terminal . . . . . . . . . . . . . . . . 775--782
R. L. Kleir and
C. V. Ramamoorthy Optimization Strategies for
Microprograms . . . . . . . . . . . . . 783--794
T. A. Schoen and
M. R. Belsole, Jr. A Burroughs 220 Emulator for the IBM
360/25 . . . . . . . . . . . . . . . . . 795--798
A. M. Johnson The Microdiagnostics for the IBM
System/360 Model 30 . . . . . . . . . . 798--803
R. M. Guffin Microdiagnostics for the Standard
Computer MLP-900 Processor . . . . . . . 803--808
B. D. Shriver, Sr. Microprogramming and Numerical Analysis 808--812
Anonymous Abstracts of Current Computer Literature 813--830
Anonymous Information for Authors . . . . . . . . 830--a
W. J. Karplus and
R. A. Russell Increasing Digital Computer Efficiency
with the Aid of Error-Correcting Analog
Subroutines . . . . . . . . . . . . . . 831--837
G. B. Gerace and
L. Gilli and
P. Maestrini and
A. R. Meo TOPI --- a Special-Purpose Computer for
Boolean Analysis and Synthesis . . . . . 837--842
M. J. Corinthios A Fast Fourier Transform for High-Speed
Signal Processing . . . . . . . . . . . 843--846
J. R. Smith, Jr. and
C. H. Roth, Jr. Analysis and Synthesis of Asynchronous
Sequential Networks Using Edge-Sensitive
Flip-Flops . . . . . . . . . . . . . . . 847--855
G. Frosini and
G. B. Gerace A Universal STT State Assignment Method
for Pulse Input Asynchronous Sequential
Circuits . . . . . . . . . . . . . . . . 856--861
Martin S. Schmookler and
Arnold Weinberger High Speed Decimal Addition . . . . . . 862--867
R. W. Landgraff and
S. S. Yau Design of Diagnosable Iterative Arrays 867--877
S. Pardee and
P. E. Rosenfeld and
P. G. Dowd G101 --- a Remote Time Share Terminal
with Graphic Output Capabilities . . . . 878--881
C. V. Srinivasan Codes for Error Correction in High-Speed
Memory Systems --- Part I: Correction of
Cell Defects in Integrated Memories . . 882--888
H. N. El-Ghoroury and
S. C. Gupta Realization of Stochastic Automata . . . 889--893
J. R. Rowland and
W. M. Holmes A Variational Approach to Digital
Integration . . . . . . . . . . . . . . 894--900
R. A. Rink and
W. Streifer Application of Digital Computers to
Solve Analytically a Class of
Second-Order Non-linear Ordinary
Differential Equations . . . . . . . . . 901--910
R. Vichnevetsky The Method of Decomposition for Unstable
Two-Point Boundary Value Problems . . . 910--914
M. S. Sarma Application of Digital Computers to
Three-Dimensional Field Determination 914--917
K. Fukunaga and
D. R. Olsen A Two-Dimensional Display for the
Classification of Multivariate Data . . 917--923
S. L. Hight Minimal Input Solutions . . . . . . . . 923--925
N. N. Biswas Minimization of Boolean Functions . . . 925--929
J. W. Grzymala-Busse On the Decomposition of Periodic
Representations of Sequential Machines 929--933
S. C. De Sarkar and
A. K. Basu and
A. K. Choudhury On the Determination of Irredundant
Prime Closed Sets . . . . . . . . . . . 933--938
C. C. Pinter On Simplifying Truth Functions: a
Preliminary Reduction of Coreless
Formulas . . . . . . . . . . . . . . . . 938--941
K. W. Henderson Previous Investigation of Realization of
an Arbitrary Switching Function with a
Network of Threshold and Parity Elements 941--942
B. R. Hunt Spectral Effects in the Use of
Newton--Cotes Approximations for
Computing Discrete Fourier Transforms 942--943
B. Beizer Correction to ``Towards a New Theory of
Sequential Switching Networks'' . . . . 943--943
G. T. Toussaint Some Upper Bounds on Error Probability
for Multiclass Pattern Recognition . . . 943--944
Anonymous Contributors . . . . . . . . . . . . . . 945--947
R. L. Wexelblatt B71-1 Problem Solving by Digital
Computers with PL/I Programming . . . . 948--948
Anonymous Abstracts of Current Computer Literature 949--964
Anonymous Information for Authors . . . . . . . . 964--c
Anonymous IEEE Transactions on Computers . . . . . c1--964--d
Anonymous Preface . . . . . . . . . . . . . . . . 965--966
T. Y. Young The Reliability of Linear Feature
Extractors . . . . . . . . . . . . . . . 967--971
L. C. W. Pols Real-Time Recognition of Spoken Words 972--978
W. S. Mohn, Jr. Two Statistical Feature Evaluation
Techniques Applied to Speaker
Identification . . . . . . . . . . . . . 979--987
H. S. White Finding Events in a Sea of Bubbles . . . 988--995
P. L. Bastien and
L. A. Dunn Global Transformations in Pattern
Recognition of Bubble Chamber
Photographs . . . . . . . . . . . . . . 995--1001
F. Beck The Special Features of POLLY: How They
Are Used for Automatic Scanning . . . . 1002--1006
K. Preston, Jr. Feature Extraction by Golay Hexagonal
Pattern Transforms . . . . . . . . . . . 1007--1014
A. Klinger and
A. Kochman and
N. Alexandridis Computer Analysis of Chromosome
Patterns: Feature Encoding for Flexible
Decision Making . . . . . . . . . . . . 1014--1022
A. N. Mucciardi and
E. E. Gose A Comparison of Seven Techniques for
Choosing Subsets of Pattern Recognition
Properties . . . . . . . . . . . . . . . 1023--1031
E. L. Hall and
R. P. Kruger and
S. J. Dwyer and
D. L. Hall and
R. W. Mclaren and
G. S. Lodwick A Survey of Preprocessing and Feature
Extraction Techniques for Radiographic
Images . . . . . . . . . . . . . . . . . 1032--1044
H. C. Andrews Multidimensional Rotations in Feature
Selection . . . . . . . . . . . . . . . 1045--1051
R. P. Heydorn Redundancy in Feature Extraction . . . . 1051--1054
C. H. Chen Theoretical Comparison of a Class of
Feature Selection Criteria in Pattern
Recognition . . . . . . . . . . . . . . 1054--1056
J. Makhoul Speaker Adaptation in a Limited Speech
Recognition System . . . . . . . . . . . 1057--1063
D. Kozlay Feature Extraction in an Optical
Character Recognition Machine . . . . . 1063--1067
R. C. Ahlgren and
H. F. Ryan and
C. W. Swonger A Character Recognition Application of
an Iterative Procedure for Feature
Selection . . . . . . . . . . . . . . . 1067--1075
W. C. Naylor Some Studies in the Interactive Design
of Character Recognition Systems . . . . 1075--1086
D. B. Geselowitz Use of the Multipole Expansion to
Extract Significant Features of the
Surface Electrocardiogram . . . . . . . 1086--1089
F. W. Smith and
M. H. Wright Automatic Ship Photo Interpretation by
the Method of Moments . . . . . . . . . 1089--1095
R. L. Hoffman and
K. Fukunaga Pattern Recognition Signal Processing
for Mechanical Diagnostics Signature
Analysis . . . . . . . . . . . . . . . . 1095--1100
A. W. Whitney A Direct Method of Nonparametric
Measurement Selection . . . . . . . . . 1100--1103
J. E. Shoenfelt and
C. C. Tappert and
A. J. Goetze Techniques for Efficient Encoding of
Features in Pattern Recognition . . . . 1104--1106
S. K. Das Feature Selection with a Linear
Dependence Measure . . . . . . . . . . . 1106--1109
K. K. Kelly and
T. W. Calvert and
R. L. Longini and
J. P. Brown Feature Enhancement of Vectorcardiograms
by Linear Normalization . . . . . . . . 1109--1111
C. Arcelli and
S. Levialdi Picture Processing and Overlapping Blobs 1111--1115
L. M. Deuser A Hybrid Multispectral Feature Selection
Criterion . . . . . . . . . . . . . . . 1116--1117
Anonymous Contributors . . . . . . . . . . . . . . 1118--1120
Anonymous Abstracts of Current Computer Literature 1121--1137
Anonymous Information for Authors . . . . . . . . 1137--d
Anonymous IEEE Transactions on Computers . . . . . c1--1137--e
Anonymous Editor's Notice . . . . . . . . . . . . 1139--1139
H. B. Rigas and
D. J. Coombs Patch: Analog Computer Patching from a
Digital Simulation Language . . . . . . 1140--1146
S. S. Godbole An Algorithm for the Machine Computation
of Partial-Fractions Expansion of
Functions Having Multiple Poles . . . . 1147--1152
E. P. Hsieh Checking Experiments for Sequential
Machines . . . . . . . . . . . . . . . . 1152--1166
J. F. Meyer Fault Tolerant Sequential Machines . . . 1167--1177
C. V. Ramamoorthy and
Yeh-Hao Chin An Efficient Organization or Large
Frequency-Dependent Files for Binary
Searching . . . . . . . . . . . . . . . 1178--1187
J. Kontos An Iterative Analog Computer Using
Pulse-Ratio Modulation . . . . . . . . . 1188--1192
G. E. Marihugh and
R. E. Anderson The $H$ Diagram: a Graphical Approach to
Logic Design . . . . . . . . . . . . . . 1192--1196
A. S. Wojcik and
G. Metze On the Cost of Base $N$ Adders . . . . . 1196--1203
J. T. Chu Error Bounds for a Contextual
Recognition Procedure . . . . . . . . . 1203--1207
A. Paz Whirl Decomposition of Stochastic
Systems . . . . . . . . . . . . . . . . 1208--1211
F. R. Moore On the Bounds for State-Set Size in the
Proofs of Equivalence Between
Deterministic, Nondeterministic, and
Two-Way Finite Automata . . . . . . . . 1211--1214
W. S. Matheson Recognition of Monotonic and Unate
Cascade Realizable Functions Using an
Informational Model of Switching
Circuits . . . . . . . . . . . . . . . . 1214--1219
Anonymous Contributors . . . . . . . . . . . . . . 1220--1220
T. R. Bashkow B71-2 Introduction to Computer
Organization . . . . . . . . . . . . . . 1221--1221
P. T. Rux B71-3 Microprogramming: Principles and
Practices . . . . . . . . . . . . . . . 1221--1222
M. Brenner B71-4 Mathematical Programming in
Practice . . . . . . . . . . . . . . . . 1222--1222
J. A. Harr B715 APL Users' Guide . . . . . . . . . 1222--1223
Anonymous Abstracts of Current Computer Literature 1224--1239
Anonymous Information for Authors . . . . . . . . 1239--d
Anonymous IEEE Transactions on Computers . . . . . c1--1239--e
C. V. Ramamoorthy Fault-Tolerant Computing: An
Introduction and an Overview . . . . . . 1241--1244
S. S. Yau and
Yu-Shan Tang An Efficient Algorithm for Generating
Complete Test Sets for Combinational
Logic Circuits . . . . . . . . . . . . . 1245--1251
D. C. Bossen and
Se June Hong Cause-Effect Analysis for Multiple Fault
Detection in Combinational Networks . . 1252--1257
W. G. Bouricius and
E. P. Hsieh and
G. R. Putzolu and
J. P. Roth and
P. R. Schneider and
C. Tan Algorithms for Detection of Faults in
Logic Circuits . . . . . . . . . . . . . 1258--1264
R. Betancourt Derivation of Minimum Test Sets for
Unate Logical Circuits . . . . . . . . . 1264--1269
Y. Tohma and
Y. Ohyama and
R. Sakai Realization of Fail-Safe Sequential
Machines by Using a $k$-out-of-n Code 1270--1275
J. D. Russell and
C. R. Kime Structural Factors in the Fault
Diagnosis of Combinational Networks . . 1276--1285
E. J. McCluskey and
F. W. Clegg Fault Equivalence in Combinational Logic
Networks . . . . . . . . . . . . . . . . 1286--1293
C. V. Ramamoorthy and
W. Mayeda Computer Diagnosis Using the Blocking
Gate Approach . . . . . . . . . . . . . 1294--1299
W. C. Carter and
D. C. Jessep and
A. B. Wadia and
P. R. Schneider and
W. G. Bouricius Logic Design for Dynamic and Interactive
Recovery . . . . . . . . . . . . . . . . 1300--1305
W. G. Bouricius and
W. C. Carter and
D. C. Jessep and
P. R. Schneider and
A. B. Wadia Reliability Modeling for Fault-Tolerant
Computers . . . . . . . . . . . . . . . 1306--1311
A. Avizienis and
G. C. Gilley and
F. P. Mathur and
D. A. Rennels and
J. A. Rohr and
D. K. Rubin The STAR (Self-Testing And Repairing)
Computer: An Investigation of the Theory
and Practice of Fault-Tolerant Computer
Design . . . . . . . . . . . . . . . . . 1312--1321
A. Avizienis Arithmetic Error Codes: Cost and
Effectiveness Studies for Application in
Digital System Design . . . . . . . . . 1322--1331
J. C. King Proving Programs to be Correct . . . . . 1331--1336
R. A. Short and
J. Goldberg Soviet Progress in the Design of
Fault-Tolerant Digital Machines . . . . 1337--1352
L. W. Bearnson and
C. C. Carroll On the Design of Minimum Length Fault
Tests for Combinational Circuits . . . . 1353--1356
M. Y. Hsiao and
D. K. Chia Boolean Difference for Fault Detection
in Asynchronous Sequential Machines . . 1356--1361
D. R. Schertz and
G. Metze On the Design of Multiple Fault
Diagnosable Networks . . . . . . . . . . 1361--1364
M. A. Breuer A Random and an Algorithmic Technique
for Fault Detection Test Generation for
Sequential Circuits . . . . . . . . . . 1364--1370
T. F. Klaschka A Method for Redundancy Scheme
Performance Assessment . . . . . . . . . 1371--1376
F. P. Mathur On Reliability Modeling and Analysis of
Ultrareliable Fault-Tolerant Digital
Systems . . . . . . . . . . . . . . . . 1376--1382
F. P. Maison The MECRA: a Self-Reconfigurable
Computer for Highly Reliable Process . . 1382--1388
L. J. Koczela A Three-Failure-Tolerant Computer System 1389--1393
A. L. Hopkins, Jr. A Fault-Tolerant Information Processing
Concept for Space Vehicles . . . . . . . 1394--1403
T. H. Bredt Analysis of Parallel Systems . . . . . . 1403--1407
F. G. Gray and
J. F. Meyer Locatability of Faults in Combinational
Networks . . . . . . . . . . . . . . . . 1407--1412
W. C. Carter and
K. A. Duke and
D. C. Jessep A Simple Self-Testing Decoder Checking
Circuit . . . . . . . . . . . . . . . . 1413--1414
Anonymous Contributors . . . . . . . . . . . . . . 1415--1419
Anonymous Abstracts of Current Computer Literature 1420--1435
Anonymous Information for Authors . . . . . . . . 1435--b
Anonymous IEEE Transactions on Computers . . . . . c1--1435--c
S. H. Unger Asynchronous Sequential Switching
Circuits with Unrestricted Input Changes 1437--1444
S. Y. H. Su and
Chong-Woo Nam Computer-Aided Synthesis or
Multiple-Output Multilevel NAND Networks
with Fan-in and Fan-out Constraints . . 1445--1455
R. L. Russo and
P. H. Oden and
P. K. Wolff, Sr. A Heuristic Procedure for the
Partitioning and Mapping of Computer
Logic Graphs . . . . . . . . . . . . . . 1455--1462
Z. Kohavi and
D. A. Spires Designing Sets of Fault-Detection Tests
for Combinational Logic Circuits . . . . 1463--1469
B. S. Landman and
R. L. Russo On a Pin Versus Block Relationship For
Partitions of Logic Graphs . . . . . . . 1469--1479
Jean-Daniel Nicoud Iterative Arrays for Radix Conversion 1479--1489
D. K. Hsiao A Generalized Record Organization . . . 1490--1495
J. P. Hayes A NAND Model for Fault Diagnosis in
Combinational Logic Networks . . . . . . 1496--1506
J. P. Hayes On Realizations of Boolean Functions
Requiring a Minimal or Near-Minimal
Number of Tests . . . . . . . . . . . . 1506--1513
C. V. Srinivasan Codes for Error Correction in High-Speed
Memory Systems. Part II: Correction of
Temporary and Catastrophic Errors . . . 1514--1520
K. Fukunaga and
D. L. Kessell Estimation of Classification Error . . . 1521--1527
R. N. Ascher and
G. M. Koppelman and
M. J. Miller and
G. Nagy and
G. L. Shelton, Jr. An Interactive System for Reading
Unformatted Printed Text . . . . . . . . 1527--1543
K. J. Breeding Some Properties of Minimal Threshold
Approximations . . . . . . . . . . . . . 1544--1551
M. Drubin Computation of the Fast Fourier
Transform from Data Stored in External
Auxiliary Memory for Any General Radix
$r = 2^n$, $n \geq 1$ . . . . . . . . . 1552--1558
O. A. Horna Pulse Reflection in Transmission Lines 1558--1563
S. K. Abdali On Proving Sequential Machine Designs 1563--1566
P. Budnik and
D. J. Kuck The Organization and Use of Parallel
Memories . . . . . . . . . . . . . . . . 1566--1569
E. G. Coffman, Jr. and
G. J. Burnett and
R. A. Snowdon On the Performance of Interleaved
Memories with Multiple-Word Bandwidths 1570--1573
B. A. Laws, Jr. and
C. K. Rushforth A Cellular-Array Multiplier for
$\mathrm{GF}(2^m)$ . . . . . . . . . . . 1573--1578
R. Morris Tapered Floating Point: a New
Floating-Point Representation . . . . . 1578--1579
C. C. Foster and
F. D. Stockton Counting Responders in an Associative
Memory . . . . . . . . . . . . . . . . . 1580--1583
J. M. Daniel and
J. D. Irwin Dynamic Resolution of Memory Access
Conflicts . . . . . . . . . . . . . . . 1583--1586
B. J. Shepherd Right Shift for Low-Cost Multiply and
Divide . . . . . . . . . . . . . . . . . 1586--1589
B. P. Sarkar and
E. V. Krishnamurthy Economic Pseudodivision Processes for
Obtaining Square Root, Logarithm, and
Arctan . . . . . . . . . . . . . . . . . 1589--1593
H. A. Glucksman Multicategory Classification of Patterns
Represented by High-Order Vectors of
Multilevel Measurements . . . . . . . . 1593--1598
M. Nadler Error and Reject Rates in a Hierarchical
Pattern Recognizer . . . . . . . . . . . 1598--1601
C. R. Baugh Bounds on the Number of Pseudothreshold
Functions . . . . . . . . . . . . . . . 1602--1605
S. S. Yau and
Y. S. Tang Transformation of an Arbitrary Switching
Function to a Totally Symmetric Function 1606--1609
S. S. Yau and
Y. S. Tang On Identification of Redundancy and
Symmetry of Switching Functions . . . . 1609--1613
J. B. Kruskal Comments on ``A Nonlinear Mapping for
Data Structure Analysis'' . . . . . . . 1614--1614
S. R. Das Comments on ``A New Algorithm for
Generating Prime Implicants'' . . . . . 1614--1615
G. V. Trunk Comments on ``An Algorithm for Finding
Intrinsic Dimensionality of Data'' . . . 1615--1615
K. Fukunaga and
D. R. Olsen Authors' Reply . . . . . . . . . . . . . 1615--1616
S. E. Gelenbe and
N. Rossi Uniform Modular Realizations and Linear
Machines . . . . . . . . . . . . . . . . 1616--1617
J. W. Carl Comments on ``A Simplified Definition of
Walsh Functions'' . . . . . . . . . . . 1617--1617
R. B. Lackey and
D. Meltzer Authors' Reply . . . . . . . . . . . . . 1617--1617
J. C. Majithia and
R. Kitai A Cellular Array for the Nonrestoring
Extraction of Square Roots . . . . . . . 1617--1618
Anonymous Contributors . . . . . . . . . . . . . . 1619--1621
T. R. Bashkow B71-6 System Structure in Data,
Programs, and Computers . . . . . . . . 1622--1622
Anonymous Information for Authors . . . . . . . . 1637--p
Anonymous 1971 Index IEEE Transactions on
Computers Vol. C-20 . . . . . . . . . . 1637--b-1637--f
Anonymous Subject Index . . . . . . . . . . . . . 1637--f-1637--n
Anonymous Abstracts of Current Computer Literature 1623--1637
Anonymous IEEE Transactions on Computers . . . . . c1--1637--q
Robert Mahl Visible Surface Algorithms for Quadric
Patches . . . . . . . . . . . . . . . . 1--4
K. Nakamura and
N. Tokura and
T. Kasami Minimal Negative Gate Networks . . . . . 5--11
Hsiao-Peng Lee and
E. S. Davidson A Transform for NAND Network Design . . 12--20
S. Y. H. Su and
Yun-Chung Cho A New Approach to the Fault Location of
Combinational Circuits . . . . . . . . . 21--30
J. W. Gault and
J. P. Robinson and
S. M. Reddy Multiple Fault Detection in
Combinational Networks . . . . . . . . . 31--36
W. W. Plummer Asynchronous Arbiters . . . . . . . . . 37--42
R. Stefanelli A Suggestion for a High-Speed Parallel
Binary Divider . . . . . . . . . . . . . 42--55
W. L. G. Koontz and
K. Fukunaga A Nonlinear Feature Extraction Algorithm
Using Distance Transformation . . . . . 56--63
M. M. Newborn and
T. F. Arnold Universal Modules for Bounded Signal
Fan-Out Synchronous Sequential Circuits 63--79
M. A. Breuer Generation of Fault Tests for Linear
Logic Networks . . . . . . . . . . . . . 79--83
W. R. Cyre and
G. J. Lipovski On Generating Multipliers for a Cellular
Fast Fourier Transform Processor . . . . 83--87
M. H. Mcdougall A Note on the Interruption of Extended
Core Storage Transfers . . . . . . . . . 87--90
G. I. Opsahl Optimum Logic Modules . . . . . . . . . 90--96
B. Reusch Note on Minimal Congruences on
Transition Graphs . . . . . . . . . . . 96--97
D. Pager Some Notes on Speeding Up Certain Loops
by Software, Firmware, and Hardware
Means . . . . . . . . . . . . . . . . . 97--100
P. Siy and
C. S. Chen Minimization of Fuzzy Functions . . . . 100--102
Z. G. Vranesic and
K. M. Waliuzzaman Functional Transformation in
Simplification of Multivalued Switching
Functions . . . . . . . . . . . . . . . 102--105
Anonymous Contributors . . . . . . . . . . . . . . 105--107
S. Campbell B72-4 System/360 Job Control Language 108--109
T. F. Anderson B72-2 A Compiler Generator . . . . . . . 109--109
M. J. Flynn B72-3 Computer Structures, Readings and
Examples . . . . . . . . . . . . . . . . 109--110
E. C. Joseph B72-4 Expanding Use of Computers in the
70's Technology --- Markets, Needs,
Technology . . . . . . . . . . . . . . . 110--110
Anonymous Abstracts of Current Computer Literature 111--127
Anonymous Information for Authors . . . . . . . . 127--b
Anonymous IEEE Transactions on Computers . . . . . c1--127--c
Anonymous Editor's Notice . . . . . . . . . . . . 129--129
Ronald W. Larsen and
Irving S. Reed Redundancy by Coding Versus Redundancy
by Replication for Failure-Tolerant
Sequential Circuits . . . . . . . . . . 130--137
C. V. Ramamoorthy and
K. M. Chandy and
Mario J. Gonzalez Optimal Scheduling Strategies in a
Multiprocessor System . . . . . . . . . 137--146
Roy L. Russo On the Tradeoff Between Logic
Performance and Circuit-to-Pin Ratio for
LSI . . . . . . . . . . . . . . . . . . 147--153
Charles R. Baugh and
C. S. Chandersekaran and
Richard S. Swee and
Saburo Muroga Optimal Networks of NOR--OR Gates for
Functions of Three Variables . . . . . . 153--160
Masakazu Ejiri and
Takeshi Uno and
Haruo Yoda and
Tatsuo Goto and
Kiyoo Takeyasu A Prototype Intelligent Robot that
Assembles Objects from Plan Drawings . . 161--170
Warren L. G. Koontz and
Keinosuke Fukunaga A Nonparametric Valley-Seeking Technique
for Cluster Analysis . . . . . . . . . . 171--178
Daniel I. Barnea and
Harvey F. Silverman A Class of Algorithms for Fast Digital
Image Registration . . . . . . . . . . . 179--186
Anthony C. Davies On the Definition and Generation of
Walsh Functions . . . . . . . . . . . . 187--189
A. C. L. Chiang and
I. S. Reed and
A. V. Banes Path Sensitization, Partial Boolean
Difference, and Automated Fault
Diagnosis . . . . . . . . . . . . . . . 189--195
G. H. Granlund Fourier Preprocessing for Hand Print
Character Recognition . . . . . . . . . 195--201
A. B. Shahidul Hussain and
Godfried T. Toussaint and
Robert W. Donaldson Results Obtained Using a Simple
Character Recognition Procedure on
Munson's Handprinted Data . . . . . . . 201--205
Godfried T. Toussaint Polynomial Representation of Classifiers
with Independent Discrete-Valued
Features . . . . . . . . . . . . . . . . 205--208
C. Reischer and
D. A. Simovici On the Existence of a Periodic Analog of
a Finite Connected Automaton . . . . . . 208--211
Tadahiro Kitahashi and
Kohkichi Tanaka Orthogonal Expansion of Many-Valued
Logical Functions and its Application to
their Realization with a
Single-Threshold Element . . . . . . . . 211--218
W. G. S. Brown and
E. A. Parrish A Model for Pattern Recognition Systems
with Binary Pattern Vectors . . . . . . 219--219
J. R. Ullmann Transference of Learning Between
Recognition Classes . . . . . . . . . . 219--220
I. White Comment on ``A Nonlinear Mapping for
Data Structure Analysis'' . . . . . . . 220--221
Anonymous Contributors . . . . . . . . . . . . . . 221--223
Anonymous Book Review . . . . . . . . . . . . . . 224--224
Anonymous Abstracts of Current Computer Literature 225--235
Anonymous Descriptor-in-Context Index . . . . . . 236--239
Anonymous Identifier Index . . . . . . . . . . . . 239--240
Anonymous Author Index . . . . . . . . . . . . . . 240--240
Shi-Kuo Chang On the Execution of Fuzzy Programs Using
Finite-State Machines . . . . . . . . . 241--253
Thammavarapu R. N. Rao Error Correction in Adders using
Systematic Subcodes . . . . . . . . . . 254--259
Jack Sklansky and
Robert L. Chazin and
Bruce J. Hansen Minimum-Perimeter Polygons of Digitized
Silhouettes . . . . . . . . . . . . . . 260--268
Charles T. Zahn and
Ralph Z. Roskies Fourier Descriptors for Plane Closed
Curves . . . . . . . . . . . . . . . . . 269--281
Gabriele Saucier State Assignment of Asynchronous
Sequential Machines Using Graph
Techniques . . . . . . . . . . . . . . . 282--288
Nikitas A. Alexandridis and
Allen Klinger Real-Time Walsh--Hadamard Transformation 288--292
K. L. Suryanarayanan and
A. C. Soudack and
S. G. Rao An On-Line Computer Method for Parameter
Tracking of Sampled-Data Systems . . . . 292--299
Marcel J. E. Golay Smoothing of Data by Least Squares
Procedures and by Filtering . . . . . . 299--301
Hudai Dirilten On the Mathematical Models
Characterizing Faulty Four-Phase MOS
Logic Arrays . . . . . . . . . . . . . . 301--305
C. Dennis Weiss Bounds on the Length of Terminal
Stuck-Fault Test . . . . . . . . . . . . 305--309
P. K. Sinha Roy and
C. L. Sheng A Decomposition Method of Determining
Maximum Compatibles . . . . . . . . . . 309--312
Samuel C. Lee and
Edward T. Lee On Multivalued Symmetric Functions . . . 312--317
Min-Wen Du A Way to Find a Lower Bound for the
Minimal Solution of the Covering Problem 317--318
A. B. Shahidul Hussain On the Correctness of Some Sequential
Classification Schemes in Pattern
Recognition . . . . . . . . . . . . . . 318--320
K. S. Fu and
Y. T. Chien and
G. P. Cardillo Authors' Reply . . . . . . . . . . . . . 320--320
Anonymous Contributors . . . . . . . . . . . . . . 321--322
Anonymous Book Review . . . . . . . . . . . . . . 322--322
Anonymous Abstracts of Current Computer Literature 323--331
Anonymous Descriptor-in-Context Index . . . . . . 331--335
Anonymous Identifier Index . . . . . . . . . . . . 335--336
Anonymous Author Index . . . . . . . . . . . . . . 336--336
John S. Sobolewski and
W. H. Payne Pseudonoise with Arbitrary Amplitude
Distribution --- Part I: Theory . . . . 337--345
John S. Sobolewski and
W. H. Payne Pseudonoise with Arbitrary Amplitude
Distribution --- Part II: Hardware
Implementation . . . . . . . . . . . . . 346--352
Teuvo Kohonen Correlation Matrix Memories . . . . . . 353--359
Harold S. Stone Dynamic Memories with Enhanced Data
Access . . . . . . . . . . . . . . . . . 359--366
G. D. Bergland A Parallel Implementation of the Fast
Fourier Transform Algorithm . . . . . . 366--370
Charles A. Harlow and
Clarence L. Coates Feedback in Sequential Machine
Realizations . . . . . . . . . . . . . . 371--381
J. P. Lawrence and
Kenneth Steiglitz Randomized Pattern Search . . . . . . . 382--385
James C. Bassett and
Charles R. Kime Improved Procedures for Determining
Diagnostic Resolution . . . . . . . . . 385--388
Behrooz Parhami Stochastic Automata and the Problems of
Reliability in Sequential Machines . . . 388--391
M. R. Garey Resident-Bubble Cellular Logic Using
Magnetic Domains . . . . . . . . . . . . 392--396
S. K. Das and
D. F. Stanat A Modified Training Procedure for Linear
Threshold Devices . . . . . . . . . . . 396--397
Gabriele Saucier Next-State Equations of Asynchronous
Sequential Machines . . . . . . . . . . 397--399
Melvin A. Breuer A Note on Three-Valued Logic Simulation 399--402
Tsunehiro Aibara and
Michihiro Akagi Enumeration of Ternary Threshold
Functions of Three Variables . . . . . . 402--407
Hsiao P. Lee and
Edward S. Davidson Comments on ``A Minimization Technique
for TANT Networks'' . . . . . . . . . . 407--407
Kyung Shik Koh Author's Reply . . . . . . . . . . . . . 408--408
Godfried T. Toussaint and
Toomas R. Vilmansen Comments on ``Feature Selection with a
Linear Dependence Measure'' . . . . . . 408--408
Subrata K. Das Author's Reply . . . . . . . . . . . . . 409--409
Godfried T. Toussaint Some Inequalities Between Distance
Measures for Feature Evaluation . . . . 409--410
C. Chitti Babu On the Extraction of Pattern Features
from Imperfectly Identified Samples . . 410--411
Anonymous Contributors . . . . . . . . . . . . . . 412--413
Anonymous Book Reviews . . . . . . . . . . . . . . 413--414
Anonymous Abstracts of Current Computer Literature 415--425
Anonymous Descriptor-in-Context Index . . . . . . 426--430
Anonymous Identifier Index . . . . . . . . . . . . 431--432
Anonymous Author Index . . . . . . . . . . . . . . 432--432
R. T. Chien and
Se June Hong Error Correction in High-Speed
Arithmetic . . . . . . . . . . . . . . . 433--438
L. Hellerman A Measure of Computational Work . . . . 439--446
E. G. Mallach Job-Mix Modeling and System Analysis of
an Aerospace Multiprocessor . . . . . . 446--454
H. S. Hou Application of Uniform Loading Theory to
Circuit Packaging and Memory Arrays in
High-Speed Computers . . . . . . . . . . 454--463
D. B. Armstrong A Deductive Method for Simulating Faults
in Logic Circuits . . . . . . . . . . . 464--471
K. Harada Sequential Permutation Networks . . . . 472--479
S. Y. H. Su and
A. A. Sarris The Relationship Between Multivalued
Switching Algebra and Boolean Algebra
Under Different Definitions of
Complement . . . . . . . . . . . . . . . 479--485
P. A. Holst Symbolic Treatment of Certain Selector
Functions . . . . . . . . . . . . . . . 486--488
O. Kolp The Synthesis of Multivalued Cellular
Cascades and the Decomposability of
Group Functions . . . . . . . . . . . . 489--492
D. Mandelbaum On Error Control in Sequential Machines 492--495
C. G. Bell and
J. L. Eggert and
J. Grason and
P. Williams The Description and Use of
Register-Transfer Modules (RTM's)\reg 495--500
H.-D. Ehrich A Note on State Minimization of a
Special Class of Incomplete Sequential
Machines . . . . . . . . . . . . . . . . 500--502
I. Tomescu A Matrix Method for Determining All
Pairs of Compatible States of a
Sequential Machine . . . . . . . . . . . 502--503
S. Ghosh and
S. Bandyopadhyay and
S. K. Mitra and
A. K. Choudhury Simple Methods for the Testing of
$2$-Summability of Boolean Functions and
Isobaricity of Threshold Functions . . . 503--507
W. E. Hansalik A Lower Bound on the Complexity of
Arbitrary Switching Function Realizers 507--510
A. D. Friedman and
P. R. Menon Comments on ``Design of Diagnosable
Iterative Arrays'' . . . . . . . . . . . 511--511
J. C. Majithia Comments on ``A Fast Digital Computer
Method for Recursive Estimation of the
Mean'' . . . . . . . . . . . . . . . . . 511--512
R. Kitai and
K.-H. Siemens Comments on ``A Simplified Definition of
Walsh Functions'' . . . . . . . . . . . 512--512
P. V. Sankar and
S. K. Sen and
E. V. Krishnamurthy Simply Invertible Matrices . . . . . . . 512--513
Z. Shaham and
Z. Riesel A Note on Division Algorithms Based on
Multiplication . . . . . . . . . . . . . 513--514
Anonymous Contributors . . . . . . . . . . . . . . 515--516
E. A. Feustel B72-9 Compiler Construction for Digital
Computers . . . . . . . . . . . . . . . 517--517
E. H. Remy B72-10 PL/I Programming In Technological
Applications . . . . . . . . . . . . . . 517--517
L. L. Kinney B72-11 An Introduction to Switching
System Design . . . . . . . . . . . . . 518--518
Anonymous Abstracts of Current Computer Literature 519--536
Anonymous Information For Authors . . . . . . . . 536--a
Anonymous IEEE Transactions on Computers . . . . . c1--536--b
Anonymous Editor's Notice . . . . . . . . . . . . 537--537
David Mandelbaum Error Correction in Residue Arithmetic 538--545
K. M. Chandy and
C. V. Ramamoorthy Rollback and Recovery Strategies for
Computer Programs . . . . . . . . . . . 546--556
Igal Kohavi and
Zvi Kohavi Detection of Multiple Faults in
Combinational Logic Networks . . . . . . 556--568
Eskil Kjelkerud A Computer Program for the Synthesis of
Switching Circuits by Decomposition . . 568--573
Saburo Muroga and
Toshihide Ibaraki Design of Optimal Switching Networks by
Integer Programming . . . . . . . . . . 573--582
L. J. Ricardi and
M. L. Burrows A Recurrence Technique for Expanding a
Function in Spherical Harmonics . . . . 583--585
Franco P. Preparata Universal Logic Modules of a New Type 585--588
M. R. Garey Simple Binary Identification Problems 588--590
H. Butin A Compact Definition of Walsh Functions 590--592
A. W. Biermann and
J. A. Feldman On the Synthesis of Finite-State
Machines from Samples of Their Behavior 592--597
C. E. Holborow An Improved Bound on the Length of
Checking Experiments for Sequential
Machines with Counter Cycles . . . . . . 597--598
K. Vairavan Minimal Input-Memory and Output-Memory
Finite-State Machines . . . . . . . . . 598--602
Terry L. Dollhoff and
Bernard L. Weinberg A Result on Set Extraction and
Application to Covering-Closure Tables 603--606
H. R. Hwa Contradiction Equations in a $B$ Matrix
of Vertex Weight Method and Their
Correspondence with the $k$-Summability
Property of Vertices . . . . . . . . . . 606--610
Leo Sintonen On the Realization of Functions in
$N$-Valued Logic . . . . . . . . . . . . 610--612
David C. Van Voorhis An Improved Lower Bound for Sorting
Networks . . . . . . . . . . . . . . . . 612--613
Rainer Parchmann The Number of State Assignments for
Sequential Machines . . . . . . . . . . 613--614
Nathan O. Sokal Optimum Choice of Noise Frequency Band
and Sampling Rate for Generating Random
Binary Digits from Clipped White Noise 614--615
Godfried T. Toussaint Comments on ``Theoretical Comparison of
a Class of Feature Selection Criteria in
Pattern Recognition'' . . . . . . . . . 615--616
C. H. Chen Author's Reply . . . . . . . . . . . . . 616--616
George H. Williams and
E. G. Zavisca Comments on ``Sequential Machine
Identification'' . . . . . . . . . . . . 616--616
Anonymous Contributors . . . . . . . . . . . . . . 617--617
Anonymous Book Review . . . . . . . . . . . . . . 618--618
Anonymous Abstracts of Current Computer Literature 619--627
Anonymous Descriptor-in-Context Index . . . . . . 628--630
Anonymous Identifier Index . . . . . . . . . . . . 631--631
Anonymous Author Index . . . . . . . . . . . . . . 632--632
Anonymous Preface . . . . . . . . . . . . . . . . 633--635
W. K. Pratt Generalized Wiener Filtering Computation
Techniques . . . . . . . . . . . . . . . 636--641
L. F. Schaefer and
A. Macovski Encoding and Decoding of Color
Information Using Two-Dimensional
Spatial Filtering . . . . . . . . . . . 642--647
R. L. Sengbush and
M. R. Foster Design and Application of Optimal
Velocity Filters in Seismic Exploration 648--654
R. L. Lillestrand Techniques for Change Detection . . . . 654--659
H. C. Lee and
King-Sun Fu A Stochastic Syntax Analysis Procedure
and Its Application to Pattern
Classification . . . . . . . . . . . . . 660--666
R. N. Sutton and
E. L. Hall Texture Measures for Automatic
Classification of Pulmonary Disease . . 667--676
A. Rosenfeld and
M. Thurston and
Yung-Han Lee Edge and Curve Detection: Further
Experiments . . . . . . . . . . . . . . 677--715
E. A. Smith and
D. R. Phillips Automated Cloud Tracking Using Precisely
Aligned Digital ATS Pictures . . . . . . 715--729
J. M. Davis Velocity Analysis: An Application of
Deterministic Estimation to Reflection
Seismology . . . . . . . . . . . . . . . 730--738
R. W. McCaughern and
D. M. Caughey and
H. Rombeek and
W. S. Davidson A Video Simulation Facility . . . . . . 738--740
R. S. Ledley Analysis of Cells . . . . . . . . . . . 740--753
D. A. Ausherman and
S. J. Dwyer and
G. S. Lodwick Extraction of Connected Edges from Knee
Radiographs . . . . . . . . . . . . . . 753--758
L. Uhr Layered ``Recognition Cone'' Networks
That Preprocess, Classify, and Describe 758--768
D. J. Hall and
R. M. Endlich and
D. E. Wolf and
A. E. Brain Objective Methods for Registering
Landmarks and Determining Cloud Motions
from Satellite Data . . . . . . . . . . 768--776
J. T. Tou and
R. C. Gonzalez Recognition of Handwritten Characters by
Topological Feature Extraction and
Multilevel Categorization . . . . . . . 776--785
J. W. Carl and
C. F. Hall The Application of Filtered Transforms
to the General Classification Problem 785--790
Y. T. Chien and
R. Ribak A New Data Base for Syntax-Directed
Pattern Analysis and Recognition . . . . 790--801
J. O. Eklundh A Fast Computer Method for Matrix
Transposing . . . . . . . . . . . . . . 801--803
J. S. Read and
S. N. Jayaramamurthy Automatic Generation of Texture Feature
Detectors . . . . . . . . . . . . . . . 803--812
R. J. Arguello and
H. R. Sellner and
J. A. Stuller Transfer Function Compensation of
Sampled Imagery . . . . . . . . . . . . 812--818
Anonymous Contributors . . . . . . . . . . . . . . 819--820
Anonymous Abstracts of Current Computer Literature 821--836
Anonymous Information for Authors . . . . . . . . 836--a
Anonymous IEEE Transactions on Computers . . . . . c1--836--b
C. V. Ramamoorthy and
James R. Goodman and
K. H. Kim Some Properties of Iterative
Square-Rooting Methods Using High-Speed
Multiplication . . . . . . . . . . . . . 837--847
Sheldon B. Akers A Rectangular Logic Array . . . . . . . 848--857
Donald R. Schertz and
Gernot Metze A New Representation for Faults in
Combinational Digital Circuits . . . . . 858--866
Harvey A. Freeman and
Gernot Metze Fault-Tolerant Computers Using ``Dotted
Logic'' Redundancy Techniques . . . . . 867--871
John A. Gibson and
Terence W. Marks Fast Hybrid Computer Implementation of
the Dynostat Algorithm . . . . . . . . . 872--880
Thomas G. Hallin and
Michael J. Flynn Pipelining of Arithmetic Functions . . . 880--886
A. A. Kamal and
A. K. El-Sherif Analysis and Compensation of High-Speed
Electronic Analog-Computer Errors . . . 886--891
A. C. L. Chiang and
I. S. Reed Notes on the Arithmetic BN Modulo A
Codes . . . . . . . . . . . . . . . . . 891--894
Donald S. Lynn New Results for Rado's Sigma Function
for Binary Turing Machines . . . . . . . 894--896
R. M. M. Oberman A Flexible Rate Multiplier Circuit with
Uniform Pulse Distribution Outputs . . . 896--899
C. V. Ravi On the Bandwidth and Interference in
Interleaved Memory Systems . . . . . . . 899--901
Theodosios Pavlidis and
Geng Seng Fang A Segmentation Technique for Waveform
Classification . . . . . . . . . . . . . 901--904
Azriel Rosenfeld and
Yung H. Lee A Clustering Heuristic for Line-Drawing
Analysis . . . . . . . . . . . . . . . . 904--911
A. Miczo and
L. D. Rudolph A Relationship Between Output Symbol
Occurrence Rate and Observability of
Autonomous Machines . . . . . . . . . . 911--913
C. L. Sheng and
P. K. Sinha Roy An Approach for the Synthesis of
Multithreshold Threshold Elements . . . 913--920
W. D. Little and
A. C. Capel Digital Multiplexing Analog Signals . . 920--920
S. Bandyopadhyay and
S. Basu and
A. K. Choudhury An Iterative Array for Multiplication of
Signed Binary Numbers . . . . . . . . . 921--922
Anonymous Correction to ``Batch-Fabricated
Three-Dimensional Planar Coaxial
Interconnections for Microelectronic
Systems'' . . . . . . . . . . . . . . . 922--922
Anonymous Contributors . . . . . . . . . . . . . . 922--923
Anonymous Book Reviews . . . . . . . . . . . . . . 924--924
Anonymous Abstracts of Current Computer Literature 925--934
Anonymous Descriptor-in-Context Index . . . . . . 935--938
Anonymous Identifier Index . . . . . . . . . . . . 938--939
Anonymous Author Index . . . . . . . . . . . . . . 939--939
Anonymous Editor's Notice . . . . . . . . . . . . 941--941
Arne Ernbo Application of Intensity-Modulated Ink
Jets to Alphanumeric Printing Devices 942--947
Michael J. Flynn Some Computer Organizations and Their
Effectiveness . . . . . . . . . . . . . 948--960
Yale N. Patt Minimum Search Tree Structures for Data
Partitioned into Pages . . . . . . . . . 961--967
Warren L. G. Koontz and
Keinosuke Fukunaga Asymptotic Analysis of a Nonparametric
Clustering Technique . . . . . . . . . . 967--974
J. Robert Jump and
Dennis R. Fritsche Microprogrammed Arrays . . . . . . . . . 974--984
Mohamed Y. Osman and
C. Dennis Weiss Universal Base Functions and Modules for
Realizing Arbitrary Switching Functions 985--995
Stephen Y. H. Su and
Peter T. Cheung Computer Minimization of Multivalued
Switching Functions . . . . . . . . . . 995--1003
E. J. Beltrami and
J. P. Indusi An Adaptive Random Search Algorithm for
Constrained Minimization . . . . . . . . 1004--1008
Sowmitri Swamy On Generalized Reed--Muller Expansions 1008--1009
Ben Wegbreit A Space-Efficient List Structure Tracing
Algorithm . . . . . . . . . . . . . . . 1009--1010
Otakar A. Horna Nonlinear Termination of Transmission
Lines . . . . . . . . . . . . . . . . . 1011--1015
Vishwani D. Agrawal and
Prathima Agrawal An Automatic Test Generation System for
Illiac IV Logic Boards . . . . . . . . . 1015--1017
A. A. Kamal and
M. A. N. Ghannam High-Speed Multiplication Systems . . . 1017--1021
S. J. Hong and
D. L. Ostapko On Complementation of Boolean Functions 1022--1022
J. C. Majithia Cellular Array for Extraction of Squares
and Square Roots of Binary Numbers . . . 1023--1024
J. C. Majithia A Simple Technique for Determination of
Essential Multiple Output Prime
Implicants . . . . . . . . . . . . . . . 1024--1026
Vladimir J. Rejchrt Signal Flow Graph and a Fortran Program
for Haar--Fourier Transform . . . . . . 1026--1027
Godfried T. Toussaint Comments on ``Error Bounds for a
Contextual Recognition Procedure'' . . . 1027--1027
John T. Chu Author's Reply . . . . . . . . . . . . . 1027--1028
Godfried T. Toussaint Comments on ``A Comparison of Seven
Techniques for Choosing Subsets of
Pattern Recognition Properties'' . . . . 1028--1029
Earl E. Gose and
Anthony N. Mucciardi Authors' Reply . . . . . . . . . . . . . 1029--1029
Toomas R. Vilmansen On Dependence and Discrimination in
Pattern Recognition . . . . . . . . . . 1029--1031
Anonymous Contributors . . . . . . . . . . . . . . 1032--1033
Anonymous Book Reviews . . . . . . . . . . . . . . 1033--1034
Anonymous Abstracts of Current Computer Literature 1035--1044
Anonymous Descriptor-in-Context Index . . . . . . 1045--1049
Anonymous Identifier Index . . . . . . . . . . . . 1050--1050
Anonymous Author Index . . . . . . . . . . . . . . 1051--1051
J. M. Thorington, Jr. and
J. D. Irwin An Adaptive Replacement Algorithm for
Paged-Memory Computer Systems . . . . . 1053--1061
K. M. Chandy and
R. A. Russell The Design or Multipoint Linkages in a
Teleprocessing Tree Network . . . . . . 1062--1066
D. D. Givone and
R. P. Roesser Multidimensional Linear Iterative
Circuits-General Properties . . . . . . 1067--1073
A. Iosupovicz and
Ming-Kuei Hu A Class of Autonomous One-Dimensional
Iterative Arrays of Linear Machines . . 1073--1086
B. D. Carroll and
C. L. Coates, Jr. Minimum Two-Level Threshold Gate
Realizations . . . . . . . . . . . . . . 1086--1098
J. Frackowiak The Synthesis of Minimal Hazardless TANT
Networks . . . . . . . . . . . . . . . . 1099--1108
A. T. Pu On Complete Systems and Finite Automata 1109--1113
N. Thedchanamoorthy and
J. B. Plant A Versatile Multiplying
Digital-to-Analog Converter . . . . . . 1113--1116
S. Bandyopadhyay and
S. Basu and
A. K. Choudhury A Cellular Permuter Array . . . . . . . 1116--1119
H. N. El-Ghoroury and
S. C. Gupta Additive Bernoulli Noise Linear
Sequential Circuits . . . . . . . . . . 1119--1124
J. Drilman and
P. Weiner Modular Networks and Nondeterministic
Sequential Machines . . . . . . . . . . 1124--1129
R. C. Born An Iterative Technique for Determining
the Minimal Number of Variables for a
Totally Symmetric Function with Repeated
Variables . . . . . . . . . . . . . . . 1129--1131
Anonymous Contributors . . . . . . . . . . . . . . 1132--1133
E. M. Rips B72-17 Computer Analysis of Circuits . . 1133--1135
E. C. Joseph B72-18 Computers and Their Uses, 2nd ed. 1135--1135
J. E. Cox B72-19 Future Developments in
Telecommunications . . . . . . . . . . . 1135--1136
H. C. Lucas, Jr. B72-20 Computers in Business --- An
Introduction, 2nd ed. . . . . . . . . . 1136--1136
Anonymous Abstracts of Current Computer Literature 1137--1152
Anonymous Information for Authors . . . . . . . . 1152--a
Anonymous IEEE Transactions on Computers . . . . . c1--1152--b
S. H. Fuller An Optimal Drum Scheduling Algorithm . . 1153--1165
D. Degryse and
B. Guerin A Logarithmic Transcoder . . . . . . . . 1165--1168
C. V. Ramamoorthy and
L. C. Chang System Modeling and Testing Procedures
for Microdiagnostics . . . . . . . . . . 1169--1183
S. M. Reddy Easily Testable Realizations for Logic
Functions . . . . . . . . . . . . . . . 1183--1188
T. Takaoka and
T. Ibaraki $N$-Fail-Safe Sequential Machines . . . 1189--1196
S.-I. Amari Learning Patterns and Pattern Sequences
by Self-Organizing Nets of Threshold
Elements . . . . . . . . . . . . . . . . 1197--1206
G. S. Sidhu and
R. T. Boute Property Encoding: Application in Binary
Picture Encoding and Boundary Following 1206--1216
G. N. Govindan and
R. A. Higgins Convergence of an Identification
Technique for Nonlinear Systems . . . . 1216--1219
B. R. Hunt Minimizing the Computation Time for
Using the Technique of Sectioning for
Digital Filtering of Pictures . . . . . 1219--1222
T. Lange-Nielsen and
G. M. Lance A Pattern Search Algorithm for
Feedback-Control System Parameter
Optimization . . . . . . . . . . . . . . 1222--1227
L. C. Abel On the Ordering of Connections for
Automatic Wire Routing . . . . . . . . . 1227--1233
J. Sklansky and
P. J. Nahin A Parallel Mechanism for Describing
Silhouettes . . . . . . . . . . . . . . 1233--1239
S. R. Das and
N. S. Khabra Clause-Column Table Approach for
Generating All the Prime Implicants of
Switching Functions . . . . . . . . . . 1239--1246
Anonymous Correction to the June 1972 Contributors
Section . . . . . . . . . . . . . . . . 1247--1247
R. Ricco Comments on ``Single-Channel and
Multichannel Finite-State Machines'' . . 1247--1247
Anonymous Contributors . . . . . . . . . . . . . . 1248--1249
C. P. Wang B72-21 Data Structures and Management 1250--1250
D. Swartz B72-22 FORTRAN IV: a Modem Approach . . 1251--1251
E. R. McLean B72-23 Modem Data Processors and Systems 1251--1252
B. L. Deekshatulu B72-24 Adaptation and Learning in
Automatic Systems . . . . . . . . . . . 1252--1252
Anonymous Abstracts of Current Computer Literature 1253--1267
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 1268--1268
Anonymous Information for Authors . . . . . . . . 1268--a
Anonymous IEEE Transactions On Computers . . . . . c1--1268--b
C. M. Rader Discrete Convolutions via Mersenne
Transforms . . . . . . . . . . . . . . . 1269--1273
Chung-Kwong Yuen Upper Bounds on Walsh Transforms . . . . 1273--1280
D. K. Banerji and
J. A. Brzozowski On Translation Algorithms in Residue
Number Systems . . . . . . . . . . . . . 1281--1285
G. K. Papakonstantinou A Synthesis Method for Cutpoint Cellular
Arrays . . . . . . . . . . . . . . . . . 1286--1292
D. J. Kuck and
Y. Muraoka and
Shyh-Ching Chen On the Number of Operations
Simultaneously Executable in
FORTRAN-Like Programs and Their
Resulting Speedup . . . . . . . . . . . 1293--1310
M. J. Gonzalez, Jr. and
C. V. Ramamoorthy Parallel Task Execution in a
Decentralized System . . . . . . . . . . 1310--1322
Se June Hong and
A. M. Patel A General Class of Maximal Codes for
Computer Applications . . . . . . . . . 1322--1331
D. K. Pradhan and
S. M. Reddy Error-Control Techniques for Logic
Processors . . . . . . . . . . . . . . . 1331--1336
G. W. Beakley and
F. B. Tuteur Distribution-Free Pattern Verification
Using Statistically Equivalent Blocks 1337--1347
L. R. Goke and
K. L. Doty Design of a Random-Pulse Computer for
Classifying Binary Patterns . . . . . . 1347--1354
J. Sklansky Measuring Concavity on a Rectangular
Mosaic . . . . . . . . . . . . . . . . . 1355--1364
J. R. Story and
H. J. Harrison and
E. A. Reinhard Optimum State Assignment for Synchronous
Sequential Circuits . . . . . . . . . . 1365--1373
C. R. Baugh Generation of Representative Functions
of the NPN Equivalence Classes of Unate
Boolean Functions . . . . . . . . . . . 1373--1379
W. H. Carter and
V. D. Brown A Signal-Dependent Error Arising in
Digitally Processed Images Due to
Quantization . . . . . . . . . . . . . . 1380--1385
J. P. Chinal Some Comments on Postcorrections for
Nonrestoring Division . . . . . . . . . 1385--1394
Ming-Kuei Hu and
A. Iosupovicz Analysis of the Terminal Behavior of
Some Classes of Iterative Arrays of
Linear Machines . . . . . . . . . . . . 1394--1399
S. C. Hu Cellular Synthesis of Synchronous
Sequential Machines . . . . . . . . . . 1399--1405
E. M. Riseman and
C. C. Foster The Inhibition of Potential Parallelism
by Conditional Jumps . . . . . . . . . . 1405--1411
C. C. Foster and
E. M. Riseman Percolation of Code to Enhance Parallel
Dispatching and Execution . . . . . . . 1411--1415
D. Marino New Algorithms for the Approximate
Evaluation in Hardware of Binary
Logarithms and Elementary Functions . . 1416--1421
S. M. Reddy A Design Procedure for Fault-Locatable
Switching Circuits . . . . . . . . . . . 1421--1426
R. C. Dorr Self-Checking Combinational Logic Binary
Counters . . . . . . . . . . . . . . . . 1426--1430
K. Preston, Jr. and
J. R. Carvalko On Determining Optimum Simple Golay
Marking Transformations for Binary Image
Processing . . . . . . . . . . . . . . . 1430--1433
A. Som and
A. K. Nath On a Method of Sequential Pattern
Recognition . . . . . . . . . . . . . . 1433--1440
Joonki Kim and
M. M. Newborn The Simplification of Sequential
Machines with Input Restrictions . . . . 1440--1443
G. K. Maki and
D. H. Sawin III and
B.-R. A. Jeng Improved State Assignment Selection
Tests . . . . . . . . . . . . . . . . . 1443--1449
V. Bubenik Weighting Method for the Determination
of the Irredundant Set of Prime
Implicants . . . . . . . . . . . . . . . 1449--1451
Le Dinh Chon Tam and
R. Y. Goulet On Arithmetical Shift for Walsh
Functions . . . . . . . . . . . . . . . 1451--1452
R. De Mori and
A. Serra A Parallel Structure for Signed-Number
Multiplication and Addition . . . . . . 1453--1454
Anonymous Contributors . . . . . . . . . . . . . . 1455--1457
D. W. Cooper B72-25 Artificial Intelligence: The
Heuristic Programming Approach . . . . . 1458--1458
I. Flores B72-26 Computer Organization and the
System/370 . . . . . . . . . . . . . . . 1458--1459
U. O. Gagliardi B72-27 The Fourth Generation . . . . . . 1459--1459
Anonymous Applications are Invited for IEEE/Popov
Society Exchange Delegates . . . . . . . 1475--a
Anonymous Expanded Computing Reviews Now Available
to IEEE Computer Society Members . . . . 1475--p
Anonymous Information for Authors . . . . . . . . 1475--r
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 1475--q
Anonymous 1972 Index IEEE Transactions on
Computers Vol. C-21 . . . . . . . . . . 1475--b-1475--o
Anonymous Abstracts of Current Computer Literature 1460--1475
Anonymous IEEE Transactions on Computers . . . . . c1--1475--s
Anonymous A Change in Editorial Policy for
Transactions Papers and Abstracts . . . 1--1
K. Maruyama On the Parallel Evaluation of
Polynomials . . . . . . . . . . . . . . 2--5
S. S.-S. Yau and
Yu-Cheng Liu Error Correction in Redundant Residue
Number Systems . . . . . . . . . . . . . 5--11
M. L. Dertouzos Time Bounds on Space Computations . . . 12--17
Shi-Kuo Chang and
C. K. Chow The Reconstruction of Three-Dimensional
Objects from Two Orthogonal Projections
and its Application to Cardiac
Cineangiography . . . . . . . . . . . . 18--28
Thomas J. Wright A Two-Space Solution to the Hidden Line
Problem for Plotting Functions of Two
Variables . . . . . . . . . . . . . . . 28--33
Shi-Kuo Chang The Computation of Window Operations on
a Parallel Organized Computer --- a Case
Study . . . . . . . . . . . . . . . . . 34--40
D. Sh. Dawoud and
N. Z. El-Araby Parallel Digital Differential Analyzer
with Arbitrary Stored Interconnections 41--46
M. J. Y. Williams and
J. B. Angell Enhancing Testability of Large-Scale
Integrated Circuits via Test Points and
Additional Logic . . . . . . . . . . . . 46--60
E. C. Tacker and
T. D. Linton Digital and Hybrid Computational Aspects
of the Discrete Representation Theorem
of Nonlinear Estimation . . . . . . . . 61--67
M. A. Fischler and
R. A. Elschlager The Representation and Matching of
Pictorial Structures . . . . . . . . . . 67--92
W. S. Meisel and
D. A. Michalopoulos A Partitioning Algorithm with
Application in Pattern Classification
and the Optimization of Decision Trees 93--103
S. L. Hight Complex Disjunctive Decomposition of
Incompletely Specified Boolean Functions 103--110
J. W. Carl and
C. F. Hall Comments on ``The Application of
Filtered Transforms to the General
Classification Problem'' . . . . . . . . 111--111
Chung-Kwong Yuen The Printing of Octal Numerals . . . . . 111--111
L. D. Fosdick B73-2 Approximate Calculation of
Multiple Integrals . . . . . . . . . . . 112--112
K. F. Siler B73-1 An Introduction to Cobol
Programming . . . . . . . . . . . . . . 112--112
Anonymous Information for Authors . . . . . . . . 112--a
S. Singh and
R. Waxman Multiple Operand Addition and
Multiplication . . . . . . . . . . . . . 113--120
P. V. Sankar and
S. Chakrabarti and
E. V. Krishnamurthy Arithmetic Algorithms in a Negative Base 120--125
P. V. Sankar and
S. Chakrabarti and
E. V. Krishnamurthy Deterministic Division Algorithm in a
Negative Base . . . . . . . . . . . . . 125--128
N. H. Kreitzer and
W. J. Fitzgerald A Video Display System for Image
Processing by Computer . . . . . . . . . 128--134
E. Kinoshita and
H. Kosako and
Y. Kojima General Division in the Symmetric
Residue Number System . . . . . . . . . 134--142
J. M. Kurtzberg and
R. D. Villani A Balanced Pipelining Approach to
Multiprocessing on an Instruction Stream
Level . . . . . . . . . . . . . . . . . 143--148
J. L. Rosenfeld and
R. D. Villani Micromultiprocessing: An Approach to
Multiprocessing at the Level of Very
Small Tasks . . . . . . . . . . . . . . 149--153
A. B. Kaufman An Expandable Ferroelectric Random
Access Memory . . . . . . . . . . . . . 154--158
D. E. Farmer Algorithms for Designing Fault-Detection
Experiments for Sequential Machines . . 159--167
S. L. Hight and
D. P. Petersen Dissent in a Majority Voting System . . 168--171
M. Cappa and
V. C. Hamacher An Augmented Iterative Array for
High-Speed Binary Division . . . . . . . 172--175
D. T. Tang and
C. N. Liu Distance-$2$ Cyclic Chaining of
Constant-Weight Codes . . . . . . . . . 176--180
H. A. Curtis Tan-Like State Assignments for
Synchronous Sequential Machines . . . . 181--187
S. R. Das On a New Approach for Finding All the
Modified Cut-Sets in an Incompatibility
Graph . . . . . . . . . . . . . . . . . 187--193
K. H. O'Keefe Modularity in Design: Skit Registers and
Counters Used as System Building Blocks 194--197
D. Hampel MultiFunction Threshold Gates . . . . . 197--203
S. Ghosh and
A. K. Choudhury Partition of Boolean Functions for
Realization with Multithreshold
Threshold Logic Elements . . . . . . . . 204--215
P. K. Gupta and
D. L. Dietmeyer Fast State Minimization of Incompletely
Specified Sequential Machines . . . . . 215--217
A. Kandel Comments on ``Minimization of Fuzzy
Functions'' . . . . . . . . . . . . . . 217--217
G. K. Maki and
D. H. Sawin III Comments on ``Next-State Equations of
Asynchronous Sequential Machines'' . . . 218--218
I. Tomescu A Combinatorial Algorithm for Solving
Covering Problems . . . . . . . . . . . 218--220
J. Uhrig B73-3 Dynamic Programming and Partial
Differential Equations . . . . . . . . . 221--221
P. J. Plauger B73-4 High Level Languages ---
International Computer State of the Art
Report . . . . . . . . . . . . . . . . . 221--222
Anonymous Expanded Computing Reviews Now Available
to IEEE Computer Society Members . . . . 222--b
Anonymous Information for Authors . . . . . . . . 222--c
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 222--a
W. C. Carter Fault-Tolerant Computing: An
Introduction and a Viewpoint . . . . . . 225--229
F. W. Clegg Use of SPOOF's in the Analysis of Faulty
Logic Networks . . . . . . . . . . . . . 229--234
Min-Wen Du and
C. Dennis Weiss Multiple Fault Detection in
Combinational Circuits: Algorithms and
Computational Results . . . . . . . . . 235--240
M. A. Breuer Testing for Intermittent Faults in
Digital Circuits . . . . . . . . . . . . 241--246
H. Hecht Figure of Merit for Fault-Tolerant Space
Computers . . . . . . . . . . . . . . . 246--251
T. F. Arnold The Concept of Coverage and Its Effect
on the Reliability Model of a Repairable
System . . . . . . . . . . . . . . . . . 251--254
R. W. Cook and
W. H. Sisson and
T. F. Storey and
W. N. Toy Design of a Self-Checking Microprogram
Control . . . . . . . . . . . . . . . . 255--262
D. A. Anderson and
G. Metze Design of Totally Self-Checking Check
Circuits for $m$-Out-of-$n$ Codes . . . 263--269
W. G. Bouricius and
W. C. Carter and
E. P. Hsieh and
D. C. Jessep, Jr. and
A. B. Wadia Modeling of a Bubble-Memory Organization
with Self-Checking Translators to
Achieve High Reliability . . . . . . . . 269--275
D. P. Siewiorek and
E. J. McCluskey Switch Complexity in Systems with Hybrid
Redundancy . . . . . . . . . . . . . . . 276--282
W. C. Carter and
K. A. Duke and
D. C. Jessep, Jr. Lookaside Techniques for Minimum Circuit
Memory Translators . . . . . . . . . . . 283--289
D. P. Siewiorek and
E. J. McCluskey An Iterative Cell Switch Design for
Hybrid Redundancy . . . . . . . . . . . 290--297
M. Y. Osman and
C. D. Weiss Shared Logic Realizations of Dynamically
Self-Checked and Fault-Tolerant Logic 298--306
F. Barsi and
P. Maestrini Error Correcting Properties of Redundant
Residue Number Systems . . . . . . . . . 307--315
Anonymous Information for Authors . . . . . . . . 315--b
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 315--a
E. E. Swartzlander, Jr. The Quasi-Serial Multiplier . . . . . . 317--321
M. P. Ekstrom A Numerical Algorithm for Identifying
Spread Functions of Shift-Invariant
Imaging Systems . . . . . . . . . . . . 322--328
S. Zohar New Hardware Realizations of
Nonrecursive Digital Filters . . . . . . 328--338
S. Zohar The Counting Recursive Digital Filter 338--347
A. Maruoka and
N. Honda Logical Networks of Flexible Cells . . . 347--358
P. G. Dowd and
D. J. Ladd and
G. W. R. Luderer and
P. E. Rosenfeld and
R. L. Salmon Stare 2 --- a Graphical Hard-Copy System 359--367
W. D. Little Serial Hybrid Computation and Errors in
Hybrid Loops . . . . . . . . . . . . . . 367--370
A. K. Griffith Edge Detection in Simple Scenes Using a
Priori Information . . . . . . . . . . . 371--381
T. R. Vilmansen Feature Evaluation with Measures of
Probabilistic Dependence . . . . . . . . 381--388
A. E. Durling and
T. E. Bullock A Unified Method for the Reconstruction
of Sampled Data . . . . . . . . . . . . 388--396
A. D. Friedman and
P. R. Menon Restricted Checking Sequences for
Sequential Machines . . . . . . . . . . 397--399
H. F. Jordan and
D. C. M. Wood On the Distribution of Sums of
Successive Bits of Shift-Register
Sequences . . . . . . . . . . . . . . . 400--408
A. Thayse and
M. Davio Boolean Differential Calculus and its
Application to Switching Theory . . . . 409--420
T. J. Chaney and
C. E. Molnar Anomalous Behavior of Synchronizer and
Arbiter Circuits . . . . . . . . . . . . 421--422
G. Epstein An Equational Axiomatization for the
Disjoint System of Post Algebras . . . . 422--423
J. C. Majithia A Cellular Array for Binary to BCD
Conversion . . . . . . . . . . . . . . . 423--424
E. G. Mallach On the Use of ``Importance Weights'' in
Assessing Subsystem Reliability . . . . 424--425
G. R. Redinbo Bounds On the Sequency Content of the
Circular Functions . . . . . . . . . . . 426--427
M. B. Scherba and
R. P. Roesser Computation of the Transition Matrix of
a Linear Sequential Circuit . . . . . . 427--428
Anonymous Correction to a January 1973 Contributor
Entry . . . . . . . . . . . . . . . . . 428--428
K. J. Breeding B73-5 Computer-Oriented Approaches to
Pattern Recognition . . . . . . . . . . 429--429
L. C. Hobbs B73-6 Computing Terminals: International
Computer State of the Art Report . . . . 429--430
A. C. Roochvarg B73-7 Theory of Machines and
Computations . . . . . . . . . . . . . . 430--430
B. W. Kernighan B73-8 Systems Programming . . . . . . . 430--431
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 432--432
Anonymous Information for Authors . . . . . . . . 432--a
Anonymous IEEE Transactions on Computers . . . . . c1--432--b
S. Zohar Fast Hardware Fourier Transformation
Through Counting . . . . . . . . . . . . 433--441
T. L. Booth and
R. A. Thompson Applying Probability Measures to
Abstract Languages . . . . . . . . . . . 442--450
B. Dahlberg On Symmetric Functions with Redundant
Variables-Weighted Functions . . . . . . 450--458
B. E. Briley Some New Results on Average Worst Case
Carry . . . . . . . . . . . . . . . . . 459--463
J. R. Armstrong Design of a Graphic Generator for Remote
Terminal Application . . . . . . . . . . 464--468
T. C. Lowe Analysis of an Information System Model
with Transfer Penalties . . . . . . . . 469--480
C. K. Wong and
P. C. Yue The Anticipatory Control of a Cyclically
Permutable Memory . . . . . . . . . . . 481--488
H. Y.-P. Chang and
R. C. Dorr and
D. J. Senese The Design of a Microprogrammed
Self-Checking Processor of an Electronic
Switching System . . . . . . . . . . . . 489--500
H. Y. P. Chang and
G. W. Heimbigner and
D. J. Senese and
T. L. Smith Maintenance Techniques of a
Microprogrammed Self-Checking Control
Complex of an Electronic Switching
System . . . . . . . . . . . . . . . . . 501--512
M. R. Paige Synthesis of Diagnosable FET Networks 513--516
J. R. Rowland and
W. M. Holmes Dynamic Programming for the Partitioning
of Numerical Simulations with Hybrid
Computer Applications . . . . . . . . . 516--523
J. G. Bredeson and
P. T. Hulina Synthesis of Multiple-Input Change
Asynchronous Circuits Using
Transition-Sensitive Flip-Flops . . . . 524--531
R. Brent and
D. Kuck and
K. Maruyama The Parallel Evaluation of Arithmetic
Expressions Without Division . . . . . . 532--534
A. Gabrielian and
S. Ginsburg Structured Storage AFA . . . . . . . . . 534--537
I. E. Sutherland and
D. Oestreicher How Big Should a Printed Circuit Board
Be? . . . . . . . . . . . . . . . . . . 537--542
U. Schumann Comments on ``A Fast Computer Method for
Matrix Transposing'' and Application to
the Solution of Poisson's Equation . . . 542--543
J. O. Eklundh Author's Reply . . . . . . . . . . . . . 543--544
C. K. Yuen On the Twiddling Factors . . . . . . . . 544--545
C. V. Ramamoorthy B73-9 Introduction to Computer
Organization and Data Structures . . . . 545--546
E. Gelenbe B73-10 Time Sharing Systems . . . . . . 546--546
M. Faiman B73-11 Digital Circuits and Devices . . 546--547
S. Y. H. Su B73-12 Fault Detection in Digital
Circuits . . . . . . . . . . . . . . . . 547--547
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 548--548
Anonymous Information for Authors . . . . . . . . 548--a
Anonymous IEEE Transactions on Computers . . . . . c1--548--b
David E. Atkins, III and
Harvey L. Garner Preface: Computer Arithmetic: An
Introduction and Overview [Second IEEE
Symposium on Computer Arithmetic, May
15--16, 1972, University of Maryland] 549--551
Philip M. Spira Computation Times of Arithmetic and
Boolean functions in $(d, r)$ circuits 552--555
James E. Robertson and
Kishor S. Trivedi The status of investigations into
computer hardware design based on the
use of continued fractions . . . . . . . 555--560
Milo\vs D. Ercegovac Radix-$16$ Evaluation of Certain
Elementary Functions . . . . . . . . . . 561--566
Algirdas Avi\vzienis Arithmetic Algorithms for Error-Coded
Operands . . . . . . . . . . . . . . . . 567--572
Nicholas C. Metropolis Analyzed Binary Computing . . . . . . . 573--576
J. Michael Yohe Roundings in Floating-Point Arithmetic 577--586
John D. Marasa and
David W. Matula A Simulative Study of Correlated Error
Propagation in Various Finite-Precision
Arithmetics . . . . . . . . . . . . . . 587--597
William J. Cody, Jr. Static and Dynamic Numerical
Characteristics of Floating-Point
Arithmetic . . . . . . . . . . . . . . . 598--601
Richard P. Brent On the Precision Attainable with Various
Floating-Point Number Systems . . . . . 601--607
David H. Jacobsohn A Combinatoric Division Algorithm for
Fixed-Integer Divisors . . . . . . . . . 608--610
Erol Gelenbe A Unified Approach to the Evaluation of
a Class of Replacement Algorithms . . . 611--618
Min-Wen Du and
C. Dennis Weiss Circuit Structure and Switching Function
Verification . . . . . . . . . . . . . . 618--625
Dhirubhai V. Kanani and
Kenneth H. O'Keefe A Note on Conditional-Sum Addition for
Base $-2$ Systems . . . . . . . . . . . 626--626
P. K. Sinha Roy and
C. L. Sheng Authors' Reply . . . . . . . . . . . . . 627--627
P. K. Sinha Roy and
C. L. Sheng Author's Reply to Comments on
``Decomposition Method of Determining
Maximum Compatibles'' . . . . . . . . . 627--627
Sureshchander Comments on ``Decomposition Method of
Determining Maximum Compatibles'' . . . 627--627
Anonymous Book Reviews . . . . . . . . . . . . . . 628--628
Dimitris G. Maritsas A High Speed and Accuracy Digital
Gaussian Generator of Pseudorandom
Numbers . . . . . . . . . . . . . . . . 629--634
A. K. Dewdney and
A. L. Szilard Tours in Machines and Digraphs . . . . . 635--639
H. R. Ramanujam Decomposition of Permutation Networks 639--643
Edward A. Feustel On The Advantages of Tagged Architecture 644--656
Ramaswami Dandapani Derivation of Minimal Test Sets for
Monotonic Logic Circuits . . . . . . . . 657--661
Dhiraj K. Pradhan and
Sudhakar M. Reddy Fault-Tolerant Asynchronous Networks . . 662--669
Joseph W. Carl and
Richard V. Swartwood A Hybrid Walsh Transform Computer . . . 669--672
Donald D. Givone and
Robert P. Roesser Minimization of Multidimensional Linear
Iterative Circuits . . . . . . . . . . . 673--678
Charles A. Harlow and
Sharon A. Eisenbeis The Analysis of Radiographic Images . . 678--689
Theodosios Pavlidis Waveform Segmentation Through Functional
Approximation . . . . . . . . . . . . . 689--697
Shalhav Zohar A/D Conversion for Radix ($-2$) . . . . 698--701
Teuvo Kohonen and
Matti Ruohonen Representation of Associated Data by
Matrix Operators . . . . . . . . . . . . 701--702
J. W. J. Van Till Comments on ``On the Definition and
Generation of Walsh Functions'' . . . . 702--703
Charles M. Rader Correction to ``Discrete Convolutions
via Mersenne Transforms'' . . . . . . . 703--703
Anonymous Book Reviews . . . . . . . . . . . . . . 704--708
Anonymous Parallel Computation: An Introduction 709--710
Raymond E. Miller A Comparison of Some Theoretical Models
of Parallel Computation . . . . . . . . 710--717
Jerre D. Noe and
Gary J. Nutt Macro E-Nets for Representation of
Parallel Systems . . . . . . . . . . . . 718--727
James C. Browne and
K. M. Chandy and
John Hogarth and
Chester C.-A. Lee The Effect on Throughput of
Multiprocessing in a Multiprogramming
Environment . . . . . . . . . . . . . . 728--735
Renaud C. Regis Multiserver Queueing Models of
Multiprocessing Systems . . . . . . . . 736--745
Eduardo B. Fernandez and
Bertram Bussell Bounds on the Number of Processors and
Time for Multiprocessor Optimal
Schedules . . . . . . . . . . . . . . . 745--751
Garold S. Tjaden and
Michael J. Flynn Representation of Concurrency with
Ordering Matrices . . . . . . . . . . . 752--761
Irving T. Ho and
Tien Chi Chen Multiple Addition by Residue Threshold
Functions and Their Representation by
Array Logic . . . . . . . . . . . . . . 762--767
David W. Digby A Search Memory for Many-to-Many
Comparisons . . . . . . . . . . . . . . 768--772
H. Robert Downs Real-Time Algorithms and Data Management
on Illiac IV . . . . . . . . . . . . . . 773--777
Robert E. Larson and
Edison Tse Parallel Processing Algorithms for the
Optimal Control of Nonlinear Dynamic
Systems . . . . . . . . . . . . . . . . 777--786
Peter M. Kogge and
Harold S. Stone A Parallel Algorithm for the Efficient
Solution of a General Class of
Recurrence Equations . . . . . . . . . . 786--793
Billy L. Buzbee A Fast Poisson Solver Amenable to
Parallel Computation . . . . . . . . . . 793--796
H. Allen Curtis A New Type Double-Rank Sequential
Machine . . . . . . . . . . . . . . . . 796--803
N. S. Khabra and
S. R. Das Multiform Partial Symmetry and Linearity 804--804
B. R. Hunt The Application of Constrained Least
Squares Estimation to Image Restoration
by Digital Computer . . . . . . . . . . 805--812
S. N. Kukreja and
I-Ngo Chen Combinational and Sequential Cellular
Structures . . . . . . . . . . . . . . . 813--823
Robert W. Cook and
Michael J. Flynn Logical Network Cost and Entropy . . . . 823--826
Abraham Kandel On Minimization of Fuzzy Functions . . . 826--832
Kenneth H. O'Keefe and
John L. Wright Remarks on Base Extension for Modular
Arithmetic . . . . . . . . . . . . . . . 833--835
Sheldon B. Akers Universal Test Sets for Logic Networks 835--839
Robert T. Chien and
Edward A. Mark On Performance Analysis of Retrieval
Functions . . . . . . . . . . . . . . . 840--844
S. R. Das and
D. K. Banerji and
A. Chattopadhyay On Control Memory Minimization in
Microprogrammed Digital Computers . . . 845--848
Antonin Svoboda Parallel Processing in Boolean Algebra 848--851
David P. Casasent A Hybrid Digital/Optical Computer System 852--858
Chin-Liang Chang Pattern Recognition by Piecewise Linear
Discriminant Functions . . . . . . . . . 859--862
Nripendra N. Biswas Comments on ``Identification of Totally
Symmetric Boolean Functions'' . . . . . 863--864
George Epstein Comments on ``The Relationship Between
Multivalued Switching Algebra and
Boolean Algebra Under Different
Definitions of Complement'' . . . . . . 864--864
Sadashiva S. Godbole On Efficient Computation of Matrix Chain
Products . . . . . . . . . . . . . . . . 864--866
Joseph C. Hassab A Simply Solvable Class of Simultaneous
Linear Equations . . . . . . . . . . . . 866--867
Sung C. Hu Boundary Conditions for Iteratively
Realized Sequential Circuits . . . . . . 867--868
Thomas A. Kriz Some Binary Output Sequence Properties
of Deterministic Autonomous Finite-State
Machines with Probabilistic
Initialization . . . . . . . . . . . . . 868--869
Thomas G. Newman and
Hudai Dirilten A Nonlinear Transformation for Digital
Picture Processing . . . . . . . . . . . 869--873
Philip S. Noe Remarks on the SHR-Optimal State
Assignment Procedure . . . . . . . . . . 873--875
Azriel Rosenfeld and
Emily Johnston Angle Detection on Digital Curves . . . 875--878
Robert H. Wyman Loading of Decoder Drivers . . . . . . . 878--879
Anonymous Book Reviews . . . . . . . . . . . . . . 879--884
R. M.-M. Chen New Matrix Inversion Algorithms Based on
Exchange Method . . . . . . . . . . . . 885--890
R. S. Kashef and
R. B. McGhee Augmented Parity Check Codes for
Encoding of Asynchronous Sequential
Machines . . . . . . . . . . . . . . . . 891--896
J. T. Butler and
K. J. Breeding Some Characteristics of Universal Cell
Nets . . . . . . . . . . . . . . . . . . 897--903
Y. N. Patt Optimal and Near-Optimal Universal Logic
Modules with Interconnected External
Terminals . . . . . . . . . . . . . . . 903--907
I. Berger and
Z. Kohavi Fault Detection in Fanout-Free
Combinational Networks . . . . . . . . . 908--914
D. R. Olsen and
K. Fukunaga Representation of Nonlinear Data
Surfaces . . . . . . . . . . . . . . . . 915--922
Kai Hwang Periodic Realization of Synchronous
Sequential Machines . . . . . . . . . . 923--927
G. Mago Monotone Functions in Sequential
Circuits . . . . . . . . . . . . . . . . 928--933
W. D. Roome and
H. C. Toorng Algorithms for Multiple Shift Register
Realizations of Sequential Machines . . 933--943
E. J. Van Lantschoot Double Adjacencies Between Cycles of a
Circulating Shift Register . . . . . . . 944--955
A. Kandel Note on Hazard Elimination . . . . . . . 955--956
H. Y. L. Mar and
C. L. Sheng Fast Hadamard Transform Using the $H$
Diagram . . . . . . . . . . . . . . . . 957--960
D. G. Maritsaa On the Statistical Properties of a Class
of Linear Product Feedback
Shift-Register Sequences . . . . . . . . 961--962
D. G. Maritsas The Autocorrelation Function of the Two
Feedback Shift-Register Pseudorandom
Source . . . . . . . . . . . . . . . . . 962--964
Anonymous Information for Authors . . . . . . . . 964--a
Anonymous Editor's Notice . . . . . . . . . . . . 965--965
E. Wasserstorm and
A. Kirszenblat Analog Solutions of Nonlinear
Boundary-Value Problems by the
Continuation Method . . . . . . . . . . 966--970
R. J. Polge and
R. D. Hays Numerical Technique for the Convolution
of Piecewise Polynomial Functions . . . 970--975
R. G. Barr and
J. A. Becker and
W. P. Lidinsky and
V. V. Tantillo A Research-Oriented Dynamic
Microprocessor . . . . . . . . . . . . . 976--985
C. V. Ramamoorthy and
J. H. Park and
H. F. Li Compilation Techniques for Recognition
of Parallel Processable Tasks in
Arithmetic Expressions . . . . . . . . . 986--998
J. E. Juliussen and
F. J. Mowle Multiple Microprocessors with Common
Main and Control Memories . . . . . . . 999--1007
Kilin To Fault Folding for Irredundant and
Redundant Combinational Circuits . . . . 1008--1015
S. M. Reddy Complete Test Sets for Logic Functions 1016--1020
E. E. Swartzlander, Jr. Parallel Counters . . . . . . . . . . . 1021--1024
R. A. Jarvis and
E. A. Patrick Clustering Using a Similarity Measure
Based on Shared Near Neighbors . . . . . 1025--1034
H. D. Huskey The Polish Assembler . . . . . . . . . . 1035--1040
M. Servit Hazard Correction in Asynchronous
Sequential Circuits Using Inertial Delay
Elements . . . . . . . . . . . . . . . . 1041--1042
M. E. Gravitz A Note on a Modified Ternary Simulator
Capable of Initializing All Fault
Machine Memory Elements . . . . . . . . 1042--1044
Anonymous Information for Authors . . . . . . . . 1044--a
Anonymous Peripherals . . . . . . . . . . . . . . 1044--b
C. R. Baugh and
B. A. Wooley A Two's Complement Parallel Array
Multiplication Algorithm . . . . . . . . 1045--1047
M. A. Harrison On the Number of Classes of Binary
Matrices . . . . . . . . . . . . . . . . 1048--1052
B. W. Jordan, Jr. and
W. J. Lennon and
B. D. Holm An Improved Algorithm for the Generation
of Nonparametric Curves . . . . . . . . 1052--1060
A. D. Friedman Easily Testable Iterative Systems . . . 1061--1064
R. E. Warmack and
R. C. Gonzalez An Algorithm for the Optimal Solution of
Linear Inequalities and its Application
to Pattern Recognition . . . . . . . . . 1065--1075
B. Kruse A Parallel Picture Processing Machine 1075--1087
King-Sun Fu and
B. K. Bhargava Tree Systems for Syntactic Pattern
Recognition . . . . . . . . . . . . . . 1087--1099
C. P. Pfleeger State Reduction in Incompletely
Specified Finite-State Machines . . . . 1099--1102
H. Y. H. Chuang and
S. Das Synthesis of Multiple-Input Change
Asynchronous Machines Using Controlled
Excitation and Flip-Flops . . . . . . . 1103--1109
Chao-Chih Yang Closure Partition Method for Minimizing
Incomplete Sequential Machines . . . . . 1109--1122
H. T. Hao and
M. M. Newborn A Study of Trigger Machines . . . . . . 1123--1131
L. T. Fisher and
D. W. Dearholt Boundary Points of Threshold Functions 1132--1139
D. D. Givone and
R. P. Roesser Authors' Reply . . . . . . . . . . . . . 1140--1140
B. Vilfan Another Proof of the Two-Dimensional
Cayley--Hamilton Theorem . . . . . . . . 1140--1140
K. J. Thurber and
P. C. Patton The Future of Parallel Processing . . . 1140--1143
T. R. Bashkow Comment on Review of Operating Systems
Survey . . . . . . . . . . . . . . . . . 1143--1143
Anonymous Information for Authors . . . . . . . . 1144--m
Anonymous 1973 Index IEEE Transactions on
Computers Vol. C-22 . . . . . . . . . . 1144--a-1144--l
Anonymous Peripherals . . . . . . . . . . . . . . 1144--n
Anonymous Reply by M. James Errico . . . . . . . . 1143--1144
R. J. Polge and
B. K. Bhagavan and
J. M. Carswell Fast Computational Algorithms for Bit
Reversal . . . . . . . . . . . . . . . . 1--9
Eisuke Kinoshita and
Hideo Kosako and
Yoshiaki Kojima Floating-Point Arithmetic Algorithms in
the Symmetric Residue Number System . . 9--20
R. M. Keller Towards a Theory of Universal
Speed-Independent Modules . . . . . . . 21--33
W. E. Robbins and
L. D. Rudolph On Two-Level Exclusive-or Majority
Networks . . . . . . . . . . . . . . . . 34--41
D. K. Pradhan and
S. M. Reddy Design of Two-Level Fault-Tolerant
Networks . . . . . . . . . . . . . . . . 41--48
G. Fantauzzi and
A. Marsella Multiple-Fault Detection and Location in
Fan-Out Free Combinational Circuits . . 48--55
J. P. Hayes On Modifying Logic Networks to Improve
Their Diagnosability . . . . . . . . . . 56--62
Tso-Kai Liu and
K. R. Hohulin and
Lih-Er Shiau and
S. Muroga Optimal One-Bit Full Adders With
Different Types of Gates . . . . . . . . 63--70
P. A. Devijver On a New Class of Bounds on Bayes Risk
in Multihypothesis Pattern Recognition 70--80
N. N. Biswas State Minimization of Incompletely
Specified Sequential Machines . . . . . 80--84
G. L. Tumbush and
J. E. Brandeberry A State Assignment Technique for
Sequential Machines Using J--K
Flip-Flops . . . . . . . . . . . . . . . 85--86
S. L. Hakimi and
A. T. Amin Characterization of Connection
Assignment of Diagnosable Systems . . . 86--88
W. B. Kendall A New Algorithm for Computing
Correlations . . . . . . . . . . . . . . 88--90
N. Ahmed and
T. Natarajan and
K. R. Rao Discrete Cosine Transfom . . . . . . . . 90--93
Chi-Tsong Chen Minimization of Linear Sequential
Machines . . . . . . . . . . . . . . . . 93--95
K. E. Stoffers Sequential Algorithm for the
Determination of Maximum Compatibles . . 95--98
S. M. Reddy and
J. R. Wilson Easily Testable Cellular Realizations
for the (Exactly $P$)-out-of-$n$ and
($p$ or More)-out-of-$n$ Logic Functions 98--100
A. I. A. Salama and
V. Gourishankar A Computational Algorithm for Solving a
System of Coupled Algebraic Matrix
Riccati Equations . . . . . . . . . . . 100--102
B. Chandrasekaran and
A. K. Jain Quantization Complexity and Independent
Measurements . . . . . . . . . . . . . . 102--106
D. K. Banerji A Novel Implementation Method for
Addition and Subtraction in Residue
Number Systems . . . . . . . . . . . . . 106--109
J. R. Rice B74-1 Complexity of Computer
Computations . . . . . . . . . . . . . . 109--110
T. H. Bonn B74-2 Man and the Computer . . . . . . . 110--110
H. Y. Chang B74-3 Design Automation of Digital
Systems --- Volume 1, Theory and
Techniques . . . . . . . . . . . . . . . 110--111
J. D. Schoeffler B74-4 Minicomputers in Data Processing
and Simulation . . . . . . . . . . . . . 111--112
R. C. Gillespie B74-5 Computer-Oriented Approaches to
Pattern Recognition . . . . . . . . . . 112--112
Anonymous Information for Authors . . . . . . . . 112--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 112--b
A. A. Covo Analysis of Multiprocessor Control
Organizations with Partial Program
Memory Replication . . . . . . . . . . . 113--120
C. R. DeFiore and
P. B. Berra A Quantitative Analysis of the
Utilization of Associative Memories in
Data Management . . . . . . . . . . . . 121--133
M. Diaz and
J. C. Geffroy and
M. Courvoisier On-Set Realization of Fail-Safe
Sequential Machines . . . . . . . . . . 133--138
H. Fujiwara and
K. Kinoshita Design of Diagnosable Sequential
Machines Utilizing Extra Outputs . . . . 138--145
W. J. Hurd Efficient Generation of Statistically
Good Pseudonoise by Linearly
Interconnected Shift Registers . . . . . 146--152
S. Yajima and
K. Inagaki Power Minimization Problems of Logic
Networks . . . . . . . . . . . . . . . . 153--165
L. T. Fisher Unateness Properties of and-Exclusive-or
Logic Circuits . . . . . . . . . . . . . 166--172
A. Waksman and
M. W. Green On the Consecutive Retrieval Property in
File Organization . . . . . . . . . . . 173--174
L. S. Levy and
M. Freeman Every Finite-State Machine can be
Simulated (Realized) by a Synchronous
(Asynchronous) Binary Feedback
Shift-Register Machine . . . . . . . . . 174--178
Chiu Kuan Chen and
H. C. Andrews Nonlinear Intrinsic Dimensionality
Computations . . . . . . . . . . . . . . 178--184
T. H. Morrin A Black-White Representation of a
Gray-Scale Picture . . . . . . . . . . . 184--186
D. H. Sawin III Optimization of Asynchronous Sequential
Circuit Realizations . . . . . . . . . . 186--188
Sureshchander An Algorithm for Testing Asummability of
Boolean Functions . . . . . . . . . . . 188--191
C. G. Aminoff and
L. Ojala and
E. T. Rautanen On a Class of Recursive Algorithms for
Continuous Estimation of the Mean . . . 191--194
J. T. Chu Some New Error Bounds and Approximations
for Pattern Recognition . . . . . . . . 194--199
S. K. Sen and
E. V. Krishnamurthy Rank-Augmented $LU$-Algorithm for
Computing Generalized Matrix Inverses 199--201
A. Y. C. Quan A Note On High-Speed Generation of
Maximal Length Sequences . . . . . . . . 201--203
D. W. Hutton and
W. H. Kautz A Simplified Summation Array for
Cellular Logic Modules . . . . . . . . . 203--206
S. Rudeanu An Algebraic Approach to Boolean
Equations . . . . . . . . . . . . . . . 206--207
E. L. Hall Almost Uniform Distributions for
Computer Image Enhancement . . . . . . . 207--208
T. A. Welch Comments on ``A Measure of Computational
Work'' . . . . . . . . . . . . . . . . . 208--208
L. Hellerman A Discussion of ``A Measure of
Computational Work'' . . . . . . . . . . 208--211
P. C. Jorgensen B74-6 PL/I Programming for Engineering
and Science . . . . . . . . . . . . . . 211--212
P. Jorgensen B74-7 Basic Programming . . . . . . . . 212--212
R. Elschlager B74-8 Design of Man-Computer Dialogues 212--213
R. E. Swartwout B74-9 Digital Computer Fundamentals . . 213--214
S. Rosen B74-10 Computer Semantics, Studies of
Algorithms, Processors and Languages . . 214--214
A. T. Poe B74-11 Abstract Automata . . . . . . . . 214--216
L. M. Biberman B74-12 Principles of Interactive
Computer Graphics . . . . . . . . . . . 216--216
P. Freeman B74-13 Operating Systems --- Infotech
State of the Art Report #14 . . . . . . 216--217
E. C. Joseph B74-14 Data Base Systems . . . . . . . . 217--218
E. R. Barnes B74-15 Iterative Methods for Nonlinear
Optimization Problems . . . . . . . . . 218--218
G. W. R. Luderer B74-16 Design of On-Line Computer
Systems . . . . . . . . . . . . . . . . 218--219
P. M. Lewis B74-17 The Theory of Parsing,
Translation, and Compiling --- Volume
II: Compiling . . . . . . . . . . . . . 219--220
A. C. L. Barnard B74-18 Computer System Organization . . 220--220
R. C. Gillespie B74-19 Pattern Recognition Techniques 220--222
P. J. Denning B74-20 Systematic Programming: An
Introduction . . . . . . . . . . . . . . 222--223
T. Pavlidis B74-21 Patern Classification and Scene
Analysis . . . . . . . . . . . . . . . . 223--223
D. B. Lomet B74-22 Software Engineering:
International Computer State of the Art
Report . . . . . . . . . . . . . . . . . 223--224
Anonymous IEEE Computer Society Publications . . . 224--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 224--b
A. S. French and
E. G. Butz The Use of Walsh Functions in the Wiener
Analysis of Nonlinear Systems . . . . . 225--232
E. J. Van Lantschoot and
J. P. Vandewalle Design of Weighted Counters with
Rational Scale Using Continued Fraction
Expansion . . . . . . . . . . . . . . . 232--238
D. H. Sawin III and
G. K. Maki Asynchronous Sequential Machines
Designed for Fault Detection . . . . . . 239--249
A. Paz and
M. Rabinovitz Linear Automata Approximation Problem 249--255
M. E. Ulug and
B. A. Bowen A Unified Theory of the Algebraic
Topological Methods for the Synthesis of
Switching Systems . . . . . . . . . . . 255--267
C. K. Wong and
Shi-Kuo Chang Parallel Generation of Binary Search
Trees . . . . . . . . . . . . . . . . . 268--271
A. V. Aho and
J. D. Ullman Dynamic Memories with Rapid Random and
Sequential Access . . . . . . . . . . . 272--276
E. F. Miller, Jr. A Multiple-Stream Registerless
Shared-Resource Processor . . . . . . . 277--285
J. M. Kurtzberg On the Memory Conflict Problem in
Multiprocessor Systems . . . . . . . . . 286--293
R. S. Nutter, Jr. and
R. E. Swartwout and
D. C. Rine Equivalence and Transformations for Post
Multivalued Algebras . . . . . . . . . . 294--300
A. Bracha-Barak Application of Continued Fractions for
Fast Evaluation of Certain Functions on
a Digital Computer . . . . . . . . . . . 301--309
Tse-Yun Feng Data Manipulating Functions in Parallel
Processors and Their Implementations . . 309--318
Sureshchander and
P. C. P. Bhatt A Note on $Q$-Universal Logic Modules 319--320
M. P. Ekstorm An Iterative-Improvement Approach to the
Numerical Solution of Vector Toeplitz
Systems . . . . . . . . . . . . . . . . 320--325
Sureshchander and
P. C. P. Bhatt A New Representation of Sequential
Machines for Determining All
Incompatible Pairs . . . . . . . . . . . 325--326
A. B. Gardiner Comments on ``An Augmented Iterative
Array for High Speed Division'' . . . . 326--327
V. C. Hamacher and
M. Cappa Authors' Reply . . . . . . . . . . . . . 327--327
P. S. Noe and
V. T. Rhyne A Modification to the SHR-Optimal State
Assignment Procedure . . . . . . . . . . 327--329
S. Satake and
T. Aibara A Formula for Ternary Network Cost . . . 329--332
K. L. Kodandapani A Note on Easily Testable Realizations
for Logic Functions . . . . . . . . . . 332--333
C. K. Yuen Comment on ``Some New Results on Average
Worst Case Carry'' . . . . . . . . . . . 333--333
P. Goel and
D. P. Siewiorek Comments on ``Multiple Fault Detection
in Combinational Networks'' . . . . . . 333--334
J. W. Gault and
J. P. Robinson and
S. M. Reddy Authors' Reply . . . . . . . . . . . . . 334--334
T. J. Harrison B74-23 Numerical Control --- Mathematics
and Applications . . . . . . . . . . . . 335--335
R. Vichnevetsky B74-24 Computer Simulation of Dynamic
Systems . . . . . . . . . . . . . . . . 335--336
E. F. Miller, Jr. B74-25 Operating Systems: a Pragmatic
Approach . . . . . . . . . . . . . . . . 336--336
Anonymous IEEE Computer Society Publications . . . 336--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 336--b
Anonymous Editor's Notice . . . . . . . . . . . . 337--337
D. C. Schmidt and
L. E. Druffel An Extension of the Clause Table
Approach to Multi-Output Combinational
Switching Networks . . . . . . . . . . . 338--346
J. Bell and
D. Casasent and
C. G. Bell An Investigation of Alternative Cache
Organizations . . . . . . . . . . . . . 346--351
D. A. Sheppard and
Z. G. Vranesic Fault Detection of Binary Sequential
Machines Using $R$-Valued Test Machines 352--358
W. H. Kautz Testing for Faults in Wiring Networks 358--363
Chia-Hsiaing Sung and
C. L. Coates, Jr. Tessellation Aspect of Combinational
Cellular Array Testing . . . . . . . . . 363--369
W. W. Patterson and
G. Metze A Fail-Safe Asynchronous Sequential
Machine . . . . . . . . . . . . . . . . 369--374
C. Montangero An Approach to the Optimal Specification
of Read-Only Memories in Microprogrammed
Digital Computers . . . . . . . . . . . 375--389
E. Sadeh and
M. A. Franklin Monte Carlo Solution of Partial
Differential Equations by Special
Purpose Digital Computer . . . . . . . . 389--397
A. B. S. Hussain Compound Sequential Probability Ratio
Test for the Classification of
Statistically Dependent Patterns . . . . 398--410
G. A. Butler and
H. B. Ritea Estimation of Mutual Information in
Two-Class Pattern Recognition . . . . . 410--420
G. Nagaraja and
G. Krishna An Algorithm for the Solution of Linear
Inequalities . . . . . . . . . . . . . . 421--427
J. C. Stoffel A Classifier Design Technique for
Discrete Variable Pattern Recognition
Problems . . . . . . . . . . . . . . . . 428--441
Shi-Kuo Chang Parallel Balancing of Binary Search
Trees . . . . . . . . . . . . . . . . . 441--444
T. Kohonen An Adaptive Associative Memory Principle 444--445
Ivan Tomek Two Algorithms for Piecewise-Linear
Continuous Approximation of Functions of
One Variable . . . . . . . . . . . . . . 445--448
Anonymous IEEE Computer Society Publications . . . 448--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 448--b
J. M. Hart A Class of Push-Down Acceptors for
Adjunct Languages . . . . . . . . . . . 449--455
E. Cerny and
M. A. Marin A Computer Algorithm for the Synthesis
of Memoryless Logic Circuits . . . . . . 455--465
W. D. Little An Algorithm for High-Speed Digital
Filters . . . . . . . . . . . . . . . . 466--469
A. K. Jain and
E. Angel Image Restoration, Modelling, and
Reduction of Dimensionality . . . . . . 470--476
H. C. Wehrfritz Techniques for the Transformation of
Logic Equations . . . . . . . . . . . . 477--480
E. M. Riseman and
A. R. Hanson A Contextual Postprocessing System for
Error Correction Using Binary $n$-Grams 480--493
R. S. Wickersham and
G. K. Maki Safe Asynchronous Sequential Circuits 494--500
S. P. Kartashev Theory and Implementation of
$p$-Multiple Sequential Machines . . . . 500--523
A. S. Gupta and
D. K. Chattopadhyay and
A. K. Choudhury Linearity Testing and Realization of
Sequential Machines . . . . . . . . . . 524--528
M. P. Remler Pattern Recognition by Convolution
Polynomial . . . . . . . . . . . . . . . 528--530
Chao-Chih Yang Generation of All Closed Partitions on
the State Set of a Sequential Machine 530--533
A. K. Kamal and
H. Singh and
D. P. Agrawal A Generalized Pipeline Array . . . . . . 533--536
A. K. Dutta An Experimental Procedure for
Handwritten Character Recognition . . . 536--545
K. S. Grewal and
J. D. Patterson A Binary Feature Extraction Technique 545--549
J. D. Boyes Binary Noise Sources Incorporating
Modulo-$N$ Dividers . . . . . . . . . . 550--552
K. K. Saluja and
S. M. Reddy On Minimally Testable Logic Networks . . 552--554
K. A. Duke B 74-26 Discrete Mathematical Structures
and Their Applications . . . . . . . . . 555--555
W. A. Wulf B 74-27 Program Test Methods . . . . . . 555--556
V. C. Hamacher B 74-28 Computer Hardware and Software:
An Interdisciplinary Introduction . . . 556--556
R. P. Leinius B 74-29 Currents in the Theory of
Computing . . . . . . . . . . . . . . . 556--557
K. S. Fu B 74-30 Foundation of the Theory of
Learning Systems . . . . . . . . . . . . 557--557
B. C. Kuo B 74-31 Signals, Systems, and the
Computer . . . . . . . . . . . . . . . . 557--558
R. P. Voith B 74-32 Digital Design . . . . . . . . . 558--559
A. C. L. Barnard B 74-33 Peripheral Devices . . . . . . . 559--559
P. Freeman B 74-34 Fortran and Algol: a Programmed
Course for Students of Science and
Technology . . . . . . . . . . . . . . . 559--560
Anonymous Compcon Goes to Washington . . . . . . . 560--b
Anonymous IEEE Computer Society Publications . . . 560--a
H. R. Hwa A Method for Generating Prime Implicants
of a Boolean Expression . . . . . . . . 637--641
R. M. M. Oberman A New Explanation of the Reflected
Binary Code . . . . . . . . . . . . . . 641--642
C. D. Stamopoulos Parallel Algorithms for Joining Two
Points by a Straight-Line Segment . . . 642--646
P. S. Noe and
V. T. Rhyne and
S. Suraratrungsi Comments on ``Weighting Method for the
Determination of the Irredundant Set of
Prime Implicants'' . . . . . . . . . . . 646--646
G. D. Kraft B74-35 Minicomputers-International
Computer State of the Art Report . . . . 647--648
Anonymous Compcon Goes to Washington . . . . . . . 648--b
Anonymous IEEE Computer Society Publications . . . 648--a
D. R. Schertz Fault-Tolerant Computing: An
Introduction . . . . . . . . . . . . . . 649--650
G. K. Maki and
D. H. Sawin III Fault-Tolerant Asynchronous Sequential
Machines . . . . . . . . . . . . . . . . 651--657
J. F. Wakerly Partially Self-Checking Circuits and
Their Use in Performing Logical
Operations . . . . . . . . . . . . . . . 658--666
R. C. Ogus Fault-Tolerance of the Iterative Cell
Array Switch for Hybrid Redundancy . . . 667--681
J. A. Abraham and
D. P. Siewiorek An Algorithm for the Accurate
Reliability Evaluation of Triple Modular
Redundancy Networks . . . . . . . . . . 682--692
J. Goldberg and
K. N. Levitt and
J. H. Wensley An Organization for a Highly Survivable
Memory . . . . . . . . . . . . . . . . . 693--705
S. B. Akers, Jr. Fault Diagnosis as a Graph Coloring
Problem . . . . . . . . . . . . . . . . 706--713
S. Kamal and
C. V. Page Intermittent Faults: a Model and a
Detection Procedure . . . . . . . . . . 713--719
K. C. Y. Mei Bridging and Stuck-At Faults . . . . . . 720--727
J. P. Hayes and
A. D. Friedman Test Point Placement to Simplify Fault
Detection . . . . . . . . . . . . . . . 727--735
Y. Mukai and
Y. Tohma A Method for the Realization of
Fail-Safe Asynchronous Sequential
Circuits . . . . . . . . . . . . . . . . 736--739
R. J. Filene and
W. M. Daly The Reliability Impact of Mission Abort
Strategies on Redundant Flight Computer
Systems . . . . . . . . . . . . . . . . 739--743
B. D. Carroll and
H. G. Shah and
D. M. Jones An Examination of Algebraic Test
Generation Methods for Multiple Faults 743--745
A. D. Friedman Diagnosis of Short-Circuit Faults in
Combinational Circuits . . . . . . . . . 746--752
Anonymous Compcon goes to Washington . . . . . . . 752--b
Anonymous IEEE Computer Society Publications . . . 752--a
Anonymous Editor's Notice . . . . . . . . . . . . 753--753
L. H. Jones and
R. E. Merwin Trends in Microprogramming: a Second
Reading . . . . . . . . . . . . . . . . 754--759
L. W. Hoevel ``Ideal'' Directly Executed Languages:
An Analytical Argument for Emulation . . 759--767
C. V. Ramamoorthy and
K. S. Shankar Automatic Testing for the Correctness
and Equivalence of Loopfree
Microprograms . . . . . . . . . . . . . 768--782
R. T. Thomas Organization for Execution of User
Microprograms from Main Memory:
Synthesis and Analysis . . . . . . . . . 783--791
C. V. Ramamoorthy and
M. Tsuchiya A High-Level Language for Horizontal
Microprogramming . . . . . . . . . . . . 791--801
A. M. Abd-Alla and
D. C. Karlgaard Heuristic Synthesis of Microprogrammed
Computer Architecture . . . . . . . . . 802--807
G. L. Kratz and
W. W. Sproul and
E. T. Walendziewicz A Microprogrammed Approach to Signal
Processing . . . . . . . . . . . . . . . 808--817
A. K. Agrawala and
T. G. Rauscher Microprogramming: Perspective and Status 817--837
J.-L. Baer On Program Placement in a Directly
Executable Hierarchy of Memories . . . . 838--849
M. Fridrich and
W. A. Davis Minimal Fault Tests for Combinational
Networks . . . . . . . . . . . . . . . . 850--859
T. Pavlidis and
S. L. Horowitz Segmentation of Plane Curves . . . . . . 860--870
C. C. Yang On the Modeling of Demand Paging
Algorithms by Finite Automata . . . . . 870--874
R. T. Boute Distinguishing Sets for Optimal State
Identification in Checking Experiments 874--877
S. N. Maheshwari B74-36 Communication, Transmission, and
Transportation Networks . . . . . . . . 878--878
D. Muir B74-37 Data Base
Management-International Computer State
of the Art Report 15 . . . . . . . . . . 878--879
F. Baskett and
R. Sedgewick B74-38 Operating Systems Theory . . . . 879--880
Anonymous Compcon Goes to Washington . . . . . . . 880--b
Anonymous IEEE Computer Society Publications . . . 880--a
J. H. Friedman and
J. W. Tukey A projection pursuit algorithm for
exploratory data analysis . . . . . . . 881--890
K. K. Burhardt An Adaptive Search Optimization
Algorithm . . . . . . . . . . . . . . . 890--897
W. K. Giloi and
H. Liebig A Formalism for Description and
Synthesis of Logical Algorithms and
their Hardware Implementation . . . . . 897--906
F. Rubin The Lee Path Connection Algorithm . . . 907--914
F. Barsi and
P. Maestrini Error Detection and Correction by
Product Codes in Residue Number Systems 915--924
R. J. Smith II Generation of Internal State Assignments
for Large Asynchronous Sequential
Machines . . . . . . . . . . . . . . . . 924--932
L. Hakkala and
L. Ojala Discretization Error Analysis in Linear
DDA Connections . . . . . . . . . . . . 932--941
Ming-Duenn Ni and
J. K. Aggarwal Two-Dimensional Digital Filtering and
its Error Analysis . . . . . . . . . . . 942--954
B. K. Roy Diagnosis and Fault Equivalence in
Combinational Circuits . . . . . . . . . 955--963
R. L. Richardson Reciprocal Walsh Series . . . . . . . . 964--966
J. C. Hassab The Characteristic Polynomials for a
Class of Eigenvalue Problems . . . . . . 967--967
L. G. Delcaro and
G. L. Sicuranza A Method for Transposing Externally
Stored Matrices . . . . . . . . . . . . 967--970
S. M. Selkow Diagnostic Keys as a Representation for
Context in Pattern Recognition . . . . . 970--971
G. M. Bednar and
J. H. Tracey An Asynchronous Circuit Design Language
(ACDL) . . . . . . . . . . . . . . . . . 971--976
A. E. Kahveci and
E. L. Hall Sequency Domain Design of Frequency
Filters . . . . . . . . . . . . . . . . 976--981
S. Chakrabarti Divide-and-Correct Algorithm for
Division in a Negative Base . . . . . . 981--983
W. Del Picchia A Numerical Algorithm for the Resolution
of Boolean Equations . . . . . . . . . . 983--986
S. Marjanovic Multiplying D/A Converter . . . . . . . 986--988
G. T. Toussaint Comments on ``The Extraction of Pattern
Features from Imperfectly Identified
Samples'' . . . . . . . . . . . . . . . 988--989
C. C. Babu Author's Reply . . . . . . . . . . . . . 989--989
S. Zohar Comments on ``Fast Hardware Fourier
Transformation Through Counting'' . . . 989--989
T. Ibaraki Comments on ``Monotone Functions in
Sequential Circuits'' . . . . . . . . . 989--990
S. J. Wallach B 74-39 A Course in APL/360 with
Applications . . . . . . . . . . . . . . 990--991
D. Siewiorek B74-40 Digital Systems: Hardware
Organization and Design . . . . . . . . 991--992
Anonymous Compcon Goes to Washington . . . . . . . 992--b
Anonymous IEEE Computer Society Publications . . . 992--a
A. M. Despain Fourier Transform Computers Using CORDIC
Iterations . . . . . . . . . . . . . . . 993--1001
Tse Lin Wang and
Chao-Kai Liu Weight-Preserved Single-Error-Correcting
Scheme for Binary Adders . . . . . . . . 1002--1007
S. C. De-Sarkar and
S. Bandyopadhyay and
A. K. Choudhury Unate Cascade Realization of Synchronous
Sequential Machines . . . . . . . . . . 1008--1019
J. R. Jump Asynchronous Control Arrays . . . . . . 1020--1029
H.-P. S. Lee and
E. S. Davidson Redundancy Testing in Combinational
Networks . . . . . . . . . . . . . . . . 1029--1047
H. A. Sholl Direct Transition Memory and its
Application in Computer Design . . . . . 1048--1061
D. G. Cantor and
M. Gerla Optimal Routing in a Packet-Switched
Computer Network . . . . . . . . . . . . 1062--1069
M. A. Breuer and
R. L. Harrison Procedures for Eliminating Static and
Dynamic Hazards in Test Generation . . . 1069--1078
M. A. Breuer The Effects of Races, Delays, and Delay
Faults on Test Generation . . . . . . . 1078--1092
A. Bracha-Barak A Method for Solving Polynomial
Equations by Continued Fractions . . . . 1093--1097
G. J. Klir On the Solution of Boolean and
Pseudo-Boolean Relations . . . . . . . . 1098--1100
S. M. Reddy Note on Self-Checking Checkers . . . . . 1100--1102
K. D. Reilly B74-41 The Metaphorical Brain, an
Introduction to Cybernetics as
Artificial Intelligence and Brain Theory 1103--1104
Anonymous IEEE Computer Society Publications . . . 1104--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 1104--b
R. C. Swanson Interconnections for Parallel Memories
to Unscramble $p$-Ordered Vectors . . . 1105--1115
T. A. Ryan, Jr. and
E. G. Coffman, Jr. A Problem in Multiprogrammed Storage
Allocation . . . . . . . . . . . . . . . 1116--1122
S. Matsushita and
T. Moto-Oka Magnitude of Cross-Coupling Noise in
Digital Multiwire Transmission Lines . . 1122--1132
H. Y.-P. Chang and
S. G. Chappell and
C. H. Elmendorf and
L. D. Schmidt Comparison of Parallel and Deductive
Fault Simulation Methods . . . . . . . . 1132--1138
R. Dandapani and
S. M. Reddy On the Design of Logic Networks with
Redundancy and Testability
Considerations . . . . . . . . . . . . . 1139--1149
Y. Tohma Design Technique of Fail-Safe Sequential
Circuits Using Flip-Flops For Internal
Memory . . . . . . . . . . . . . . . . . 1149--1154
Fu-Min Yuan Minimal Memory Inverses of Linear
Sequential Circuits . . . . . . . . . . 1155--1163
J. Q. Torode and
T. H. Kehl The Logic Machine: a Modular Computer
Design System . . . . . . . . . . . . . 1164--1169
M. T. Kaufman An Almost-Optimal Algorithm for the
Assembly Line Scheduling Problem . . . . 1169--1174
R. N. Ascher and
G. Nagy A Means for Achieving a High Degree of
Compaction on Scan-Digitized Printed
Text . . . . . . . . . . . . . . . . . . 1174--1179
Chin-Liang Chang Finding Prototypes For Nearest Neighbor
Classifiers . . . . . . . . . . . . . . 1179--1184
F. G. Gray and
R. A. Thompson Reconfiguration for Repair in a Class of
Universal Logic Modules . . . . . . . . 1185--1194
A. Druzeta and
Z. G. Vranesic and
A. S. Sedra Application of Multithreshold Elements
in the Realization of Many-Valued Logic
Networks . . . . . . . . . . . . . . . . 1194--1198
A. Mennone and
R. L. Russo An Example Computer Logic Graph and Its
Partitions and Mappings . . . . . . . . 1198--1204
K. K. Saluja and
S. M. Reddy Easily Testable Two-Dimensional Cellular
Logic Arrays . . . . . . . . . . . . . . 1204--1207
R. T. Boute Optimal and Near-Optimal Checking
Experiments for Output Faults in
Sequential Machines . . . . . . . . . . 1207--1213
Chung Kwong Yuen Evaluation of Walsh Power Spectrum of
Nearly White Signals . . . . . . . . . . 1213--1214
K. D. Reiliy B74-42 Introduction to Discrete
Structures . . . . . . . . . . . . . . . 1215--1216
Anonymous IEEE Computer Society Publications . . . 1216--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 1216--b
Anonymous Editor's Notice . . . . . . . . . . . . 1217--1217
Y. A. Choueka Structure Automata . . . . . . . . . . . 1218--1227
F. M. Brown Equational Logic . . . . . . . . . . . . 1228--1237
K. Chakrabarti and
O. Kolp Fan-In Constrained Tree Networks of
Flexible Cells . . . . . . . . . . . . . 1238--1249
K. E. Sahin Message-Based Response Routing with
Selcuk Networks . . . . . . . . . . . . 1250--1257
G. Locs and
J. M. Gary A Fortran Extension for Data Display . . 1257--1263
A. Rosenfeld Digital Straight Line Segments . . . . . 1264--1269
M. A. Franklin and
A. Sen An Analytic Response Time Model For
Single-and Dual-Density Disk Systems . . 1269--1276
T. J. Nelson A Study of the Electrochemical Cell as a
Storage Element for the Memory Access
Gap . . . . . . . . . . . . . . . . . . 1277--1290
F. Bancilhon A Geometric Model for Stochastic
Automata . . . . . . . . . . . . . . . . 1290--1299
R. L. Sites Serial Binary Division by Ten . . . . . 1299--1301
B. W. Suter The Modular Arithmetic of Arbitrarily
Long Sequences of Digits . . . . . . . . 1301--1303
K. Revuluri and
K. R. Rao and
M. A. Narasimhan and
N. Ahmed Cyclic and Dyadic Shifts,
Walsh--Hadamard Transform, and the $H$
Diagram . . . . . . . . . . . . . . . . 1303--1306
C. A. Rey and
J. Vaucher Self-Synchronized Asynchronous
Sequential Machines . . . . . . . . . . 1306--1311
T. Vilmansen On an Approximation of Mutual
Information . . . . . . . . . . . . . . 1311--1313
S. B. Marinkovic and
Z. Tosic Algorithm for Minimal Polarized
Polynomial Form Determination . . . . . 1313--1315
D. K. Banerji On the Use of Residue Arithmetic for
Computation . . . . . . . . . . . . . . 1315--1317
G. A. Anderson Multiple Match Resolvers: a New Design
Method . . . . . . . . . . . . . . . . . 1317--1320
D. K. Pradhan Fault-Tolerant Carry-Save Adders . . . . 1320--1322
J. S. Weszka and
R. N. Nagel and
A. Rosenfeld A Threshold Selection Technique . . . . 1322--1326
C. D. Latino and
J. G. Bredeson Comments on ``Cause-Effect Analysis for
Multiple Fault Detection in
Combinational Networks'' . . . . . . . . 1326--1326
D. C. Bossen and
S. J. Hong Authors' Reply . . . . . . . . . . . . . 1326--1327
P. E. Blankenship Comments on ``A Two's Complement
Parallel Array Multiplication
Algorithm'' . . . . . . . . . . . . . . 1327--1327
D. Tabak Comments on ``Parallel Processing
Algorithms for the Optimal Control of
Nonlinear Dynamic Systems'' . . . . . . 1327--1327
D. Kroft Comments on ``A Two's Complement
Parallel Array Multiplication
Algorithm'' . . . . . . . . . . . . . . 1327--1328
S. R. Kimbleton B74-43 Evaluation and Measurement
Techniques for Digital Computer Systems 1328--1329
R. E. Griswold B74-44 The Elements of Programming Style 1329--1329
M. P. Ristenbatt B74-45 Computer-Communication Networks 1329--1330
D. A. Michalopouos B74-46 Pattern Recognition, Learning and
Thought . . . . . . . . . . . . . . . . 1330--1330
Anonymous IEEE Computer Society Publications . . . 1330--o
Anonymous 1974 Index IEEE Transactions on
Computers Vol. C-23 . . . . . . . . . . 1330--a-1330--n
Anonymous People are Getting More Important . . . 1330--p
T. A. Newton Some Parametric Techniques in the Analog
Solution of Ordinary Differential
Equations . . . . . . . . . . . . . . . 1--8
A. Maruoka and
N. Honda The Range of Logical Flexibility of Tree
Networks . . . . . . . . . . . . . . . . 9--28
D. C. Schmidt and
G. Metze Modular Replacement of Combinational
Switching Networls . . . . . . . . . . . 29--48
C. R. Edwards The Application of the Rademacher--Walsh
Transform to Boolean Function
Classification and Threshold Logic
Synthesis . . . . . . . . . . . . . . . 48--62
Chia-Tai Ku and
G. M. Masson The Boolean Difference and Multiple
Fault Analysis . . . . . . . . . . . . . 62--71
Tso-Kai Liu Synthesis Algorithms for $2$-level MOS
Networks . . . . . . . . . . . . . . . . 72--79
M. J. Corinthios and
K. C. Smith and
J. L. Yen A Parallel Radix-$4$ Fast Fourier
Transform Computer . . . . . . . . . . . 80--92
M. G. Thomason and
R. C. Gonzalez Syntactic Recognition of Imperfectly
Specified Patterns . . . . . . . . . . . 93--95
P. M. Merlin and
D. J. Farber A Parallel Mechanism for Detecting
Curves in Pictures . . . . . . . . . . . 96--98
T. Pavlidis Optimal Piecewise Polynomial $L^2$
Approximation of Functions of One and
Two Variables . . . . . . . . . . . . . 98--102
F. M. Brown The Constrained-Input Problem . . . . . 102--106
Chao-Chih Yang and
M. K. Babinski Comments on ``Closure Partition Method
for Minimizing Incomplete Sequential
Machines'' . . . . . . . . . . . . . . . 106--108
G. Metze and
D. R. Schertz and
Kilin To and
G. Whitney and
C. R. Kime and
J. D. Russell Comments on ``Derivation of Minimal
Complete Sets of Test-Input Sequences
Using Boolean Differences'' . . . . . . 108--108
P. N. Marinos Author's Reply . . . . . . . . . . . . . 109--109
S. Y. H. Su B75-1 Logic and Logic Design . . . . . . 110--110
S. Gorenstein B75-2 Systems Simulation . . . . . . . . 110--111
Anonymous Information For Authors . . . . . . . . 112--112
Anonymous IEEE Computer Society Publications . . . 112--a
Anonymous People are Getting More Important . . . 112--b
F. Rubin An Improved Algorithm for Testing the
Planarity of a Graph . . . . . . . . . . 113--121
A. W. Biermann and
R. I. Baum and
F. E. Petry Speeding up the Synthesis of Programs
from Traces . . . . . . . . . . . . . . 122--136
M. R. Barbacci A Comparison of Register Transfer
Languages for Describing Computers and
Digital Systems . . . . . . . . . . . . 137--150
J. P. Hayes Detection of Pattern-Sensitive Faults in
Random-Access Memories . . . . . . . . . 150--157
A. K. C. Wong and
T. S. Liu Typicality, Diversity, and Feature
Pattern of an Ensemble . . . . . . . . . 158--181
R. W. Ehrich and
K. J. Koehler Experiments in the Contextual
Recognition of Cursive Script . . . . . 182--194
H. A. Sholl and
Shou-Chung Yang Design of Asynchronous Sequential
Networks Using Read-Only Memories . . . 195--206
D. K. Pradhan and
A. M. Patel Reed--Muller Like Canonic Forms for
Multivalued Functions . . . . . . . . . 206--210
J. F. Wakerly Detection of Unidirectional Multiple
Errors Using Low-Cost Arithmetic Codes 210--212
G. Frieder and
C. Luk Algorithms for Binary Coded Balanced and
Ordinary Ternary Operations . . . . . . 212--215
R. C. Minnick and
P. T. Bailey and
R. M. Sandfort and
W. L. Semon Cascade Realizations of Magnetic Bubble
Logic Using a Small Set of Primitives 215--217
R. C. Minnick A System of Magnetic Bubble Logic . . . 217--218
S. Bandyopadhyay and
A. Pal and
A. K. Choudhury Characterization of Unate Cascade
Realizability Using Parameters . . . . . 218--219
E. Ducasse and
G. Metze Comments on ``The Relationship Between
Multivalued Switching Algebra and
Boolean Algebra under Different
Definitions of Complement'' . . . . . . 220--220
S. Y. H. Su and
A. A. Sarris Authors' Reply . . . . . . . . . . . . . 220--221
T. Pavlidis B75-3 Numerical Methods . . . . . . . . 222--222
R. P. Voith B75-4 Computer Organization and
Programming . . . . . . . . . . . . . . 222--223
I. Flores Comments on the Review of ``Peripheral
Devices'' . . . . . . . . . . . . . . . 223--224
A. C. L. Barnard Reviewer's Reply . . . . . . . . . . . . 224--224
Anonymous IEEE Computer Society Publications . . . 224--a
Anonymous People are Getting More Important . . . 224--b
Anonymous Editor's Notice . . . . . . . . . . . . 225--225
P. G. Neumann and
T. R. N. Rao Error-Correcting Codes for
Byte-Organized Arithmetic Processors . . 226--232
S. S. Yau and
Shih-Chien Yang Multiple Fault Detection for
Combinational Logic Circuits . . . . . . 233--242
O. H. Ibarra and
S. K. Sahni Polynomially Complete Fault Detection
Problems . . . . . . . . . . . . . . . . 242--249
M. I. Elmasry and
P. M. Thompson Two-Level Emitter-Function Logic
Structures for Logic-in-Memory Computers 250--258
A. R. Meo Arithmetic Networks and Their
Minimization Using a New Line of
Elementary Units . . . . . . . . . . . . 258--280
D. H. Foley and
J. W. Sammon, Jr. An Optimal Set of Discriminant Vectors 281--289
C. S. Weaver Some Properties of Threshold Logic Unit
Pattern Recognition Networks . . . . . . 290--298
J. Mykkeltveit Generating and Counting the Double
Adjacencies in a Pure Circulating Shift
Register . . . . . . . . . . . . . . . . 299--304
M. Servit Hazard Correction in Synchronous
Sequential Circuits . . . . . . . . . . 305--310
G. Bongiovanni and
F. Luccio and
A. Zorat The Discrete Equation of the Straight
Line . . . . . . . . . . . . . . . . . . 310--313
C. K. Yuen Computing Robust Walsh--Fourier
Transform by Error Product Minimization 313--317
J. Deverell Pipeline Iterative Arithmetic Arrays . . 317--322
P. W. Baker Parallel Multiplicative Algorithms for
Some Elementary Functions . . . . . . . 322--325
C. K. Yuen A Note on Base $ - 2 $ Arithmetic Logic 325--329
R. J. Niederjohn and
P. P. Stick A Computer Interface for Efficient
Zero-Crossing Interval Measurement . . . 329--331
J. P. Robinson and
C. W. Hoffner II Easily Tested Three-Level Gate Networks
for $T$ or More of $N$ Symmetric
Functions . . . . . . . . . . . . . . . 331--335
L. M. Biberman Reviewer's Reply . . . . . . . . . . . . 336--336
W. M. Newman Comments on the Review of ``Principles
of Interactive Computer Graphics'' . . . 336--336
R. R. Shively Book Reviews Editor's Comments . . . . . 336--336
Anonymous IEEE Computer Society Publications . . . 336--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 336--b
D. Casasent and
S. Horvitz Introduction to the Special Issue on
Optical Computing . . . . . . . . . . . 337--339
H. Stark An Optical-Digital Computer for Parallel
Processing of Images . . . . . . . . . . 340--347
D. Casasent and
W. M. Sterling An Optical/Digital Processor: Hardware
and Applications . . . . . . . . . . . . 348--358
D. H. McMahon and
G. L. Johnson and
S. L. Teeter and
C. G. Whitney A Hybrid Optical Computer Processing
Technique for Fingerprint Identification 358--369
P. Stucki Solid-State Area Scanning Arrays as
Interface Devices Between Optical and
Digital Computing Systems --- a
Simulation Study . . . . . . . . . . . . 370--380
On-Ching Yue and
E. L. Rope and
G. Tricoles Two Reconstruction Methods for Microwave
Imaging of Buried Dielectric Anomalies 381--390
H. Weiss Nonredundant Point Distribution for
Coded Aperture Imaging with Application
to Three-Dimensional On-Line X-Ray
Information Retrieving . . . . . . . . . 391--394
G. Wade and
H. Keyani and
Soo-Chang Pei New Experiments and Analysis in
Bragg-Diffraction Imaging . . . . . . . 395--401
C. D. Butter and
T. C. Lee Thermoplastic Holographic Recording of
Binary Patterns in PLZT Line Composer 402--406
W. E. Kock A Real-Time Parallel Optical Processing
Technique . . . . . . . . . . . . . . . 407--411
P. Greguss and
W. Waigelich Ultrasonic Holographic Fourier
Spectroscopy via Optical Fourier
Transforms . . . . . . . . . . . . . . . 412--418
G. Winzer Character Recognition with a Coherent
Optical Multichannel Correlator . . . . 419--423
C. D. Stamopoulos Parallel Image Processing . . . . . . . 424--433
F. L. Lanzl and
H. Heitmann Direct Coherent Optical Fourier
Transform of Curves . . . . . . . . . . 434--442
N. H. Farhat Nonlinear Optical Data Processing and
Filtering: a Feasibility Study . . . . . 443--448
R. H. T. Bates and
P. T. Gough New Outlook on Processing Radiation
Received From Objects Viewed Through
Randomly Fluctuating Media . . . . . . . 449--456
Anonymous IEEE Computer Society Publications . . . 456--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 456--b
C. R. Kime Fault-Tolerant Computing: An
Introduction and a Perspective . . . . . 457--460
S. Kamal An Approach to the Diagnosis of
Intermittent Faults . . . . . . . . . . 461--467
J. F. Meyer and
R. J. Sundstrom On-Line Diagnosis of Unrestricted Faults 468--475
F. J. O. Dias Fault Masking in Combinational Logic
Circuits . . . . . . . . . . . . . . . . 476--482
A. M. Usas A Totally Self-Checking Checker Design
for the Detection of Errors in Periodic
Signals . . . . . . . . . . . . . . . . 483--489
N. Benowitz and
D. F. Calhoun and
G. E. Alderson and
J. E. Bauer and
C. T. Joeckel An Advanced Fault Isolation System for
Digital Logic . . . . . . . . . . . . . 489--497
A. L. Hopkins, Jr. and
T. B. Smith III The Architectural Elements of a
Symmetric Fault-Tolerant Multiprocessor 498--505
T. B. Smith III A Damage- and Fault-Tolerant
Input/Output Network . . . . . . . . . . 505--512
M. Y. Hsiao and
D. C. Bossen Orthogonal Latin Square Configuration
for LSI Memory Yield and Reliability
Enhancement . . . . . . . . . . . . . . 512--516
B. R. Borgerson and
R. F. Freitas A Reliability Model for Gracefully
Degrading and Standby-Sparing Systems 517--525
D. P. Siewiorek Reliability Modeling of Compensating
Module Failures in Majority Voted
Redundancy . . . . . . . . . . . . . . . 525--533
R. C. Ogus The Probability of a Correct Output from
a Combinational Circuit . . . . . . . . 534--544
G. B. Leeman, Jr. Some Problems in Certifying
Microprograms . . . . . . . . . . . . . 545--553
W. E. Howden Methodology for the Generation of
Program Test Data . . . . . . . . . . . 554--560
Siu-Chong Si and
A. K. Susskind A Method for Obtaining SPOOF's . . . . . 560--562
C. Robach and
G. Saucier Diversified Test Methods for Local
Control Units . . . . . . . . . . . . . 562--567
D. H. Sawin III Design of Reliable Synchronous
Sequential Circuits . . . . . . . . . . 567--570
J. F. Wakerly Transient Failures in Triple Modular
Redundancy Systems with Sequential
Modules . . . . . . . . . . . . . . . . 570--573
K. P. Parker and
E. J. McCluskey Analysis of Logic Circuits with Faults
Using Input Signal Probabilities . . . . 573--578
J. A. Abraham A Combinatorial Solution to the
Reliability of Interwoven Redundant
Logic Networks . . . . . . . . . . . . . 578--584
Anonymous IEEE Computer Society Publications . . . 584--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 584--b
J. H. J. Allum A Least Mean Squares Cubic Algorithm for
On-Line Differential of Sampled Analog
Signals . . . . . . . . . . . . . . . . 585--590
Chung-Kwong Yuen Function Approximation by Walsh Series 590--598
J. Pearl Optimal Dyadic Models of Time-Invariant
Systems . . . . . . . . . . . . . . . . 598--603
G. R. Couranz and
D. F. Wann Theoretical and Experimental Behavior of
Synchronizers Operating in the
Metastable Region . . . . . . . . . . . 604--616
J. R. Fram and
E. S. Deutsch On the Quantitative Evaluation of Edge
Detection Schemes and their Comparison
with Human Performance . . . . . . . . . 616--628
K. L. Kodandapani and
R. V. Setlur Reed--Muller Canonical Forms in
Multivalued Logic . . . . . . . . . . . 628--636
H.-Y. F. Feng and
T. Pavlidis Decomposition of Polygons into Simpler
Components: Feature Generation for
Syntactic Pattern Recognition . . . . . 636--650
S. A. Underwood and
C. L. Coates, Jr. Visual Learning from Multiple Views . . 651--661
Lai-Wo Fung and
King-Sun Fu Stochastic Syntactic Decoding for
Pattern Classification . . . . . . . . . 662--667
K. P. Parker and
E. J. McCluskey Probabilistic Treatment of General
Combinational Networks . . . . . . . . . 668--670
T. T. Tylaska and
J. D. Bargainer An Improved Bound for Checking
Experiments that Use Simple Input-Output
and Characterizing Sequences . . . . . . 670--673
M. S. Leonard and
K. E. Kilpatrick A Modified Fixed-Increment Training
Algorithm . . . . . . . . . . . . . . . 673--675
D. H. Sawin III and
G. K. Maki Fail-Safe Asynchronous Sequential
Machines . . . . . . . . . . . . . . . . 675--677
J. R. Molberg and
D. K. Reynolds A New Method for Initial Estimates in
the Numerical Solution of Laplace's
Equation . . . . . . . . . . . . . . . . 678--680
Anonymous Does Easier Mean Better? . . . . . . . . 680--b
Anonymous IEEE Computer Society Publications . . . 680--a
J. T. Butler On the Number of Functions Realized by
Cascades and Disjunctive Networks . . . 681--690
P. Agrawal and
V. D. Agrawal Probabilistic Analysis of Random Test
Generation Method for Irredundant
Combinational Logic Networks . . . . . . 691--695
H. D. Schnurmann and
E. Lindbloom and
R. G. Carpenter The Weighted Random Test-Pattern
Generator . . . . . . . . . . . . . . . 695--700
Shyh-Ching Chen and
D. J. Kuck Time and Parallel Processor Bounds for
Linear Recurrence Systems . . . . . . . 701--717
A. L. Zobrist and
W. B. Thompson Building a Distance Function for Gestalt
Grouping . . . . . . . . . . . . . . . . 718--728
Chin Chao and
H. H. Loomis, Jr. High Rate Realization of Finite-State
Machines . . . . . . . . . . . . . . . . 729--740
S. A. Greibach A Remark on Code Sets and Context-Free
Languages . . . . . . . . . . . . . . . 741--742
D. T. Wang An Algorithm for the Generation of Test
Sets for Combinational Logic Networks 742--746
D. T. Wang Properties of Faults and Criticalities
of Values under Tests for Combinational
Networks . . . . . . . . . . . . . . . . 746--750
K. Fukunage and
P. M. Narendra A Branch and Bound Algorithm for
Computing $k$-Nearest Neighbors . . . . 750--753
Sureshchander Minimization of Switching Functions ---
a Fast Technique . . . . . . . . . . . . 753--756
D. H. Sawin III and
G. K. Maki Comments on ``Fault-Tolerant
Asynchronous Networks'' . . . . . . . . 756--758
D. K. Pradhan and
S. M. Reddy Authors' Reply . . . . . . . . . . . . . 758--759
K. S. Shanmugam Comments on ``Discrete Cosine
Transform'' . . . . . . . . . . . . . . 759--759
J. F. Wakerly Comments on ``Asynchronous Sequential
Machines Designed for Fault Detection'' 759--760
Anonymous Does Easier Mean Better? . . . . . . . . 760--b
Anonymous IEEE Computer Society Publications . . . 760--a
T. A. Brubaker and
J. C. Becker Multiplication Using Logarithms
Implemented with Read-Only Memory . . . 761--765
F. Noural and
R. S. Kashef A Universal Four-State Cellular Computer 766--776
R. C. De Vries and
A. Svoboda Multiple-Output Optimization with
Mosaics of Boolean Functions . . . . . . 777--785
A. J. Bernstein and
P. Siegel A Computer Architecture for Level
Structured Systems . . . . . . . . . . . 785--793
B. A. Prasad and
F. G. Gray Multiple Fault Detection in Arrays of
Combinational Cells . . . . . . . . . . 794--802
J. R. Bennett and
J. S. Mac Donald On the Measurement of Curvature in a
Quantized Environment . . . . . . . . . 803--820
H. Fujiwara and
Y. Nagao and
T. Sasao and
K. Kinoshita Easily Testable Sequential Machines with
Extra Inputs . . . . . . . . . . . . . . 821--826
R. J. Reid and
J. S. Frame Convergence in Iteratively Formed
Correlation Matrix Memories . . . . . . 827--830
F. Rubin Worst Case Bounds for Maximal Compatible
Subsets . . . . . . . . . . . . . . . . 830--831
V. V. Athani The $16$-Vector Algorithm for Computer
Controlled Digital $X$--$Y$ Plotter . . 831--835
J. C. Bezdek and
J. C. Dunn Optimal Fuzzy Partitions: a Heuristic
for Estimating the Parameters in a
Mixture of Normal Distributions . . . . 835--838
F. Handoko A Discussion on Two Algorithms for
Determining Maximum Compatibles . . . . 838--840
G. H. Williams Uniform Decomposition of Incompletely
Specified Sequential Machines . . . . . 840--843
J. Vandewalle On the Calculation of the Piecewise
Linear Approximation to a Discrete
Function . . . . . . . . . . . . . . . . 843--846
C. K. Yuen On the Floating Point Representation of
Complex Numbers . . . . . . . . . . . . 846--848
B. R. Hunt and
J. R. Breedlove Scan and Display Considerations in
Processing Images by Digital Computer 848--853
T. Le Van and
N. Van Houtte Delayed Universal Logic Modules and
Sequential Machine Synthesis . . . . . . 853--855
G. T. Toussaint Comments on ``On a New Class of Bounds
on Bayes' Risk in Multihypothesis
Pattern Recognition'' . . . . . . . . . 855--856
Anonymous Does Easier Mean Better? . . . . . . . . 856--b
Anonymous IEEE Computer Society Publications . . . 856--a
Anonymous Editor's Notice . . . . . . . . . . . . 857--857
J. B. Kioustelidis and
J. K. Petrou A Piecewise Linear Approximation of
$\log_2 x$ with Equal Maximum Errors in
All Intervals . . . . . . . . . . . . . 858--861
H. Hoehne and
R. Piloty Design Verification at the Register
Transfer Language Level . . . . . . . . 861--867
C. V. Ramamoorthy and
Yih-Wu Han Reliability Analysis of Systems with
Concurrent Error Detection . . . . . . . 868--878
P. M. Will and
D. D. Grossman An Experimental System for Computer
Controlled Mechanical Assembly . . . . . 879--888
K. R. Rao and
M. A. Narasimhan and
K. Revuluri Image Data Processing by Hadamard--Haar
Transform . . . . . . . . . . . . . . . 888--896
D. P. Bhandarkar Analysis of Memory Interference in
Multiprocessors . . . . . . . . . . . . 897--908
W. L. G. Koontz and
P. M. Narendra and
K. Fukunaga A Branch and Bound Clustering Algorithm 908--915
R. L. Kashyap and
M. C. Mittal Picture Reconstruction from Projections 915--923
B. Reusch Generation of Prime Implicants from
Subfunctions and a Unifying Approach to
the Covering Problem . . . . . . . . . . 924--930
R. C. Pearce and
J. A. Field and
W. D. Little Asynchronous Arbiter Module . . . . . . 931--932
C. I. Toma Cellular Logic Array for High-Speed
Signed Binary Number Multiplication . . 932--935
J. F. Andrus and
C. W. Campbell and
R. R. Jayroe Digital Image Registration Method Using
Boundary Maps . . . . . . . . . . . . . 935--940
A. Rosenfeld and
J. S. Weszka An Improved Method of Angle Detection on
Digital Curves . . . . . . . . . . . . . 940--941
V. P. Srini Realization of Fuzzy Forms . . . . . . . 941--943
D. E. Knuth and
G. S. Rao Activity in an Interleaved Memory . . . 943--944
C. W. Therrien Eigenvalue Properties of Projection
Operators and Their Application to the
Subspace Method of Feature Extraction 944--948
A. L. Lakshminarasimhan and
B. V. Dasarathy A Unified Approach to Feature Selection
and Learning in Unsupervised
Environments . . . . . . . . . . . . . . 948--952
Anonymous Does Easier Mean Better? . . . . . . . . 952--b
Anonymous IEEE Computer Society Publications . . . 952--a
E. Von Puttkamer A Simple Hardware Buddy System Memory
Allocator . . . . . . . . . . . . . . . 953--957
M. Andrews and
G. A. Korn Hybrid Computer Methods for Direct
Functional Optimization . . . . . . . . 958--965
J. K. Aggarwal and
R. O. Duda Computer Analysis of Moving Polygonal
Images . . . . . . . . . . . . . . . . . 966--976
Chao-Chih Yang On the Equivalence of Two Algorithms for
Finding All Maximal Compatibles . . . . 977--979
R. Mizoguchi and
M. Shimura An Approach to Unsupervised Learning
Classification . . . . . . . . . . . . . 979--983
A. K. Agrawala On Generating a Line ``Parallel'' to a
Digital Line --- a Sequential Approach 983--988
A. Rosenfeld A Note on Automatic Detection of Texture
Gradients . . . . . . . . . . . . . . . 988--991
T. Gajewski On the Periodic Equivalents of Finite
Automata . . . . . . . . . . . . . . . . 991--994
K. K. Saluja and
S. M. Reddy Fault Detecting Test Sets for
Reed--Muller Canonic Networks . . . . . 995--998
D. P. Agrawal Arithmetic Algorithms in a Negative Base 998--1000
J. H. Friedman and
F. Baskett and
L. J. Shustek An Algorithm for Finding Nearest
Neighbors . . . . . . . . . . . . . . . 1000--1006
L. S. Davis and
A. Rosenfeld Detection of Step Edges in Noisy
One-Dimensional Data . . . . . . . . . . 1006--1010
A. N. C. Kang On the Efficiency of Universal Machines 1010--1012
S. C. Hu A Probabilistic Approach of Designing
More Reliable Logic Gates with
Asymmetric Input Faults . . . . . . . . 1012--1014
L. P. Rubinfield A Proof of the Modified Booth's
Algorithm for Multiplication . . . . . . 1014--1015
J. Nieminen A New Method of Formulating a Minimum
Edge Set . . . . . . . . . . . . . . . . 1015--1018
D. Basu and
T. Jayashree On a Simple Postcorrection for
Nonrestoring Division . . . . . . . . . 1019--1020
J. A. Gibson and
R. W. Gibbard Synthesis and Comparison of Two's
Complement Parallel Multipliers . . . . 1020--1027
D. E. Troxel Serial Interfaces for Minicomputers . . 1027--1028
C. K. Yuen A Theorem on the Cyclic Correlations of
Walsh Functions . . . . . . . . . . . . 1028--1029
Anonymous A Method for Reducing the Number of
Input Variables to Synchronous
Sequential Circuits . . . . . . . . . . 1029--1031
Y. R. Wang Characterization of Binary Patterns and
Their Projections . . . . . . . . . . . 1032--1035
K. Taniguchi and
T. Sakai A New Voltage to Frequency Converter . . 1035--1036
M. O. Hagler and
T. G. Newman and
H. Dirilten A Programmable Optical-Digital
Scanner-Processor for Automated
Two-Dimensional Data Analysis . . . . . 1036--1038
W. O. Alltop A Computer Algorithm for Transposing
Nonsquare Matrices . . . . . . . . . . . 1038--1040
F. J. Allan and
T. Kameda and
S. Toida An Approach to the Diagnosability
Analysis of a System . . . . . . . . . . 1040--1042
J. J. Liu and
L. D. Rudolph A Direct Method of Computing the GNAF of
an Integer . . . . . . . . . . . . . . . 1042--1043
A. Iosupovicz Adaptive Universal Fault-Tolerant Logic
Networks . . . . . . . . . . . . . . . . 1043--1048
Anonymous IEEE Computer Society Publications . . . 1048--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 1048--b
P. W. Baker More efficient radix-$2$ algorithms for
some elementary functions . . . . . . . 1049--1054
F. M. Brown Equational Realizations of Switching
Functions . . . . . . . . . . . . . . . 1054--1066
K. V. Sastry and
R. Y. Kain On the Performance of Certain
Multiprocessor Computer Organizations 1066--1074
D. R. Morgan A/D Conversion Using Geometric Feedback
AGC . . . . . . . . . . . . . . . . . . 1074--1078
J. D. Russell and
C. R. Kime System Fault Diagnosis: Closure and
Diagnosability with Repair . . . . . . . 1078--1089
C. V. S. Rao and
N. N. Biswas Minimization of Incompletely Specified
Sequential Machines . . . . . . . . . . 1089--1100
J. E. Birk and
D. E. Farmer An Algebraic Method for Designing
Multivalued Logic Circuits using
Principally Binary Components . . . . . 1101--1104
P. Das and
D. E. Farmer Fault-Detection Experiments for
Parallel-Decomposable Sequential
Machines . . . . . . . . . . . . . . . . 1104--1109
P. G. McCrea and
P. W. Baker On Digital Differential Analyzer (DDA)
Circle Generation for Computer Graphics 1109--1110
C. C. Cheung and
R. W. Ehrich On the Minimization of Tree-Type
Universal Logic Circuits . . . . . . . . 1110--1113
D. L. Milgram Computer Methods for Creating
Photomosaics . . . . . . . . . . . . . . 1113--1119
M. Kunt On Computation of the Hadamard Transform
and the $R$ Transform in Ordered Form 1120--1121
J. F. O'Callaghan An Alternative Definition for
``Neighborhood of a Point'' . . . . . . 1121--1125
D. P. Bhandarkar On the Performance of Magnetic Bubble
Memories in Computer Systems . . . . . . 1125--1129
B. L. Hulme and
R. B. Worrell A Prime Implicant Algorithm with
Factoring . . . . . . . . . . . . . . . 1129--1131
K. H. O'Keefe A Note on Fast Base Extension for
Residue Number Systems with Three Moduli 1132--1133
Chao-Chih Yang Structural Preserving Morphisms of
Finite Automata and an Application to
Graph Isomorphism . . . . . . . . . . . 1133--1139
M. Schkolnick On a Covering Problem for Partially
Specified Switching Functions . . . . . 1139--1141
Y. Wakimura and
N. Yoshida Comments on ``Checking Experiments for
Sequential Machines'' . . . . . . . . . 1141--1142
J. Bredeson Comments on ``Synthesis of
Multiple-Input Change Asynchronous
Machines Using Controlled Excitation and
Flip-Flops'' . . . . . . . . . . . . . . 1142--1143
H. Y. H. Chuang and
S. Das Authors' Reply . . . . . . . . . . . . . 1143--1144
Anonymous IEEE Computer Society Publications . . . 1144--a
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 1144--b
D. H. Lawrie Access and Alignment of Data in an Array
Processor . . . . . . . . . . . . . . . 1145--1155
J. D. Russell and
C. R. Kime System Fault Diagnosis: Masking,
Exposure, and Diagnosability Without
Repair . . . . . . . . . . . . . . . . . 1155--1161
Z. Kohavi and
I. Berger Fault Diagnosis in Combinational Tree
Networks . . . . . . . . . . . . . . . . 1161--1167
H. S. Stone Dynamic Memories with Fast Random and
Sequential Access . . . . . . . . . . . 1167--1174
D. H. Schwartzmann and
J. J. Vidal An Algorithm for Determining the
Topological Dimensionality of Point
Clusters . . . . . . . . . . . . . . . . 1175--1182
W. J. Borucki and
D. H. Card and
G. C. Lyle A Method of Using Cluster Analysis to
Study Statistical Dependence in
Multivariate Data . . . . . . . . . . . 1183--1191
J. C. Dunn Group Averaged Linear Transforms that
Detect Corners and Edges . . . . . . . . 1191--1201
R. De Mori and
S. Rivoira and
A. Serra A Special-Purpose Computer for Digital
Signal Processing . . . . . . . . . . . 1202--1211
M. G. Thomason Stochastic Syntax-Directed Translation
Schemata for Correction of Errors in
Context-Free Languages . . . . . . . . . 1211--1216
F. M. Brown Weighted Realizations of Switching
Functions . . . . . . . . . . . . . . . 1217--1221
H. K. Ramapriyan A Generalization of Eklundh's Algorithm
for Transposing Large Matrices . . . . . 1221--1226
A. Landauro and
J. Lienard On Overflow Detection and Correction in
Digital Filters . . . . . . . . . . . . 1226--1228
S. W. Zucker and
A. Rosenfeld and
L. S. Davis Picture Segmentation by Texture
Discrimination . . . . . . . . . . . . . 1228--1233
T. G. McDonald and
R. K. Guha The Two's Complement Quasi-Serial
Multiplier . . . . . . . . . . . . . . . 1233--1235
W. H. Kohler A Preliminary Evaluation of the Critical
Path Method for Scheduling Tasks on
Multiprocessor Systems . . . . . . . . . 1235--1238
E. E. Swartzlander, Jr. and
A. G. Alexopoulos The Sign/Logarithm Number System . . . . 1238--1242
Anonymous Computers the Next 5 Years . . . . . . . 1242--m-1242--n
Anonymous IEEE Computer Society Publications . . . 1242--o
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 1242--p
Anonymous 1975 Index IEEE Transactions on
Computers Vol. C-24 . . . . . . . . . . 1242--a-1242--l
Stephen Williams and
Ivor R. Smith SCR Bridge Convertor Computation Using
Tensor Methods . . . . . . . . . . . . . 1--6
Arnold K. Griffith Empirical Exploration of the Performance
of the Alpha Beta Tree-Searching
Heuristic . . . . . . . . . . . . . . . 6--11
Chia-Hsiaing Sung Testable Sequential Cellular Arrays . . 11--18
Jeffrey H. Hoel Some Variations of Lee's Algorithm . . . 19--24
L. C. Higbie Vector Floating-Point Data Format . . . 25--32
Yoram Koren Interpolator for a Computer Numerical
Control System . . . . . . . . . . . . . 32--37
Harold Warner and
Charles L. Bell and
Duane M. Rumbaugh and
Timothy V. Gill Computer-Controlled Teaching
Instrumentation for Linguistic Studies
with the Great Apes . . . . . . . . . . 38--43
Melvin A. Breuer and
Shih-Jeh Chang and
Stephen Y. H. Su Identification of Multiple Stuck-Type
Faults in Combinational Networks . . . . 44--54
Tomas Lang and
Harold S. Stone A Shuffle-Exchange Network with
Simplified Control . . . . . . . . . . . 55--65
H. K. Ramapriyan A Multilevel Approach to Sequential
Detection of Pictorial Features . . . . 66--78
Boonsieng Benjauthrit and
Irving S. Reed Galois Switching Functions and Their
Applications . . . . . . . . . . . . . . 78--86
Fabrizio Luccio and
Linda Pagli On the Height of Height-Balanced Trees 87--90
Franz Huber On the Generation of English Sentences 90--91
E. D. Denman An Additional Algorithm for a System of
Coupled Algebraic Matrix Riccati
Equations . . . . . . . . . . . . . . . 91--93
G. Papakonstantinou Cascade Transformation . . . . . . . . . 93--95
J. Roger Jagoe and
Keith A. Paton Measurement of Pneumoconiosis by
Computer . . . . . . . . . . . . . . . . 95--97
V. V. Bapeswara Irao and
V. K. Aatre Reliability Index of Teleprocessing Tree
Networks . . . . . . . . . . . . . . . . 97--98
Fanya S. Montalvo and
Caxton C. Foster An Algorithm for Intercell Communication
in a Tesselated Automaton . . . . . . . 99--102
E. Cerny Comments on ``Equational Logic'' . . . . 102--103
Karl Belser Comment on ``An improved algorithm for
the generation of nonparametric curves'' 103--103
Frank Rubin Generation of Nonparametric Curves . . . 103--103
J. Ramot Nonparametric Curves . . . . . . . . . . 103--104
Vinod K. Malhotra and
Robert D. Fisher A Double Error-Correction Scheme for
Peripheral Systems . . . . . . . . . . . 105--115
Ashok D. Ingle and
Daniel P. Siewiorek A Reliability Model for Various Switch
Designs in Hybrid Redundancy . . . . . . 115--133
Miroslav Pechoucek Anomalous Response Times of Input
Synchronizers . . . . . . . . . . . . . 133--139
Harry C. Andrews and
Claude L. Patterson Outer Product Expansions and Their Uses
in Digital Image Processing . . . . . . 140--148
Carl H. Smith and
Larry D. Wittie Memory Hardware for High Speed Job
Selection . . . . . . . . . . . . . . . 148--156
C. K. Chow Determination of Cache's Capacity and
its Matching Storage Hierarchy . . . . . 157--164
Gerard V. Trunk Stastical Estimation of the Intrinsic
Dimensionality of a Noisy Signal
Collection . . . . . . . . . . . . . . . 165--171
Teruo Okuda and
Eiichi Tanaka and
Tamotsu Kasai A Method for the Correction of Garbled
Words Based on the Levenshtein Metric 172--178
Chris E. Van Haersma Buma and
Robert P. W. Duin Computation of Concave Piecewise Linear
Discriminant Functions Using Chebyshev
Polynomials . . . . . . . . . . . . . . 178--186
Jack Sklansky and
Luigi P. Cordella and
Stefano Levialdi Parallel Detection of Concavities in
Cellular Blobs . . . . . . . . . . . . . 187--196
Harry C. Andrews and
Claude L. Patterson III Digital Interpolation of Discrete Images 196--202
Chao-Chih Yang and
Marilyn A. Tarpy An Algorithm for Deriving All Pairs of
Compatible States by Closure Classes . . 202--207
Y. W. Ng and
A. Avizienis Comments on ``Fault Folding for
Irredundant and Redundant Combinational
Circuits'' . . . . . . . . . . . . . . . 207--207
Kilin To Author's Reply . . . . . . . . . . . . . 207--207
Frank Rubin Correction to ``The Lee Path Connection
Algorithm'' . . . . . . . . . . . . . . 208--208
Anonymous Editor's Notice . . . . . . . . . . . . 209--209
James W. Bowra and
H. C. Torng The Modeling and Design of Multiple
Function-Unit Processors . . . . . . . . 210--221
N. B. Rabbat and
S. Q. A. M. A. Hossain and
W. D. Ryan Improved Simulation of Pulse Propagation
Between Digital Circuits . . . . . . . . 221--228
Shachindra N. Maheshwari and
S. Louis Hakimi On Models for Diagnosable Systems and
Probabilistic Fault Diagnosis . . . . . 228--236
Thurman A. Irving and
Sajjan G. Shiva and
H. Troy Nagle Flip-Flops for Multiple-Valued Logic . . 237--246
Kozo Kinoshita and
Tsutomu Sasao and
Jun Matsuda On Magnetic Bubble Logic Circuits . . . 247--253
C. K. Wong and
Don Coppersmith The Generation of Permutations in
Magnetic Bubble Memories . . . . . . . . 254--262
Bijan Moayer and
King-Sun Fu A Tree System Approach for Fingerprint
Pattern Recognition . . . . . . . . . . 262--274
Richard A. Thompson Language Correction Using Probabilistic
Grammars . . . . . . . . . . . . . . . . 275--286
P. C. Y. Yip Some Aspects of the Zoom Transform . . . 287--296
J. L. Huertas and
J. I. Acha Self-Synchronization of Asynchronous
Sequential Circuits Employing a General
Clock Function . . . . . . . . . . . . . 297--300
Frank B. Manning and
Robert R. Fenichel Synchronous Counters Constructed
Entirely of J--K Flip-Flops . . . . . . 300--306
P. S. Noe and
V. T. Rhyne Optimum State Assignment for the D
Flip-Flop . . . . . . . . . . . . . . . 306--311
Edgar Ducasse and
Gernot Metze Rebuttal to the Authors' Reply to our
Comments on ``The Relationship Between
Multivalued Switching Algebra and
Boolean Algebra Under Different
Definitions of Complement'' . . . . . . 311--312
A. D. C. Holden Trends in Artificial Intelligence . . . 313--316
G. W. Ernst A Definition-Driven Theorem Prover . . . 317--322
D. Gelperin A Resolution-Based Proof Procedure Using
Deletion-Directed Search . . . . . . . . 323--327
R. Reiter A Semantically Guided Deductive System
for Automatic Theorem Proving . . . . . 328--334
D. W. Loveland and
M. E. Stickel A Hole in Goal Trees: Some Guidance from
Resolution Theory . . . . . . . . . . . 335--341
E. Sandewall Conversion of Predicate-Calculus Axioms
to Corresponding Deterministic Programs 342--346
D. G. Bobrow and
B. Wegbreit A Model for Control Structures for
Artificial Intelligence Programming
Languages . . . . . . . . . . . . . . . 347--353
W. Teitelman Clisp: Conversational Lisp . . . . . . . 354--357
K. Biss and
R. T. Chien and
F. Stahl and
S. J. Weissman Semantic Modeling for Deductive
Question-Answering . . . . . . . . . . . 358--366
R. C. Moore D-Script: a Computational Theory of
Descriptions . . . . . . . . . . . . . . 366--373
A. K. Joshi and
R. M. Weischedel Some Frills for Modal Tic-Tac-Toe:
Semantics of Predicate Complement
Constructions . . . . . . . . . . . . . 374--389
C. V. Srinivasan The Architecture of Coherent Information
System: a General Problem Solving System 390--402
D. A. Waterman and
A. Newell PAS-II: An Interactive Task-Free Version
of an Automatic Protocol Analysis System 402--413
L. D. Erman and
R. D. Fennell and
V. R. Lesser and
D. R. Reddy System Organizations for Speech
Understanding: Implications of Network
and Multiprocessor Computer
Architectures for AI . . . . . . . . . . 414--421
D. R. Reddy and
L. D. Erman and
R. D. Fennell and
R. B. Neely The Hearsay-I Speech Understanding
System: An Example of the Recognition
Process . . . . . . . . . . . . . . . . 422--431
Donald E. Walker Speech Understanding Through Syntactic
and Semantic Analysis . . . . . . . . . 432--439
Gerald J. Agin and
Thomas O. Binford Computer Description of Curved Objects 439--449
Frank O'Gorman and
M. B. Clowes Finding Picture Edges Through
Collinearity of Feature Points . . . . . 449--456
Anonymous IEEE Computer Society Publications . . . 456--456
Anonymous Management Auditing of Computer
Operations . . . . . . . . . . . . . . . 456--456
F. Neuman and
R. B. Merrick Autocorrelation Peaks in Congruential
Pseudorandom Number Generators . . . . . 457--460
F. Neuman and
C. F. Martin The Autocorrelation Structure of
Tausworthe Pseudorandom Number
Generators . . . . . . . . . . . . . . . 460--464
S. Zohar Rounding and Truncation in Radix (-2)
Systems . . . . . . . . . . . . . . . . 464--469
S. I. Kartashev A Microcomputer with a Shift-Register
Memory . . . . . . . . . . . . . . . . . 470--484
C. V. Ramamoorthy and
T. F. Fox and
H. F. Li Scheduling Parallel Processable Tasks
for a Uniprocessor . . . . . . . . . . . 485--495
T. Lang Interconnections Between Processors and
Memory Modules Using the
Shuffle-Exchange Network . . . . . . . . 496--503
D. H. Ballard and
J. Sklansky A Ladder-Structured Decision Tree for
Recognizing Tumors in Chest Radiographs 503--513
T. Jayasri and
D. Basu An Approach to Organizing
Microinstructions which Minimizes the
Width of Control Store Words . . . . . . 514--521
Ming-Lei Liou Spline Fit Made Easy . . . . . . . . . . 522--527
S. Rudeanu Square Roots and Functional
Decompositions of Boolean Functions . . 528--532
E. Luczak and
A. Rosenfeld Distance on a Hexagonal Grid . . . . . . 532--533
R. J. Polge and
B. K. Bhagavan Efficient Fast Fourier Transform
Programs for Arbitrary Factors with One
Step Loop Unscrambling . . . . . . . . . 534--539
R. W. Ehrich A Readily Computable Decision Rule with
Variable Dimensionality . . . . . . . . 539--542
H. C. Ratz Matrix Transformations for N-Tuple
Analysis of Binary Patterns . . . . . . 542--546
L. N. Goyal A Note on Atrubin's Real-Time Iterative
Multiplier . . . . . . . . . . . . . . . 546--548
F. P. Preparata and
D. E. Muller Efficient Parallel Evaluation of Boolean
Expressions . . . . . . . . . . . . . . 548--549
D. P. Agrawal Signed Modified Reflected Binary Code 549--552
Anonymous Announcing the IEEE Computer Society's
Standing Subscription Plan . . . . . . . 552--552
Anonymous IEEE Computer Society Publications . . . 552--552
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 552--552
J. F. Meyer and
J.-C. Rault Fault-Tolerant Computing: a Introduction 553--556
W. C. Carter and
C. E. McCarthy Implementation of an Experimental
Fault-Tolerant Memory System . . . . . . 557--568
J. Losq A Highly Efficient Redundancy Scheme:
Self-Purging Redundancy . . . . . . . . 569--578
J. F. Meyer Computation-Based Reliability Analysis 578--584
F. Barsi and
F. Grandoni and
P. Maestrini A Theory of Diagnosability of Digital
Systems . . . . . . . . . . . . . . . . 585--593
R. P. Batni and
C. R. Kime A Module-Level Testing Approach for
Combinational Networks . . . . . . . . . 594--604
F. J. O. Dias Truth-Table Verification of an Iterative
Logic Array . . . . . . . . . . . . . . 605--613
J. P. Hayes Transition Count Testing of
Combinational Logic Circuits . . . . . . 613--620
S. B. Akers, Jr. A Logic System for Fault Test Generation 620--630
P. Muth A Nine-Valued Circuit Model for Test
Generation . . . . . . . . . . . . . . . 630--636
H. Y. H. Chuang Fail-Safe Asynchronous Machines with
Multiple-Input Changes . . . . . . . . . 637--642
P. Prusinkiewicz and
S. Budkowski A Double Track Error-Correction Code for
Magnetic Tape . . . . . . . . . . . . . 642--645
C. Robach and
G. Saucier and
J. Lebrun Processor Testability and Design
Consequences . . . . . . . . . . . . . . 645--652
C. Turcat and
A. Verdillon Recursion and Testing of Combinational
Circuits . . . . . . . . . . . . . . . . 652--654
J. J. Shedletsky and
E. J. McCluskey The Error Latency of a Fault in a
Sequential Digital Circuit . . . . . . . 655--659
R. David and
G. Blanchet About Random Fault Detection of
Combinational Networks . . . . . . . . . 659--664
P. Agrawal and
V. D. Agrawal On Monte Carlo Testing of Logic Tree
Networks . . . . . . . . . . . . . . . . 664--667
Anonymous 1975 List of Reviewers . . . . . . . . . 668--672
Anonymous IEEE Computer Society Publications . . . 672--672
Anonymous IEEE Computer Society Membership &
Publications . . . . . . . . . . . . . . 672--672
L. Yelowitz and
A. Kandel New Results and Techniques in Resolution
Theory . . . . . . . . . . . . . . . . . 673--677
K. Sugino and
Y. Inagaki and
T. Fukumura A Note on the Linear Space Automata
Stability Problem . . . . . . . . . . . 678--683
T. F. Tabloski and
F. J. Mowle A Numerical Expansion Technique and Its
Application to Minimal Multiplexer Logic
Circuits . . . . . . . . . . . . . . . . 684--702
J. J. Capowski The Matrix Transform Processor . . . . . 703--712
P. R. Blevins and
C. V. Ramamoorthy Aspects of a Dynamically Adaptive
Operating System . . . . . . . . . . . . 713--725
R. W. Ehrich and
J. P. Foith Representation of Random Waveforms by
Relational Trees . . . . . . . . . . . . 725--736
O. I. Aven and
L. B. Boguslavsky and
Y. A. Kogan Some Results on Distribution-Free
Analysis of Paging Algorithms . . . . . 737--745
C. R. Baugh and
B. A. Wooley Statistical Analysis of a Differential
Threshold Logic Circuit Configuration 745--754
Ming Duenn Ni and
J. K. Aggarwal Error analysis of two-dimensional
recursive digital filters employing
floating-point arithmetic . . . . . . . 755--759
J. I. Acha and
J. L. Huertas On Input and Next-State Equations of the
R--S Type $M$-Stable . . . . . . . . . . 759--763
M. L. Joliat A Simple Technique for Partial
Elimination of Unit Productions from
LR(k) Parsers . . . . . . . . . . . . . 763--764
R. M. Haralick A Storage Efficient Way to Implement the
Discrete Cosine Transform . . . . . . . 764--765
C.-K. Yuen Comments on ``The Application of the
Rademacher--Walsh Transform to Boolean
Function Classification and Threshold
Logic Synthesis'' . . . . . . . . . . . 766--767
C. R. Edwards Author's Reply . . . . . . . . . . . . . 767--767
C. V. S. Rao and
N. N. Biswas Further Comments on ``Closure Partition
Method for Minimizing Incomplete
Sequential Machines'' . . . . . . . . . 767--768
Anonymous IEEE Computer Society Publications . . . 768--768
Anonymous Papers to be Published in the Next Issue
August 1976 . . . . . . . . . . . . . . 768--768
L. J. Henschen Introduction Tutorial on Resolution . . 769--772
J. D. McCharen and
R. A. Overbeek and
L. A. Wos Problems and Experiments for and with
Automated Theorem-Proving Programs . . . 773--782
G. A. Wilson and
J. Minker Resolution, Refinements, and Search
Strategies: a Comparative Study . . . . 782--801
P. B. Andrews Refutations by Matings . . . . . . . . . 801--807
D. H. Fishman A Problem-Oriented Search Procedure for
Theorem Proving . . . . . . . . . . . . 807--815
L. J. Henschen Semantic Resolution for Horn Sets . . . 816--822
S. Sickel A Search Technique for Clause
Interconnectivity Graphs . . . . . . . . 823--835
S. K. Winker An Evaluation of an Implementation of
Qualified Hyperresolution . . . . . . . 835--843
G. W. Ernst and
R. J. Hookway The Use of Higher Order Logic in Program
Verification . . . . . . . . . . . . . . 844--851
C. G. Morgan Methods for Automated Theorem Proving in
Nonclassical Logics . . . . . . . . . . 852--862
Anonymous Announcing the IEEE Computer Society's
Standing Subscription Plan . . . . . . . 862--862
Anonymous Computers \ldots by the millions, for
the millions . . . . . . . . . . . . . . 862--862
Anonymous IEEE Computer Society Publications . . . 862--862
Anonymous If Your Computer Engineering Library
Doesn't Subscribe to all $3$ It's Not
Complete . . . . . . . . . . . . . . . . 862--862
S. C. Lee Vector Boolean Algebra and Calculus . . 865--874
J. P. Hayes A Graph Model for Fault-Tolerant
Computing Systems . . . . . . . . . . . 875--884
J. P. Hayes On the Properties of Irredundant Logic
Networks . . . . . . . . . . . . . . . . 884--892
S. Muroga and
Hung Chi Lai Minimization of Logic Networks Under a
Generalized Cost Function . . . . . . . 893--907
A. J. Smith A Modified Working Set Paging Algorithm 907--914
K. S. Trivedi Prepaging and Applications to Array
Algorithms . . . . . . . . . . . . . . . 915--921
J. Pearl Memory Versus Error Characteristics for
Inexact Representations of Linear Orders 922--928
S. E. Orcutt Implementation of Permutation Functions
in Illiac IV-Type Computers . . . . . . 929--936
W. L. G. Koontz and
P. M. Narendra and
K. Fukunaga A Graph-Theoretic Approach to
Nonparametric Cluster Analysis . . . . . 936--944
D. K. Pradhan and
S. M. Reddy Techniques to Construct . . . . . . . . 945--949
R. E. Twogood and
M. P. Ekstrom An Extension of Eklundh's Matrix
Transposition Algorithm and Its
Application in Digital Image Processing 950--952
M. I. Elmasry Logic Design Using EFL Structures . . . 952--956
T. Jayashree and
D. Basu On Binary Multiplication Using the
Quarter Square Algorithm . . . . . . . . 957--960
Anonymous IEEE Computer Society Publications . . . 960--960
Anonymous Papers to be Published in the Next Issue
October 1976 . . . . . . . . . . . . . . 960--960
Anonymous Foreword and Introduction . . . . . . . 961--962
T. Agerwala Microprogram Optimization: a Survey . . 962--973
D. A. Patterson Strum: Structured Microprogram
Development System for Correct Firmware 974--985
S. Dasgupta and
J. Tartar The Identification of Maximal
Parallelism in Straight-Line
Microprograms . . . . . . . . . . . . . 986--992
M. Tsuchiya and
M. J. Gonzalez Toward Optimization of Horizontal
Microprograms . . . . . . . . . . . . . 992--999
S. H. Fuller and
V. R. Lesser and
C. G. Bell and
C. H. Kaman The Effects-of Emerging Technology and
Emulation Requirements on
Microprogramming . . . . . . . . . . . . 1000--1009
D. A. Huffman Curvature and Creases: a Primer on Paper 1010--1019
D. B. Cooper and
N. Yalabik On the Computational Cost of
Approximating and Recognizing
Noise-Perturbed Straight Lines and
Quadratic Arcs in the Plane . . . . . . 1020--1032
H. A. Curtis Simplified Decomposition of Boolean
Functions . . . . . . . . . . . . . . . 1033--1044
P. B. Worland Parallel Methods for the Numerical
Solution of Ordinary Differential
Equations . . . . . . . . . . . . . . . 1045--1048
S. Zohar A Realization of the RAM Digital Filter 1048--1052
M. Onoe and
M. Saito Automatic Threshold Setting for the
Sequential Similarity Detection
Algorithm . . . . . . . . . . . . . . . 1052--1053
S. R. Das and
C. R. Datta and
P. K. Srimani and
K. Mandal Comments on ``Derivation of Minimal
Complete Sets of Test-Input Sequences
Using Boolean Differences'' . . . . . . 1053--1056
Anonymous IEEE Computer Society Publications . . . 1056--1056
Anonymous Papers to be Published in the Next Issue
November 1976 . . . . . . . . . . . . . 1056--1056
P. N. Marinos Author's Reply . . . . . . . . . . . . . 1056--1056
N. B. Rabbat and
S. Q. A. M. A. Hossain and
W. D. Ryan Corrections to ``Improved Simulation of
Pulse Propagation Between Digital
Circuits'' . . . . . . . . . . . . . . . 1056--1056
S. S. Yau and
J. Chung On the Design of Modulo Arithmetic Units
Based on Cyclic Groups . . . . . . . . . 1057--1067
K. Vairavan and
R. A. Demillo On the Computational Complexity of a
Generalized Scheduling Problem . . . . . 1067--1073
G. Hannington and
D. G. Whitehead A Floating-Point Multiplexed DDA System 1074--1077
F. G. Gray and
J. F. Meyer Algebraic Properties of Functions
Affecting Optimum Fault-Tolerant
Realizations . . . . . . . . . . . . . . 1078--1088
B. K. Gilbert and
M. T. Storma and
C. E. James and
L. W. Hobrock and
E. S. Yang and
K. C. Ballard and
E. H. Wood A Real-Time Hardware System for Digital
Processing of Wide-Band Video Images . . 1089--1100
B. K. Gilbert and
M. T. Storma and
K. C. Ballard and
L. W. Hobrock and
C. E. James and
E. H. Wood A Programmable Dynamic Memory Allocation
System for Input/Output of Digital Data
into Standard Computer Memories at $40$
Megasamples/s . . . . . . . . . . . . . 1101--1109
R. Mizoguchi and
M. Shimura Nonparametric Learning Without a Teacher
Based on Mode Estimation . . . . . . . . 1109--1117
Der Tsai Lee and
Se June Hong An Algorithm for Transformation of an
Arbitrary Switching Function to a
Completely Symmetric Function . . . . . 1117--1123
A. Kandel On the Decomposition of Fuzzy Functions 1124--1130
D. Fraley and
J. Talavage A Realization Algorithm for Multiple
Preset Experiments . . . . . . . . . . . 1130--1132
J. C. Majithia Some Comments Concerning Design of
Pipeline Arithmetic Arrays . . . . . . . 1132--1134
P. W. Baker Suggestion for a fast binary sine/cosine
generator . . . . . . . . . . . . . . . 1134--1136
R. Takiyama A Relationship Between Two Types of
Two-Layer Threshold-Element
Pattern-Recognition Networks . . . . . . 1136--1139
J. T. Butler Restricted Cellular Networks . . . . . . 1139--1142
B. J. Fino and
V. R. Algazi Unified Matrix Treatment of the Fast
Walsh--Hadamard Transform . . . . . . . 1142--1146
E. A. Parrish, Jr. and
E. S. McVey Implications of Charge-Coupled Devices
for Pattern Recognition . . . . . . . . 1146--1152
M. Mor On the Three-Valued Simulation of
Digital Systems . . . . . . . . . . . . 1152--1156
R. M. M. Oberman The J--K Gate . . . . . . . . . . . . . 1156--1159
Y. Zisapel A Simplified General Method for Static
Hazard Detection . . . . . . . . . . . . 1160--1164
M. C. Golumbic Combinatorial Merging . . . . . . . . . 1164--1167
S. Toida System Diagnosis and Redundant Tests . . 1167--1170
R. Nevatia Locating Object Boundaries in Textured
Environments . . . . . . . . . . . . . . 1170--1175
R. P. W. Duin On the Choice of Smoothing Parameters
for Parzen Estimators of Probability
Density Functions . . . . . . . . . . . 1175--1179
G. Frosini and
G. B. Gerace Synchronous and Asynchronous Procedures
for the Synthesis of Master-Slave
Circuits . . . . . . . . . . . . . . . . 1179--1184
M. Ikram and
D. A. Roy A Simple Technique to Improve the
Pi-Algorithm for Prime Implicant
Determination . . . . . . . . . . . . . 1184--1187
Anonymous Guidelines for Editors of the IEEE
Computer Society . . . . . . . . . . . . 1187--1188
Anonymous IEEE Computer Society Publications . . . 1188--1188
Anonymous Papers to be Published in the Next Issue
December 1976 . . . . . . . . . . . . . 1188--1188
Anonymous Special Sections Announcement . . . . . 1188--1188
Anonymous Preface . . . . . . . . . . . . . . . . 1189--1190
H. D. Huskey and
V. R. Huskey Chronology of Computing Devices . . . . 1190--1199
C. V. Ramamoorthy Computer Science and Engineering
Education . . . . . . . . . . . . . . . 1200--1206
P. Wegner Programming Languages --- The First 25
Years . . . . . . . . . . . . . . . . . 1207--1225
B. W. Boehm Software Engineering . . . . . . . . . . 1226--1241
S. A. Szygenda and
E. W. Thompson Modeling and Digital Simulation for
Design Verification and Diagnosis . . . 1242--1253
R. I. Baum and
D. K. Hsiao Database Computers --- a Step Towards
Data Utilities . . . . . . . . . . . . . 1254--1259
D. Nitzan and
C. A. Rosen Programmable Industrial Automation . . . 1259--1270
J.-L. Baer Multiprocessing Systems . . . . . . . . 1271--1277
H. L. Garner A Survey of Some Recent Contributions to
Computer Arithmetic . . . . . . . . . . 1277--1282
A. S. Hoagland Magnetic Recording Storage . . . . . . . 1283--1288
R. A. Henle and
I. T. Ho and
W. S. Johnson and
W. D. Pricer and
J. L. Walsh The Application of Transistor Technology
to Computers . . . . . . . . . . . . . . 1289--1303
A. Aviziens Fault-Tolerant Systems . . . . . . . . . 1304--1312
G. A. Korn and
R. Vichnevetsky Analog/Hybrid Computation and Digital
Simulation . . . . . . . . . . . . . . . 1312--1320
W. M. Newman Trends in Graphic Display Design . . . . 1321--1325
L. Kleinrock On Communications and Networks . . . . . 1326--1335
King-Sun Fu and
A. Rosenfeld Pattern Recognition and Image Processing 1336--1346
M. A. Arbib Artificial Intelligence: Cooperative
Computation and Man--Machine Symbiosis 1346--1352
R. Turn and
W. H. Ware Privacy and Security Issues in
Information Systems . . . . . . . . . . 1353--1361
Anonymous IEEE Computer Society Publications . . . 1361--1361
Anonymous 1976 Index IEEE Transactions on
Computers Vol. C-25 . . . . . . . . . . 1361--1361
Anonymous Papers to be Published in the Next Issue
January 1977 . . . . . . . . . . . . . . 1361--1361
Anonymous Editor's Notice . . . . . . . . . . . . 1--1
Louis G. Birta and
Ratilal R. Shah The Minimization of Inverters in Analog
Computer Programming . . . . . . . . . . 2--12
Stephen H. Unger The Generation of Completion Signals in
Iterative Combinational Circuits . . . . 13--18
Simon H. Lavington and
Gareth Thomas and
David B. G. Edwards The MU5 Multicomputer Communication
System . . . . . . . . . . . . . . . . . 19--28
Sharad C. Seth and
K. L. Kodandapani Diagnosis of Faults in Linear Tree
Networks . . . . . . . . . . . . . . . . 29--33
Alexander A. Sawchuk Real-Time Correction of Intensity
Nonlinearities in Imaging Systems . . . 34--39
Sahibsingh A. Dudani and
Kenneth J. Breeding and
Robert B. McGhee Aircraft Identification by Moment
Invariants . . . . . . . . . . . . . . . 39--46
James M. Garnett and
Stephen S. Yau Nonparametric Estimation of the Bayes
Error of Feature Extractors Using
Ordered Nearest Neighbor Sets . . . . . 46--54
Michael J. Corinthios A Fast $Z$ Transformation Algorithm for
System Identification . . . . . . . . . 55--67
J. R. Brandsma and
B. L. A. Waumans The Hardware Simulator: a Tool for
Evaluating Computer Systems . . . . . . 68--72
V. T. Rhyne and
P. S. Noe On the Number of Distinct State
Assignments for a Sequential Machine . . 73--75
Andrew K. C. Wong and
T. S. Liu A Decision-Directed Clustering Algorithm
for Discrete Data . . . . . . . . . . . 75--82
Jean P. Chinal Boolean Features of Sign-Flipping and
Signed-Carry Logic in Base-$2$ . . . . . 82--86
John En A New Random-Error-Correction Code . . . 86--88
B. R. Gaines and
I. H. Witten Stability and Admissibility of Adaptive
Threshold Logic Convergence . . . . . . 88--91
A. Sen Gupta and
D. K. Chattopadhyay and
A. Palit and
A. K. Bandyopadhyay and
M. S. Basu and
A. K. Choudhury Realization of Fault-Tolerant and
Fail-Safe Sequential Machines . . . . . 91--96
Tse-Yun Feng Parallel Processors and Processing: An
Introduction . . . . . . . . . . . . . . 97--98
Richard D. Fennell and
Victor R. Lesser Parallelism in Artificial Intelligence
Problem Solving: a Case Study of Hearsay
II . . . . . . . . . . . . . . . . . . . 98--111
Charles A. Finnila and
Hubert H. Love The Associative Linear Array Processor 112--125
G. Jack Lipovski On a Varistructured Array of
Microprocessors . . . . . . . . . . . . 125--138
James Rumbaugh A Data Flow Multiprocessor . . . . . . . 138--146
Ahmed H. Sameh and
David J. Kuck A Parallel $QR$ Algorithm for Symmetric
Tridiagonal Matrices . . . . . . . . . . 147--153
Howard Jay Siegel Analysis Techniques for SIMD Machine
Interconnection Networks and the Effects
of Processor Address Masks . . . . . . . 153--161
Faye A. Briggs and
Edward S. Davidson Organization of Semiconductor Memories
for Parallel-Pipelined Processors . . . 162--169
Terrence L. Saxton and
Cheng-Chi Huang An Optimal Frame Synchronization
Technique Using an Associative Processor 170--174
Kenneth E. Batcher The Multidimensional Access Memory in
STARAN . . . . . . . . . . . . . . . . . 174--177
Andrew F. Blumenthal and
Larry S. Davis and
Azriel Rosenfeld Detecting Natural ``Plateaus'' in
One-Dimensional Patterns . . . . . . . . 178--179
W. K. Chow and
J. K. Aggarwal Computer Analysis of Planar Curvilinear
Moving Images . . . . . . . . . . . . . 179--185
George A. Berges Use of Postfix Notation for the
Description of Microcellular Arrays . . 185--191
Henry R. Bauer Comments on ``On the Floating Point
Representation of Complex Numbers'' . . 191--191
C. K. Yuen Author's Reply . . . . . . . . . . . . . 192--192
A. Lew On Analog Computer Generation of
Continuous Functions . . . . . . . . . . 193--195
B. J. Nordmann, Jr. and
B. H. McCormick Modular Asynchronous Control Design . . 196--207
M. G. Karpovsky Error Detection in Digital Devices and
Computer Programs with the Aid of Linear
Recurrent Equations Over Finite
Commutative Groups . . . . . . . . . . . 208--218
B. R. Hunt Bayesian Methods in Nonlinear Digital
Image Restoration . . . . . . . . . . . 219--229
D. Landis Multiple-Response Resolution in
Associative Systems . . . . . . . . . . 230--235
L. S. Davis Understanding Shape: Angles and Sides 236--242
B. W. Unger A Computer Resource Allocation Model
with Some Measured and Simulation
Results . . . . . . . . . . . . . . . . 243--259
R. P. Williams Serial Integer Arithmetic with Magnetic
Bubbles . . . . . . . . . . . . . . . . 260--264
L. Wang Cross-Section Reconstruction with a
Fan-Beam Scanning Geometry . . . . . . . 264--268
D. Tjostheim Recognition of Waveforms Using
Autoregressive Feature Extraction . . . 268--270
J. J. Shedletsky Comment on the Sequential and
Indeterminate Behavior of an
End-Around-Carry Adder . . . . . . . . . 271--272
W. B. Thompson Textural Boundary Analysis . . . . . . . 272--276
W. H. Ninke and
G. R. Ritchie Shift Register Binary Rate Multipliers 276--278
S. H. Unger Self-Synchronizing Circuits and
Nonfundamental Mode Operation . . . . . 278--281
H. T. Mouftah and
I. B. Jordan Design of Ternary COS/MOS Memory and
Sequential Circuits . . . . . . . . . . 281--288
R. C. T. Lee and
J. R. Slagle and
H. Blum A Triangulation Method for the
Sequential Mapping of Points from
$N$-Space to Two-Space . . . . . . . . . 288--292
L. Sintonen A Clocked Multivalued Flip-Flop . . . . 292--294
G. Philokyprou and
C. Halatsis and
N. Gaitanis On the Problem of Finding $d$, $t$, $r$,
and $j$ Type Partition Pairs of a
Sequential Machine . . . . . . . . . . . 294--297
H. Freeman and
L. S. Davis A Corner-Finding Algorithm for
Chain-Coded Curves . . . . . . . . . . . 297--303
J. Waxman and
J. Rootenberg Logic Circuit for Cycle Detection in a
State Diagram . . . . . . . . . . . . . 303--305
M. Sundaramurthy and
V. U. Reddy Some Results in Fixed-Point Fast Fourier
Transform Error Analysis . . . . . . . . 305--308
D. Cheng and
J. J. Liu An Algorithm for Sequency Ordering of
Hadamard Functions . . . . . . . . . . . 308--309
C. K. Yuen On Little's Digital Filtering Algorithm 309--309
K. L. Kodandapani and
R. V. Setlur A Note on Minimal Reed--Muller Canonical
Forms of Switching Functions . . . . . . 310--313
S. M. Reddy A Note on Testing Logic Circuits by
Transition Counting . . . . . . . . . . 313--314
H. Dirilten and
T. G. Newman Pattern Matching Under Affine
Transformations . . . . . . . . . . . . 314--317
E. G. Wormald A Note on Synchronizer or Interlock
Maloperation . . . . . . . . . . . . . . 317--318
Anonymous Maxwell's Displacement Current . . . . . 318--318
S. M. Reddy Comments on ``Minimal Fault Tests for
Combinational Networks'' . . . . . . . . 318--319
Anonymous Call for Papers . . . . . . . . . . . . 320--320
Anonymous IEEE Computer Society Publications . . . 320--320
V. Gourishankar Comments on ``An Additional Algorithm
for a System of Coupled Algebraic Matrix
Riccati Equations'' . . . . . . . . . . 320--320
M. R. Garey and
F. K. Hwang and
D. S. Johnson Algorithms for a Set Partitioning
Problem Arising in the Design of
Multipurpose Units . . . . . . . . . . . 321--328
Chung-Kwong Yuen Testing Random Number Generators by
Walsh Transform . . . . . . . . . . . . 329--333
I. Koren and
Z. Kohavi Sequential Fault Diagnosis in
Combinational Networks . . . . . . . . . 334--342
A. K. Jain A Semicausal Model for Recursive
Filtering of Two-Dimensional Images . . 343--350
S. J. Wernecke and
L. R. D'Addario Maximum Entropy Image Reconstruction . . 351--364
S. H. Unger Tree Realizations of Iterative Circuits 365--383
G. J. Vanderbrug and
A. Rosenfeld Two-Stage Template Matching . . . . . . 384--393
S. W. Zucker and
R. A. Hummel and
A. Rosenfeld An Application of Relaxation Labeling to
Line and Curve Enhancement . . . . . . . 394--403
J. H. Friedman A Recursive Partitioning Decision Rule
for Nonparametric Classification . . . . 404--408
O. R. Mitchell and
C. R. Myers and
W. Boyne A Max-Min Measure for Image Texture
Analysis . . . . . . . . . . . . . . . . 408--414
J. Knaizuk, Jr. and
C. R. P. Hartmann An Algorithm for Testing Random Access
Memories . . . . . . . . . . . . . . . . 414--416
J. H. J. Allum Author's Reply . . . . . . . . . . . . . 416--416
Anonymous IEEE Computer Society Publications . . . 416--416
Anonymous Papers to be Published in the Next Issue
May 1977 . . . . . . . . . . . . . . . . 416--416
T. P. T. Williams Comments on ``A Least Mean Squares Cubic
Algorithm for On-Line Differential of
Sampled Analog Signals'' . . . . . . . . 416--416
R. P. Voith ULM Implicants for Minimization of
Universal Logic Module Circuits . . . . 417--424
A. N. C. Kang and
R. C. T. Lee and
Chin-Liang Chang and
Shi-Kuo Chang Storage Reduction Through Minimal
Spanning Trees and Spanning Forests . . 425--434
Y. A. Geadah and
M. J. G. Corinthios Natural, Dyadic, and Sequency Order
Algorithms and Processors for the
Walsh--Hadamard Transform . . . . . . . 435--442
A. Habibi Fast Suboptimal Wiener Filtering of
Markov Sequences . . . . . . . . . . . . 443--449
H. C. Torng and
N. C. Wilhelm The Optimal Interconnection of Circuit
Modules in Microprocessor and Digital
System Design . . . . . . . . . . . . . 450--457
M. C. Pease III The Indirect Binary $n$-Cube
Microprocessor Array . . . . . . . . . . 458--473
F. P. Preparata and
D. E. Mulller and
A. B. Barak Reduction of Depth of Boolean Networks
with a Fan-In Constraint . . . . . . . . 474--479
D. Y. Chang and
D. J. Kuck and
D. H. Lawrie On the Effective Bandwidth of Parallel
Memories . . . . . . . . . . . . . . . . 480--490
F. J. Hill and
B. Huey SCIRTSS: a Search System for Sequential
Circuit Test Sequences . . . . . . . . . 490--502
G. Papakonstantinou A Method to Generate the Prime Cascades
of an Arbitrary Switching Function . . . 503--506
D. P. Bhandarkar Some Performance Issues in
Multiprocessor System Design . . . . . . 506--511
D. P. Agrawal Comments on ``A Note on Base-$2$
Arithmetic Logic'' . . . . . . . . . . . 511--511
C. K. Yuen Author's Reply . . . . . . . . . . . . . 511--512
Anonymous Compcon 77 Fall . . . . . . . . . . . . 512--512
Anonymous IEEE Computer Society Publications . . . 512--512
Y. L. Sagalovich Comments on ``On the Number of Classes
of Binary Matrices'' . . . . . . . . . . 512--512
Anonymous Editor's Notice . . . . . . . . . . . . 513--513
G. J. Nutt Memory and Bus Conflict in an Array
Processor . . . . . . . . . . . . . . . 514--521
F. J. Maryanski and
T. L. Booth Inference of Finite-State Probabilistic
Grammars . . . . . . . . . . . . . . . . 521--536
F. B. Manning An Approach to Highly Integrated,
Computer-Maintained Cellular Arrays . . 536--552
S. G. Papaioannou Optimal Test Generation in Combinational
Networks by Pseudo-Boolean Programming 553--560
A. K. Jain A Fast Karhunen--Loeve Transform for
Digital Restoration of Images Degraded
by White and Colored Noise . . . . . . . 560--571
W. K. Pratt and
F. Davarian Fast Computational Techniques for
Pseudoinverse and Wiener Image
Restoration . . . . . . . . . . . . . . 571--580
Tso-Kai Liu Synthesis of Multilevel Feed-Forward MOS
Networks . . . . . . . . . . . . . . . . 581--588
R. W. Ehrich Detection of Global Edges in Textured
Images . . . . . . . . . . . . . . . . . 589--603
J. Kittler On the Discriminant Vector Method of
Feature Selection . . . . . . . . . . . 604--606
R. L. Rivest The Necessity of Feedback in Minimal
Monotone Combinational Circuits . . . . 606--607
D. C. Van Voorhis Comments on ``A Computer Algorithm for
Transposing Nonsquare Matrices'' . . . . 607--608
Anonymous IEEE Computer Society Publications . . . 608--608
Anonymous Papers to be Published in the Next Issue
July 1977 . . . . . . . . . . . . . . . 608--608
Anonymous Computer Arithmetic: Foreword and Survey 609--609
Ulrich Kulisch Mathematical Foundation of Computer
Arithmetic . . . . . . . . . . . . . . . 610--621
Gerd Bohlender Floating-Point Computation of Functions
with Maximum Accuracy . . . . . . . . . 621--632
E. V. Krishnamurthy Matrix Processors Using $p$-adic
Arithmetic for Exact Linear Computations 633--639
Robert L. Bivins and
Nicholas C. Metropolis Significance Arithmetic: Application to
a Partial Differential Equation . . . . 639--642
David J. Kuck and
Douglass S. Parker Jr. and
Ahmed H. Sameh Analysis of Rounding Methods in
Floating-Point Arithmetic . . . . . . . 643--650
P. Kornerup and
B. D. Shriver A Unified Numeric Representation
Arithmetic Unit and Its Language Support 651--659
J. G. Kent Highlights of a Study of Floating-Point
Instructions . . . . . . . . . . . . . . 660--666
Milo\vs D. Ercegovac A General Hardware-Oriented Method for
Evaluation of Functions and Computations
in a Digital Computer . . . . . . . . . 667--680
Kishor S. Trivedi and
Milo\vs D. Ercegovac On-Line Algorithms for Division and
Multiplication . . . . . . . . . . . . . 681--687
M. Benedek Developing Large Binary to BCD
Conversion Structures . . . . . . . . . 688--700
K. S. Trivedi On the Use of Continued Fractions for
Digital Computer Arithmetic . . . . . . 700--704
Anonymous IEEE Computer Society Publications . . . 704--704
Anonymous Papers to be Published in the Next Issue
August 1977 . . . . . . . . . . . . . . 704--704
J. Gecsei Interconnection Networks from Three
State Cells . . . . . . . . . . . . . . 705--711
Shyh-Ching Chen and
D. J. Kuck Combinational Circuit Synthesis with
Time and Component Bounds . . . . . . . 712--726
R. David Modular Design of Asynchronous Circuits
Defined by Graphs . . . . . . . . . . . 727--737
M. J. Ashjaee and
S. M. Reddy On Totally Self-Checking Checkers for
Separable Codes . . . . . . . . . . . . 737--744
E. Cerny and
M. A. Marin An Approach to Unified Methodology of
Combinational Switching Circuits . . . . 745--756
V. T. Rhyne and
P. S. Noe and
M. H. Mckinney and
U. W. Pooch A New Technique for the Fast
Minimization of Switching Functions . . 757--764
T. Asano and
T. Kitahashi and
K. Tanaka and
H. Horino and
N. Amano A Wire-Routing Scheme Based on
Trunk-Division Methods . . . . . . . . . 764--772
N. E. Nahi and
M. H. Jahanshahi Image Boundary Estimation . . . . . . . 772--781
M. A. Mehta and
W. B. Smith Synthesis of Optimal Ambiguity Resolver
Functions . . . . . . . . . . . . . . . 782--789
J. W. McKee and
J. K. Aggarwal Computer Recognition of Partial Views of
Curved Objects . . . . . . . . . . . . . 790--800
T. Pavlidis Polygonal Approximations by Newton's
Method . . . . . . . . . . . . . . . . . 800--807
A. J. Miller and
A. W. Brown and
P. Mars A Simple Technique for the Determination
of Delayed Maximal Length Linear Binary
Sequences . . . . . . . . . . . . . . . 808--811
E. W. Page and
P. N. Marinos Programmable Array Realizations of
Synchronous Sequential Machines . . . . 811--818
R. D. Brown A Recursive Algorithm for
Sequency-Ordered Fast Walsh Transforms 819--822
A. B. Barak Multiplicative Algorithms for Ternary
Arithmetic Using Binary Logic . . . . . 823--826
T. K. Liu Synthesis of Feed-Forward MOS Networks
with Cells of Similar Complexities . . . 826--831
K. E. Sahin Segmented Selcuk Communication Networks
and Response Routing . . . . . . . . . . 831--833
K. E. Stoffers Partitioning of Separating Edges: a New
Approach to Combinational Logic Design 833--836
Anonymous IEEE Computer Society Publications . . . 836--836
Anonymous Papers to be Published in the Next Issue
September 1977 . . . . . . . . . . . . . 836--836
A. H. Sameh and
D. J. Kuck Correction to ``A Parallel $QR$
Algorithm for Symmetric Tridiagonal
Matrices'' . . . . . . . . . . . . . . . 836--836
Anonymous Editor's Note . . . . . . . . . . . . . 837--837
V. Conrad and
Y. Wallach Iterative Solution of Linear Equations
on a Parallel Processor System . . . . . 838--847
J. Lenfant Fast Random and Sequential Access to
Dynamic Memories of Any Size . . . . . . 847--855
Hsieh S. Hou and
Harry C. Andrews Least Squares Image Restoration Using
Spline Basis Functions . . . . . . . . . 856--873
I. S. Reed and
T. K. Truong and
Y. S. Kwoh and
E. L. Hall Image Processing by Transforms Over a
Finite Field . . . . . . . . . . . . . . 874--881
M. Yachida and
S. Tsuji A Versatile Machine Vision System for
Complex Industrial Parts . . . . . . . . 882--894
R. N. Nagel and
A. Rosenfeld Computer Detection of Freehand Forgeries 895--905
H. J. Payne and
W. S. Meisel An Algorithm for Constructing Optimal
Binary Decision Trees . . . . . . . . . 905--916
P. M. Narendra and
K. Fukunaga A Branch and Bound Algorithm for Feature
Subset Selection . . . . . . . . . . . . 917--922
S. W. Zucker and
R. A. Hummel and
A. Rosenfeld Correction to ``An Application of
Relaxation Labeling to Line and Curve
Enhancement'' . . . . . . . . . . . . . 922--929
C. J. Coles Comments on ``Heuristic Synthesis of
Microprogrammed Computer Architecture'' 930--932
Anonymous IEEE Computer Society Publications . . . 932--932
Anonymous Papers to be Published in the Next Issue
October 1977 . . . . . . . . . . . . . . 932--932
D. C. Karlgaard and
A. M. Abd-Alla Author's Reply . . . . . . . . . . . . . 932--932
M. Snir and
A. B. Barak A Direct Approach to the Parallel
Evaluation of Rational Expressions with
a Small Number of Processors . . . . . . 933--937
K. S. Trivedi On the Paging Performance of Array
Algorithms . . . . . . . . . . . . . . . 938--947
W. J. Stenzel and
W. J. Kubitz and
G. H. Garcia A Compact High-Speed Parallel
Multiplication Scheme . . . . . . . . . 948--957
A. R. Shliferstein and
Y. T. Chien Some Properties of Image-Processing
Operations on Projection Sets Obtained
from Digital Pictures . . . . . . . . . 958--970
H. R. Keshavan and
M. D. Srinath Sequential Estimation Technique for
Enhancement of Noisy Images . . . . . . 971--987
W. Frei and
Chung-Ching Chen Fast Boundary Detection: a
Generalization and a New Algorithm . . . 988--998
C. H. Hoogendoorn A General Model for Memory Interference
in Multiprocessors . . . . . . . . . . . 998--1005
R. L. Mitchell and
C. R. Stone Table-Lookup Methods for Generating
Arbitrary Random Numbers . . . . . . . . 1006--1008
M. A. Al-Alaoui A New Weighted Generalized Inverse
Algorithm for Pattern Recognition . . . 1009--1017
R. W. Keyes Physical Uncertainty and Information . . 1017--1025
A. S. French Computer Simulation of Space-Filling
Molecular Models . . . . . . . . . . . . 1026--1028
M. G. Karpovsky Fast Fourier Transforms on Finite
Non-Abelian Groups . . . . . . . . . . . 1028--1030
P. A. Ligomenides The Skip-and-Set Fast-Division Algorithm 1030--1032
R. P. Voith Minimum Universal Logic Module
Sequential Circuits with Decoders . . . 1032--1035
R. Shapira and
H. Freeman A Cyclic-Order Property of Bodies with
Three-Face Vertices . . . . . . . . . . 1035--1039
R. Jakubowski and
A. Kasprzak A Syntactic Description and Recognition
of Rotary Machine Elements . . . . . . . 1039--1043
K. J. Udupa and
I. S. N. Murthy New Concepts for Three-Dimensional Shape
Analysis . . . . . . . . . . . . . . . . 1043--1049
A. K. Sarje and
N. N. Biswas An Algorithm for Testing
$2$-Asummability of Boolean Functions 1049--1053
L. S. Davis and
A. Rosenfeld Curve Segmentation by Relaxation
Labeling . . . . . . . . . . . . . . . . 1053--1057
M. Fridrich and
W. A. Davis Minimal Fault Tests for Redundant
Combinational Networks . . . . . . . . . 1057--1060
Anonymous IEEE Computer Society Publications . . . 1060--1060
Anonymous Papers to be Published in the Next Issue
November 1977 . . . . . . . . . . . . . 1060--1060
A. K. Jain An Operator Factorization Method for
Restoration of Blurred Images . . . . . 1061--1071
H. Brafmen and
B. J. Reuter An Incremental Computer . . . . . . . . 1072--1081
L. R. Marino The Effect of Asynchronous Inputs on
Sequential Network Reliability . . . . . 1082--1090
W. Doster Contextual Postprocessing System for
Cooperation with a Multiple-Choice
Character-Recognition System . . . . . . 1090--1101
H. F. Li Scheduling Trees in Parallel/Pipelined
Processing Environments . . . . . . . . 1101--1112
W. E. Kluge Traversing Binary Tree Structures with
Shift-Register Memories . . . . . . . . 1112--1122
R. G. Cooper The Distributed Pipeline . . . . . . . . 1123--1132
Vera S. Pless Encryption Schemes for Computer
Confidentiality . . . . . . . . . . . . 1133--1136
H. A. Curts Adjacency Table Method of Deriving
Minimal Sums . . . . . . . . . . . . . . 1136--1141
J. Knaizuk, Jr. and
C. R. P. Hartmann An Optimal Algorithm for Testing
Stuck-at Faults in Random Access
Memories . . . . . . . . . . . . . . . . 1141--1144
M. Y. Hsiao and
A. M. Patel and
D. K. Pradhan Store Address Generator with On-Line
Fault-Detection Capability . . . . . . . 1144--1147
J. R. Bitner Capacity and Efficiency of Decision
Functions . . . . . . . . . . . . . . . 1147--1151
P. C. Maxwell Correct DDA Register Transfers for
Trapezoidal Integration When Solving
Nonlinear Equations of the Form $\dot{y}
= Ay^n$ . . . . . . . . . . . . . . . . 1151--1153
S. M. Silverston A Stable, Two-Multiplies-per-Cycle
Algorithm for Digital Generation of
Sinusoids in Real Time . . . . . . . . . 1153--1154
I. Koren and
Z. Kohavi Diagnosis of Intermittent Faults in
Combinational Networks . . . . . . . . . 1154--1158
A. T. Amin An Algorithm for Grey-Level
Transformations in Digitized Images . . 1158--1161
K. Ecker and
D. Schutt Computational Work of Combinational
Machines . . . . . . . . . . . . . . . . 1161--1163
H. K. Ramapriyan Data Handling for the Geometric
Correction of Large Images . . . . . . . 1163--1167
S. C. Lee and
A. D. Edgar The Focus Number System . . . . . . . . 1167--1170
V. K. Agarwal and
G. M. Masson Resolution-Oriented Fault
Interrelationships in Combinational
Logic Networks . . . . . . . . . . . . . 1170--1175
D. L. Milgram Adaptive Techniques for Photomosaicking 1175--1180
Anonymous Announcing Computer Technology: Status,
Limits, Alternatives . . . . . . . . . . 1180--1180
Anonymous IEEE Computer Society Publications . . . 1180--1180
I. Catt Correction to ``Maxwell's Displacement
Current'' . . . . . . . . . . . . . . . 1180--1180
Z. G. Vranesic Multiple-Valued Logic: An Introduction
and Overview . . . . . . . . . . . . . . 1181--1182
E. H. Mamdani Application of Fuzzy Logic to
Approximate Reasoning Using Linguistic
Synthesis . . . . . . . . . . . . . . . 1182--1191
J. A. Bate and
J. C. Muzio Three Cell Structures for Ternary
Cellular Arrays . . . . . . . . . . . . 1191--1202
A. Thayse and
J.-P. Deschamps Logic Properties of Unate Discrete and
Switching Functions . . . . . . . . . . 1202--1212
T. Higuchi and
M. Kameyama Static-Hazard-Free $T$-Gate for Ternary
Memory Element and Its Application to
Ternary Counters . . . . . . . . . . . . 1212--1221
D. Etiemble and
M. Isreal Implementation of Ternary Circuits
with-Binary Integrated Circuits . . . . 1222--1233
T. T. Dao and
E. J. Mccluskey and
L. K. Russell Multivalued Integrated Injection Logic 1233--1241
R. J. Spillman and
S. Y. H. Su Detection of Single, Stuck-Type Failures
in Multivalued Combinational Networks 1242--1251
O. Ishizuka On Multivalued Multithreshold Networks
Composed of Conventional Threshold
Elements . . . . . . . . . . . . . . . . 1251--1257
W. H. Stellhorn An Inverted File Processor for
Information Retrieval . . . . . . . . . 1258--1267
Shin-Yee Lu and
King-Sun Fu Stochastic Error-Correcting Syntax
Analysis for Recognition of Noisy
Patterns . . . . . . . . . . . . . . . . 1268--1276
G. Elineau and
W. Wiesbeck A New J--K Flip-Flop for Synchronizers 1277--1279
S. A. Kent A High-Speed Threshold Gate Multiplier 1279--1283
D. G. Steer and
S. R. Penstone Digital Hardware for Sine--Cosine
Functions . . . . . . . . . . . . . . . 1283--1286
C. K. Yuen A New Representation for Decimal Numbers 1286--1288
Y. Nakamura and
M. Furuya and
S. Sunohara An Optimal Orthogonal Expansion for
Classification of Patterns . . . . . . . 1288--1290
J. C. Ferguson Algorithms in Numerical Geometry System 1290--1292
J. P. Roth Hardware Verification . . . . . . . . . 1292--1294
O. Ishizuka Synthesis of Multithreshold Tree
Networks . . . . . . . . . . . . . . . . 1294--1297
M. Kameyama and
T. Higuchi Synthesis of Multiple-Valued Logic
Networks Based on Tree-Type Universal
Logic Module . . . . . . . . . . . . . . 1297--1302
M. Osborne Seniority Logic: a Logic for a Committee
Machine . . . . . . . . . . . . . . . . 1302--1306
H. K. Ramapriyan An Algorithm for Constrained
Maximization of the Trace of a Matrix 1306--1308
Anonymous Announcing Computer Technology: Status,
Limits, Alternatives . . . . . . . . . . 1308--1308
Anonymous Books for Computer Professionals . . . . 1308--1308
Anonymous IEEE Computer Society Publications . . . 1308--1308
Anonymous 1977 Index IEEE Transactions on
Computers Vol. C-26 . . . . . . . . . . 1308--1308
Anonymous If Your Computer Engineering Library
Doesn't Subscribe to all $3$ It's Not
Complete . . . . . . . . . . . . . . . . 1308--1308
S. S. Reddi and
E. A. Feustel A Restructurable Computer System . . . . 1--20
E. E. Swartzlander, Jr. and
B. K. Gilbert and
I. S. Reed Inner Product Computers . . . . . . . . 21--31
M. Kanefsky and
M. G. Strintzis A Decision Theory Approach to Picture
Smoothing . . . . . . . . . . . . . . . 32--36
J. P. Hayes Generation of Optimal Transition Count
Tests . . . . . . . . . . . . . . . . . 36--41
M. Harao and
S. Noguchi On Some Dynamical Properties of Finite
Cellular Automaton . . . . . . . . . . . 42--52
R. A. Thompson and
F. G. Gray Universal Modular Trees: a Design
Procedure . . . . . . . . . . . . . . . 53--63
R. C. Pearce and
J. C. Majithia Analysis of a Shared Resource MIMD
Computer Organization . . . . . . . . . 64--67
E. A. Galperin Loop Properties and Controllability of
Linear Congruential Sequences . . . . . 68--76
C. V. Kameswara Rao and
K. Balck Finding the Core Point in a Fingerprint 77--81
S. L. Tanimoto An Optimal Algorithm for Computing
Fourier Texture Descriptors . . . . . . 81--84
G. Baudet and
D. Stevenson Optimal Sorting Algorithms for Parallel
Computers . . . . . . . . . . . . . . . 84--87
H. Butin On an Ordering of Walsh Functions . . . 87--90
G. Cioffi Autotesting Speed-Independent Sequential
Circuits . . . . . . . . . . . . . . . . 90--94
K. Mase Comments on ``A Measure of Computational
Work'' and ``Logical Network Cost and
Entropy'' . . . . . . . . . . . . . . . 94--95
Chao-Chin Yang and
C. P. May A Correction and Some Comments
Concerning Graph Isomorphism by Finite
Automata . . . . . . . . . . . . . . . . 95--96
Anonymous Call for Papers . . . . . . . . . . . . 96--96
Anonymous IEEE Computer Society Publications . . . 96--96
Jon Louis Bentley and
Jerome H. Friedman Fast Algorithms for Constructing Minimal
Spanning Trees in Coordinate Spaces . . 97--105
J. J. Shedletsky Error Correction by Alternate-Data Retry 106--112
D. C. Van Voorhis and
T. H. Morrin Memory Systems for Image Processing . . 113--125
W. A. Perkins A Model-Based Vision System for
Industrial Parts . . . . . . . . . . . . 126--143
R. P. Roesser Two-Dimensional Microprocessor Pipelines
for Image Processing . . . . . . . . . . 144--156
G. G. Langdon, Jr. A Decomposition Chart Technique to Aid
in Realizations with Multiplexers . . . 157--159
J. Joseph On Easily Diagnosable Sequential
Machines . . . . . . . . . . . . . . . . 159--162
R. B. Banerji The Construction of Binary Matrices with
Distinct Submatrices . . . . . . . . . . 162--164
M. J. E. Golay Topoglyphs . . . . . . . . . . . . . . . 164--167
F. S. Preston A New Algorithm for the Tangent . . . . 167--167
L. P. J. Veelenturf Inference of sequential machines from
sample computations . . . . . . . . . . 167--170
M. Ben-Bassat Myopic Policies in Sequential
Classification . . . . . . . . . . . . . 170--174
J. P. Roth Programmed Logic Array Optimization . . 174--176
K. Fukunaga and
R. D. Short Generalized Clustering for Problem
Localization . . . . . . . . . . . . . . 176--181
D. K. Pradhan Universal Test Sets for Multiple Fault
Detection in AND--EXOR Arrays . . . . . 181--187
E. J. McCluskey and
K. P. Parker and
J. J. Shedletsky Boolean Network Probabilities and
Network Design . . . . . . . . . . . . . 187--189
W. L. G. Koontz Author's Reply . . . . . . . . . . . . . 189--189
A. Wetjen Comments on ``A Branch and Bound
Clustering Algorithm'' . . . . . . . . . 189--189
V. M. Gritsenko Comments on ``Error-Correcting Codes for
Byte-Organized Arithmetic Processors'' 189--190
T. R. N. Rao Author's Reply and Comments on the
Arithmetic Codes Generated by $A = (r -
1) p^2$ . . . . . . . . . . . . . . . . 190--190
E. B. Felstead and
K. O. Hill and
A. U. Tenne-Sens Comments on ``Direct Coherent Optical
Fourier Transforms of Curves'' . . . . . 190--191
A. Hlawiczka Comments on ``Procedures for Eliminating
Static and Dynamic Hazards in Test
Generation'' . . . . . . . . . . . . . . 191--191
Sureshchander Comments on ``Delayed Universal Logic
Modules and Sequential Machine
Synthesis'' . . . . . . . . . . . . . . 191--191
Anonymous Call for Papers . . . . . . . . . . . . 192--192
Anonymous IEEE Computer Society Publications . . . 192--192
H. T. Mouftah and
I. B. Jordan Correction to ``Design of Ternary
COS/MOS Memory and Sequential Circuits'' 192--192
C. W. Cha and
W. E. Donath and
F. Ozguner 9-V Algorithm for Test Pattern
Generation of Combinational Digital
Circuits . . . . . . . . . . . . . . . . 193--200
D. C. Bossen and
L. C. Chang and
Chin-Long Chen Measurement and Generation of Error
Correcting Codes for Package Failures 201--204
E. S. Deutsch and
J. R. Fram A Quantitative Study of the Orientation
Bias of Some Edge Detector Schemes . . . 205--213
T. Sasao and
K. Kinoshita Cascade Realization of $3$-Input
$3$-Output Conservative Logic Circuits 214--221
K. P. Parker and
E. J. McCluskey Sequential Circuit Output Probabilities
From Regular Expressions . . . . . . . . 222--231
T. C. Wesselkamper Divided Difference Methods for Galois
Switching Functions . . . . . . . . . . 232--238
D. K. Pradhan A Theory of Galois Switching Functions 239--248
H. Y. H. Chuang and
S. Das Design of Fail-Safe Sequential Machines
Using Separable Codes . . . . . . . . . 249--252
S. H. Fuller and
P. F. McGehearty Minimizing Latency in CCD Memories . . . 252--254
S. D. Shapiro Transform Method of Curve Detection for
Textured Image Data . . . . . . . . . . 254--255
P. Corsini and
G. Frosini Uniform Shift Multiplication Algorithms
Without Overflow . . . . . . . . . . . . 256--258
T. Pavlidis and
K. Steiglitz The Automatic Counting of Asbestos
Fibers in Air Samples . . . . . . . . . 258--261
J. Fehlauer and
B. A. Eisenstein A Declustering Criterion for Feature
Extraction in Pattern Recognition . . . 261--266
D. P. Agrawal A Novel Technique for Computing
Negabinary Squares . . . . . . . . . . . 266--270
L. C. Higbie Overlapped Operation with
Microprogramming . . . . . . . . . . . . 270--275
F. Fusco and
S. Levialdi and
L. Ritondale A Quality Factor for Measuring Program
Efficiency . . . . . . . . . . . . . . . 275--280
H. Fujiwara and
K. Kinoshita Connection Assignments for
Probabilistically Diagnosable Systems 280--283
D. V. Sarwate Semi-Fast Fourier Transforms over
$\mathrm{GF}(2^m)$ . . . . . . . . . . . 283--285
S. Dasgupta Comments on ``The Identification of
Maximal Parallelism in Straight-Line
Microprograms'' . . . . . . . . . . . . 285--286
G. E. Barnes Comments on ``The Identification of
Maximal Parallelism in Straight-Line
Microprograms'' . . . . . . . . . . . . 286--287
E. N. Adams Comments on ``The Identification of
Maximal Parallelism in Straight-Line
Microprograms'' . . . . . . . . . . . . 287--287
S. N. Maheshwari and
S. L. Hakimi Corrections and Comments on ``On Models
for Diagnosable Systems and
Probabilistic Fault Diagnosis'' . . . . 287--288
Anonymous Correction to Front Cover of December
1977 Issue . . . . . . . . . . . . . . . 288--288
Anonymous IEEE Computer Society Publications . . . 288--288
Anonymous IEEE Transactions on Software
Engineering . . . . . . . . . . . . . . 288--288
C. V. Ramamoorthy and
H. F. Li Corrections to ``Scheduling Parallel
Processable Tasks for a Uniprocessor'' 288--288
K. S. Trivedi Corrections to ``On the Use of Continued
Fractions for Digital Computer
Arithmetic'' . . . . . . . . . . . . . . 288--288
D. P. Friedman and
D. S. Wise Aspects of Applicative Programming for
Parallel Processing . . . . . . . . . . 289--296
H. L. Garner Theory of Computer Addition and
Overflows . . . . . . . . . . . . . . . 297--301
B. Parhami and
A. Avizienis Detection of Storage Errors in Mass
Memories Using Low-Cost Arithmetic Error
Codes . . . . . . . . . . . . . . . . . 302--308
K. L. Kodandapani and
S. C. Seth On Combinational Networks with
Restricted Fan-Out . . . . . . . . . . . 309--318
T. Chiba Impact of the LSI on High-Speed Computer
Packaging . . . . . . . . . . . . . . . 319--325
G. A. Jullien Residue Number Scaling and Other
Operations Using ROM Arrays . . . . . . 325--336
D. H. Hartke and
W. M. Sterling and
J. E. Shemer Design of a Raster Display Processor for
Office Applications . . . . . . . . . . 337--348
V. P. Srini Fault Location in a Semiconductor
Random-Access Memory Unit . . . . . . . 349--358
R. Y. Wong and
E. L. Hall Sequential Hierarchical Scene Matching 359--366
J. Kittler Classification of Incomplete Pattern
Vectors Using Modified Discriminant
Functions . . . . . . . . . . . . . . . 367--375
N. Ahuja and
L. S. Davis and
D. L. Milgram and
A. Rosenfeld Piecewise Approximation of Pictures
Using Maximal Neighborhoods . . . . . . 375--379
H. Fujiwara and
K. Kinoshita Some Existence Theorems for
Probabilistically Diagnosable Systems 379--384
Anonymous Advance Program Announcement . . . . . . 384--384
Anonymous IEEE Computer Society Publications . . . 384--384
Anonymous Editor's Notice . . . . . . . . . . . . 385--385
F. Luccio and
L. Pagli Rebalancing Height Balanced Trees . . . 386--396
D. K. Pradhan Asynchronous State Assignments with
Unateness Properties and Fault-Secure
Design . . . . . . . . . . . . . . . . . 396--404
M. C. Easton Computation of Cold-Start Miss Ratios 404--408
T. A. Welch Memory Hierarchy Configuration Analysis 408--413
M. A. Franklin Parallel Solution of Ordinary
Differential Equations . . . . . . . . . 413--420
H. D. Shapiro Theoretical Limitations on the Efficient
Use of Parallel Memories . . . . . . . . 421--428
E. J. Wilkens Realizations of Sequential Machines
Using Random Access Memory . . . . . . . 429--441
R. L. Kashyap and
M. C. Mittal Recognition of Spoken Words and Phrases
in Multitalker Environment Using
Syntactic Methods . . . . . . . . . . . 442--452
A. Iosupovicz Optimal Detection of Bridge Faults and
Stuck-At Faults in Two-Level Logic . . . 452--455
S. M. Reddy A Class of Linear Codes for Error
Control in Byte-per-Card Organized
Digital Systems . . . . . . . . . . . . 455--459
J. P. Hayes Path Complexity of Logic Networks . . . 459--462
K. Ozawa Classification of the Keyhole Shaped
Tombs by Template Matching Method . . . 462--467
J. G. Kuhl and
S. M. Reddy On the Detection of Terminal
Stuck-Faults . . . . . . . . . . . . . . 467--469
K. W. Henderson Suggested Standard Forms for Certain
Real Hadamard Matrices . . . . . . . . . 469--471
Anonymous 1976--1977 List of Referees . . . . . . 472--476
Anonymous Books for Computer Professionals . . . . 476--476
Anonymous Information for Authors . . . . . . . . 476--476
Anonymous IEEE Computer Society Publications . . . 476--476
S. M. Reddy Fault-Tolerant Computing: An
Introduction . . . . . . . . . . . . . . 481--482
M. A. Marouf and
A. D. Friedman Efficient Design of Self-Checking
Checker for any $m$-Out-of-$n$ Code . . 482--490
J. E. Smith and
G. Metze Strongly Fault Secure Logic Networks . . 491--499
J. J. Shedletsky A Rollback Interval for Networks with an
Imperfect Self-Checking Property . . . . 500--508
S. B. Akers Binary Decision Diagrams . . . . . . . . 509--516
J. Losq Efficiency of Random Compact Testing . . 516--525
J. J. Stiffler Coding for Random-Access Memories . . . 526--531
D. Davies and
J. F. Wakerly Synchronization and Matching in
Redundant Systems . . . . . . . . . . . 531--539
M. D. Beaudry Performance-Related Reliability Measures
for Computing Systems . . . . . . . . . 540--547
A. Costes and
C. Landrault and
J. C. Laprie Reliability and Availability Models for
Maintained Systems Featuring Hardware
Failures and Design Faults . . . . . . . 548--560
S. Mallela and
G. M. Masson Diagnosable Systems for Intermittent
Faults . . . . . . . . . . . . . . . . . 560--566
S. Y. H. Su and
I. Koren and
Y. K. Malaiya A Continuous-Parameter Markov Model and
Detection Procedures for Intermittent
Faults . . . . . . . . . . . . . . . . . 567--570
R. David A Totally Self-Checking $1$-Out-of-$3$
Checker . . . . . . . . . . . . . . . . 570--572
R. Nair and
S. M. Thatte and
J. A. Abraham Efficient Algorithms for Testing
Semiconductor Random-Access Memories . . 572--576
F. A. Gay Evaluation of Maintenance Software in
Real-Time Systems . . . . . . . . . . . 576--582
Anonymous Advance Program Announcements . . . . . 582--582
Anonymous IEEE Computer Society Publications . . . 582--582
Anonymous If your Computer Engineering Library
Doesn't Subscribe to all $3$ It's Not
Complete . . . . . . . . . . . . . . . . 582--582
Anonymous Announcement . . . . . . . . . . . . . . 585--585
E. Dubois and
A. N. Venetsanopoulos The Discrete Fourier Transform Over
Finite Rings with Application to Fast
Convolution . . . . . . . . . . . . . . 586--593
D. T. Tang and
L. S. Woo and
L. R. Bahl Optimization of Teleprocessing Networks
with Concentrators and Multiconnected
Terminals . . . . . . . . . . . . . . . 594--604
E. Tanaka and
King-Sun Fu Error-Correcting Parsers for Formal
Languages . . . . . . . . . . . . . . . 605--616
C. Robach and
G. Saucier Dynamic Testing of Control Units . . . . 617--623
P. T. De Sousa and
F. P. Mathur Sift-Out Modular Redundancy . . . . . . 624--627
W. F. Appelbe and
M. R. Ito Scheduling Heuristics in a
Multiprogramming Environment . . . . . . 628--637
J. Lenfant Parallel Permutations of Data: a Benes
Network Control Algorithm for Frequently
Used Permutations . . . . . . . . . . . 637--647
Hai Do-Tu and
M. Installe Learning Algorithms for Nonparametric
Solution to the Minimum Error
Classification Problem . . . . . . . . . 648--659
D. G. Maritsas and
A. C. Arvillias and
A. C. Bounas Phase-Shift Analysis of Linear Feedback
Shift Register Structures Generating
Pseudorandom Sequences . . . . . . . . . 660--669
F. P. Preparata New Parallel-Sorting Schemes . . . . . . 669--673
D. K. Pradhan Fault-Tolerant Asynchronous Networks
Using Read-Only Memories . . . . . . . . 674--679
Anonymous Advance Program Announcement . . . . . . 679--679
Anonymous IEEE Computer Society Publications . . . 679--679
Anonymous IEEE Transactions On Software
Engineering . . . . . . . . . . . . . . 679--679
R. E. Prather and
H. T. Casstevens Realization of Boolean Expressions by
Atomic Digraphs . . . . . . . . . . . . 681--688
P. R. Menon and
S. G. Chappell Deductive Fault Simulation with
Functional Blocks . . . . . . . . . . . 689--695
C.-E. W. Sundberg Erasure and Error Decoding for
Semiconductor Memories . . . . . . . . . 696--705
R. K. Gupta and
M. A. Franklin Working Set and Page Fault Frequency
Paging Algorithms: a Performance
Comparison . . . . . . . . . . . . . . . 706--712
A. Thayse Meet and Join Derivatives and Their Use
in Switching Theory . . . . . . . . . . 713--720
J. Schurmann A Multifont Word Recognition System for
Postal Address Reading . . . . . . . . . 721--732
D. Casasent and
P. D. Rapp System Functions for an Optical/Digital
Processor . . . . . . . . . . . . . . . 732--738
K. Deguchi and
I. Morishita Texture Characterization and
Texture-Based Image Partitioning Using
Two-Dimensional Linear Estimation
Techniques . . . . . . . . . . . . . . . 739--745
M. Ben-Bassat Irrelevant Features in Pattern
Recognition . . . . . . . . . . . . . . 746--749
T. Sasao and
K. Kinoshita Realization of Minimum Circuits with
Two-Input Conservative Logic Elements 749--752
H. Kobayashi and
H. Ohara A Synthesizing Method for Large Parallel
Counters with a Network of Smaller Ones 753--757
B. Benjauthrit and
I. S. Reed On the Fundamental Structure of Galois
Switching Functions . . . . . . . . . . 757--762
S. K. Mitra and
G. K. Sorknes On the Implementation of a
Two-Dimensional FIR Filter Using a
Single Multiplier . . . . . . . . . . . 762--764
H. J. Nussabaumer Fast Multipliers for Number Theoretic
Transforms . . . . . . . . . . . . . . . 764--765
V. K. Bhargava Some Codes of Rahman and Blake for
Computer Applications . . . . . . . . . 765--767
E. B. Fernandez and
R. C. Summers and
T. Lang and
C. D. Coleman Architectural Support for System
Protection and Database Security . . . . 767--771
A. V. Kulkarni On the Mean Accuracy of Hierarchical
Classifiers . . . . . . . . . . . . . . 771--776
S. Tsuji and
F. Matsumoto Detection of Ellipses by a Modified
Hough Transformation . . . . . . . . . . 777--781
T. Nanya and
Y. Tohma On Universal Single Transition Time
Asynchronous State Assignments . . . . . 781--782
Anonymous Advance Program Announcement . . . . . . 782--782
Anonymous Call for Papers . . . . . . . . . . . . 782--782
Anonymous IEEE Computer Society Publications . . . 782--782
Anonymous IEEE Transactions On Software
Engineering . . . . . . . . . . . . . . 782--782
J. T. Butler Tandem Networks of Universal Cells . . . 785--799
C. V. Ramamoorthy and
J. L. Turner and
B. W. Wah A Design of a Fast Cellular Associative
Memory for Ordered Retrieval . . . . . . 800--815
P. S. Liu and
F. J. Mowle Techniques of Program Execution with a
Writable Control Memory . . . . . . . . 816--827
Siu-Chong Si Dynamic Testing of Redundant Logic
Networks . . . . . . . . . . . . . . . . 828--832
M. R. Ito and
R. D. Cameron Combined Binary Code Translation and
Parallel-to-Serial Conversion Using
Stored Logic Arrays . . . . . . . . . . 833--841
R. Shapira and
H. Freeman Computer Description of Bodies Bounded
by Quadric Surfaces from a Set of
Imperfect Projections . . . . . . . . . 841--854
J. R. Jump and
S. R. Ahuja Effective Pipelining of Digital Systems 855--865
D. Naccarato and
Y. T. Chien Recursive Methods for Matrix Inversion
in Pattern Recognition Environments . . 866--869
C. R. Greer and
R. A. Thompson Combinational Logic Design with Decoders 869--875
D. P. Panda and
A. Rosenfeld Image Segmentation by Pixel
Classification in (Gray Level, Edge
Value) Space . . . . . . . . . . . . . . 875--879
Anonymous Announcing a new Quarterly IEEE
Transactions: IEEE Transactions on
Pattern Analysis and Machine
Intelligence . . . . . . . . . . . . . . 879--879
Anonymous Correction to ``1976--1977 List of
Referees'' . . . . . . . . . . . . . . . 879--879
Anonymous Call for Papers . . . . . . . . . . . . 879--879
Anonymous IEEE Computer Society Publications . . . 879--879
H. Fujiwara and
K. Kinoshita On the Computational Complexity of
System Diagnosis . . . . . . . . . . . . 881--885
A. Asthana Design and Control of a Three-Stage
Switch Matrix in the Presence of Fan-Out 886--895
E. Cerny Controllability and Fault Observability
in Modular Combinational Circuits . . . 896--903
L. P. Cordella and
M. J. B. Duff and
S. Levialdi An Analysis of Computational Cost in
Image Processing: a Case Study . . . . . 904--910
Y. M. El-Ziq and
S. Y. H. Su Computer-Aided Logic Design of Two-Level
MOS Combinational Networks with
Statistical Results . . . . . . . . . . 911--923
J. Sklansky On the Hough Technique for Curve
Detection . . . . . . . . . . . . . . . 923--926
J. G. Kuhl and
S. M. Reddy A Multicode Single Transition-Time State
Assignment for Asynchronous Sequential
Machines . . . . . . . . . . . . . . . . 927--934
N. Marovac Sieve Method for Real-Time
Computer-Aided Extraction of Multivalued
Analog Signals in the Presence of Noise 935--944
Martin L. Griss Using an Efficient Sparse Minor
Expansion Algorithm to Compute
Polynomial Subresultants and the
Greatest Common Denominator . . . . . . 945--950
A. E. A. Almaini Sequential Machine Implementations Using
Universal Logic Modules . . . . . . . . 951--960
H. A. Vink and
B. Van Den Dolder and
J. Al Reduction of CC-Tables Using Multiple
Implication . . . . . . . . . . . . . . 961--966
B. D. Tseng and
W. C. Miller On Computing the Discrete Cosine
Transform . . . . . . . . . . . . . . . 966--968
A. Tzidon and
I. Berger and
M. Yoeli A Practical Approach to Fault Detection
in Combinational Networks . . . . . . . 968--971
C. K. Yuen Analog-to-Gray Code Conversion . . . . . 971--973
Anonymous Announcing a new Quarterly IEEE
Transactions: IEEE Transactions on
Pattern Analysis and Machine
Intelligence . . . . . . . . . . . . . . 973--973
Anonymous Call for Papers . . . . . . . . . . . . 973--973
Anonymous The IEEE Computer Society announces
Tutorial and Selected Papers in Digital
Image Processing . . . . . . . . . . . . 973--973
Anonymous IEEE Computer Society Publications . . . 973--973
Anonymous IEEE Transactions on Pattern Analysis
and Machine Intelligence . . . . . . . . 973--973
Chao-Kai Liu and
Tse Lin Wang Error-Correcting Codes in
Binary-Coded-Decimal Arithmetic . . . . 977--984
C. R. Edwards and
S. L. Hurst A Digital Synthesis Procedure Under
Function Symmetries and Mapping Methods 985--997
S. Karunanithi and
A. D. Friedman Some New Types of Logical Completeness 998--1005
T. G. Rauscher and
A. K. Agrawala Dynamic Problem-Oriented Redefinition of
Computer Architecture via
Microprogramming . . . . . . . . . . . . 1006--1014
M. R. Schaffner Processing by Data and Program Blocks 1015--1028
Z. Arevalo and
J. G. Bredeson A Method to Simplify a Boolean Function
into a Near Minimal Sum-of-Products for
Programmable Logic Arrays . . . . . . . 1028--1039
Shin-Yee Lu and
King-Sun Fu Error-Correcting Tree Automata for
Syntactic Pattern Recognition . . . . . 1040--1053
V. D. Agrawal When to Use Random Testing . . . . . . . 1054--1055
K. L. Kodandapani and
R. V. Setlur A Cellular Array for Multivalued Logic
Functions . . . . . . . . . . . . . . . 1055--1059
G. G. L. Meyer and
G. M. Masson An Efficient Fault Diagnosis Algorithm
for Symmetric Multiple Processor
Architectures . . . . . . . . . . . . . 1059--1063
C. Halatsis and
N. Gaitanis Irredundant Normal Forms and Minimal
Dependence Sets of a Boolean Function 1064--1068
D. P. Agrawal and
T. R. N. Rao On Multiple Operand Addition of Signed
Binary Numbers . . . . . . . . . . . . . 1068--1070
A. Druzeta and
Z. G. Vranesic A Higher Radix Technique for Fault
Detection in Many-Valued Multithreshold
Networks . . . . . . . . . . . . . . . . 1070--1073
H. A. Vink Minimal TANT Networks of Functions with
DON'T CARE'S and Some Complemented Input
Variables . . . . . . . . . . . . . . . 1073--1078
B. Schachter Decomposition of Polygons Into Convex
Sets . . . . . . . . . . . . . . . . . . 1078--1082
Y. Breitbart and
S. Gal Analysis of Algorithms for the
Evaluation of Monotonic Boolean
Functions . . . . . . . . . . . . . . . 1083--1087
R. Rom Distribution of Runs in Binary Words . . 1087--1089
Anonymous Announcing a New Quarterly IEEE
Transactions: IEEE Transactions on
Pattern Analysis and Machine
Intelligence . . . . . . . . . . . . . . 1089--1089
Anonymous Call for Papers . . . . . . . . . . . . 1089--1089
Anonymous The IEEE Computer Society Announces
Tutorial and Selected Papers in Digital
Image Processing . . . . . . . . . . . . 1089--1089
Anonymous IEEE Computer Society Publications . . . 1089--1089
Anonymous IEEE Transactions on Pattern Analysis
and Machine Intelligence . . . . . . . . 1089--1089
D. A. Reynolds and
G. Metze Fault Detection Capabilities of
Alternating Logic . . . . . . . . . . . 1093--1098
C. A. Papachristou An Algorithm for Optimal NAND Cascade
Logic Synthesis . . . . . . . . . . . . 1099--1111
L. M. Censier and
P. Feautrier A New Solution to Coherence Problems in
Multicache Systems . . . . . . . . . . . 1112--1118
C. D. Thompson Generalized Connection Networks for
Parallel Processor Intercommunication 1119--1125
J. M. Van Campenhout and
P. Notredame A Stochastic Model for Closed-Loop
Preemptive Microprocessor I/O
Organizations . . . . . . . . . . . . . 1126--1136
N. Gaitanis and
C. Halatsis A New Double-Rank Realization of
Sequential Machines . . . . . . . . . . 1137--1143
C. Halatsis and
M. Sigala and
G. Philokyprou Polylinear Decomposition of Synchronous
Sequential Machines . . . . . . . . . . 1144--1152
S. P. Kartashev and
S. I. Kartashev On Modular Networks Satisfying the
Shift-Register Rule . . . . . . . . . . 1153--1176
Deok Kyo Lee Method of Folding a Piecewise Polynomial
Function in the Delta Function Integral
Representation . . . . . . . . . . . . . 1177--1178
R. F. Eschenbach and
B. M. Oliver An Efficient Coordinate Rotation
Algorithm . . . . . . . . . . . . . . . 1178--1180
E. A. Bender and
J. T. Butler Asymptotic Approximations for the Number
of Fanout-Free Functions . . . . . . . . 1180--1183
C. L. Chen On the Generation of Permutations in
Magnetic Bubble Memories . . . . . . . . 1183--1185
F. Barsi and
P. Maestrini Arithmetic Codes in Residue Number
Systems with Magnitude Index . . . . . . 1185--1188
C. Halatsis and
N. Gaitanis On the Minimization of the Control Store
in Microprogrammed Computers . . . . . . 1189--1192
F. Hemmati and
D. J. Costello, Jr. An Algebraic Construction for $q$-ary
Shift Register Sequences . . . . . . . . 1192--1195
J. J. Stiffler The Reliability of a Fault-Tolerant
Configuration Having Variable Coverage 1195--1197
J. R. Bennett and
W. Vogel On the Characteristics of a Simple
Architecture for Finite Impulse Response
Digital Filtering . . . . . . . . . . . 1197--1202
H.-P. S. Lee An Algorithm for Minimal TANT Network
Generation . . . . . . . . . . . . . . . 1202--1206
F. G. Gray and
R. A. Thompson Fault Detection in Bilateral Arrays of
Combinational Cells . . . . . . . . . . 1206--1213
S. Wendling and
G. Gagneux and
G. Stamon A Set of Invariants Within the Power
Spectrum of Unitary Transformations . . 1213--1216
J. W. Mark and
S. F. W. Ng Satellite Packet Switching with Global
Assignments and Batch Poisson Arrivals 1216--1221
J. E. Smith On the Existence of Combinational Logic
Circuits Exhibiting Multiple Redundancy 1221--1225
P. G. McCrea and
P. C. Maxwell and
P. W. Baker Comments on ``A Floating-Point
Multiplexed DDA System'' . . . . . . . . 1226--1226
G. Hannington and
D. G. Whitehead Authors Reply . . . . . . . . . . . . . 1226--1227
Anonymous Call for Papers . . . . . . . . . . . . 1227--1227
Anonymous The IEEE Computer Society announces
Tutorial and Selected Papers in Digital
Image Processing . . . . . . . . . . . . 1227--1227
Anonymous IEEE Computer Society Publications . . . 1227--1227
Anonymous 1978 Index IEEE Transactions on
Computers Vol. C-27 . . . . . . . . . . 1227--1227
Anonymous if Your Computer Engineering Library
Doesn't Subscribe to all $4$ it's not
complete . . . . . . . . . . . . . . . . 1227--1227
T. Higuchi and
M. Kameyama Correction to ``Static-Hazard-Free
$T$-Gate for Ternary Memory Element and
Its Application to Ternary Counters'' 1227--1227
Anonymous Editor's Notice . . . . . . . . . . . . 1--1
D. Nassimi and
S. Sahni Bitonic Sort on a Mesh-Connected
Parallel Computer . . . . . . . . . . . 2--7
A. K. Chandra and
C. K. Wong The Movement and Permutation of Columns
in Magnetic Bubble Lattice Files . . . . 8--15
J. A. McPherson and
C. R. Kime A Two-Level Diagnostic Model for Digital
Systems . . . . . . . . . . . . . . . . 16--27
Kwok-Tung Fung and
H. C. Torng On the Analysis of Memory Conflicts and
Bus Contentions in a
Multiple-Microprocessor System . . . . . 28--37
A. J. Smith An Analytic and Experimental Study of
Multiple Channel Controllers . . . . . . 38--49
V. K. Agarwal and
G. M. Masson A Functional Form Approach to Test Set
Coverage in Tree Networks . . . . . . . 50--52
Y. Zisapel and
M. Krieger and
J. Kella Detection of Hazards in Combinational
Switching Circuits . . . . . . . . . . . 52--56
H. J. Trussell and
B. R. Hunt Improved Methods of Maximum a Posteriori
Restoration . . . . . . . . . . . . . . 57--62
B. R. Gaines Maryanski's Grammatical Inferencer . . . 62--64
F. Maryanski and
T. L. Booth Authors' Reply . . . . . . . . . . . . . 64--64
E. Oja On the Construction of Projectors Using
Products of Elementary Matrices . . . . 65--66
T. Sasao and
K. Kinoshita On the Number of Fanout-Free Functions
and Unate Cascade Functions . . . . . . 66--72
M. B. Ari On Transposing Large $2^n \times 2^n$
Matrices . . . . . . . . . . . . . . . . 72--75
J. N. Culliney and
M. H. Young and
T. Nakagawa and
S. Muroga Results of the Synthesis of Optimal
Networks of AND and OR Gates for
Four-Variable Switching Functions . . . 76--85
R. David and
R. Tellez-Giron Comments on ``The Error Latency of a
Fault in a Sequential Digital Circuit'' 85--86
Anonymous Information for Authors . . . . . . . . 86--86
Anonymous IEEE Copyright Form . . . . . . . . . . 86--86
Anonymous IEEE Computer Society Publications . . . 86--86
J. J. Shedletsky and
E. J. McCluskey Authors' Reply . . . . . . . . . . . . . 86--86
A. C. Arvillias and
D. G. Maritsas Toggle-Registers Generating in Parallel
$k$ $k$th Decimations of $m$-Sequences
$x^P + x^k + 1$ Design Tables . . . . . 89--101
Yaohan Chu Architecture of a Hardware Data
Interpreter . . . . . . . . . . . . . . 101--109
C. B. Silio, Jr. An Efficient Simplex Coverability
Algorithm in E2 with Application to
Stochastic Sequential Machines . . . . . 109--120
S. Karunanithi and
A. D. Friedman Analysis of Digital Systems Using a New
Measure of System Diagnosis . . . . . . 121--133
M. C. Easton and
P. A. Franaszek Use Bit Scanning in Replacement
Decisions . . . . . . . . . . . . . . . 133--141
H. Niemann and
J. Weiss A Fast-Converging Algorithm for
Nonlinear Mapping of High-Dimensional
Data to a Plane . . . . . . . . . . . . 142--147
D. K. Cheng and
J. J. Liu A Generalized Orthogonal Transformation
Matrix . . . . . . . . . . . . . . . . . 147--150
H. Freeman Algorithm for Generating a Digital
Straight Line on a Triangular Grid . . . 150--152
R. D. Braun and
D. D. Givone An Improved Algorithm for Deriving
Checking Experiments . . . . . . . . . . 153--156
A. S. Sethi and
N. Deo Interference in Multiprocessor Systems
with Localized Memory Access
Probabilities . . . . . . . . . . . . . 157--163
G. Papakonstantinou Minimization of Modulo-2 Sum of Products 163--167
C. Halatsis and
N. Gaitanis Positive Fail-Safe Realization of
Synchronous Sequential Machines . . . . 167--172
R. F. H. Farag Word-Level Recognition of Cursive Script 172--175
Anonymous Call for Papers . . . . . . . . . . . . 175--175
Anonymous Call for Papers . . . . . . . . . . . . 175--175
Anonymous IEEE Computer Society Publications . . . 175--175
Anonymous Editor's Notice . . . . . . . . . . . . 177--177
J. A. Brzozowski and
M. Yoeli On a Ternary Model of Gate Networks . . 178--184
I-Ngo Chen and
P. Y. Chen and
Tse-Yun Feng Associative Processing of Network Flow
Problems . . . . . . . . . . . . . . . . 184--190
B. R. Rau Program Behavior and the Performance of
Interleaved Memories . . . . . . . . . . 191--199
K. W. Current and
D. A. Mow Implementing Parallel Counters with
Four-Valued Threshold Logic . . . . . . 200--204
P. W. Baker The Solution of Differential Equations
on Short-Word-Length Computing Devices 205--214
D. P. Agrawal High-Speed Arithmetic Arrays . . . . . . 215--224
S. B. Morris and
A. Valliere and
R. A. Wisniewski Processes for Random and Sequential
Accessing in Dynamic Memories . . . . . 225--237
P. L. Hammer and
U. N. Peled and
M. A. Pollatschek An Algorithm to Dualize a Regular
Switching Function . . . . . . . . . . . 238--243
S. N. Srihari and
M. K. Ohanesian An Efficient Algorithm for Determining
Hadamard Sequency Vectors . . . . . . . 243--244
I. Koren Analysis of the Signal Reliability
Measure and an Evaluation Procedure . . 244--249
M. Freeman Aspects of the Upper Bounds of Finite
Input-Memory and Finite Output-Memory
Sequential Machines . . . . . . . . . . 249--253
R. C. Devries Comments on ``A Readily Implemented
Single-Error-Correcting Unit-Distance
Counting Code'' . . . . . . . . . . . . 253--255
E. Paaske Comments on ``A New
Random-Error-Correction Code'' . . . . . 255--257
J. En Author's Reply . . . . . . . . . . . . . 257--258
R. Nair Comments on ``An Optimal Algorithm for
Testing Stuck-at Faults in Random Access
Memories'' . . . . . . . . . . . . . . . 258--261
J. E. Smith Comments on ``Redundancy Testing in
Combinational Networks'' . . . . . . . . 261--262
P. Agrawal and
M. A. Breuer Experiments with a Density Router for PC
Cards . . . . . . . . . . . . . . . . . 262--267
H. O. Kunz On the Equivalence Between
One-Dimensional Discrete Walsh--Hadamard
and Multidimensional Discrete Fourier
Transforms . . . . . . . . . . . . . . . 267--268
I. Koren and
Z. Kohavi On the Properties of Sensitized Paths 268--269
J. S. Hill Revision of the Buffer Length Derivation
for a Modified Ek/D/1 Systems by
Maritsas and Hartley . . . . . . . . . . 269--273
W. Fleischhammer and
O. Dortok The Anomalous Behavior of Flip-Flops in
Synchronizer Circuits . . . . . . . . . 273--276
M. Diaz and
P. Azema and
J. M. Ayache Unified Design of Self-Checking and
Fail-Safe Combinational Circuits and
Sequential Machines . . . . . . . . . . 276--281
Anonymous Advance Program Announcement . . . . . . 281--281
Anonymous Call for Papers . . . . . . . . . . . . 281--281
Anonymous Call for Papers . . . . . . . . . . . . 281--281
Anonymous IEEE Computer Society Publications . . . 281--281
Anonymous If your Computer Engineering Library
Doesn't Subscribe to all 4 It's Not
Complete . . . . . . . . . . . . . . . . 281--281
Anonymous Editor's Notice . . . . . . . . . . . . 285--285
R. P. Dube Preliminary Specification of Spline
Curves . . . . . . . . . . . . . . . . . 286--290
G. S. Rao and
H. S. Stone and
T. C. Hu Assignment of Tasks in a Distributed
Processor System with Limited Memory . . 291--299
I. Hartimo and
L. Ojala Comments on ``A Stable,
Two-Multiplies-per-Cycle Algorithm for
Digital Generation of Sinusoids in Real
Time'' . . . . . . . . . . . . . . . . . 300--300
Kai Hwang Global and Modular Two's Complement
Cellular Array Multipliers . . . . . . . 300--306
V. P. Srini Iterative Realization of Multivalued
Logic Systems . . . . . . . . . . . . . 306--310
J.-L. Baer and
B. Koyama On the Minimization of the Width of the
Control Memory of Microprogrammed
Processors . . . . . . . . . . . . . . . 310--316
E. L. Robertson Microcode Bit Optimization is
NP-Complete . . . . . . . . . . . . . . 316--319
C. Turcat and
A. Verdillon Symmetry, Automorphism, and Test . . . . 319--325
O. Yenersoy Synthesis of Asynchronous Machines Using
Mixed-Operation Mode . . . . . . . . . . 325--329
Anonymous Advance Program Announcement . . . . . . 329--329
Anonymous Call for Papers . . . . . . . . . . . . 329--329
Anonymous Call for Papers . . . . . . . . . . . . 329--329
Anonymous IEEE Computer Society Publications . . . 329--329
Anonymous If your Computer Engineering Library
Doesn't Subscribe to All 4 it's not
Complete . . . . . . . . . . . . . . . . 329--329
A. M. Despain Very Fast Fourier Transform Algorithms
Hardware for Implementation . . . . . . 333--341
F. G. Gray and
L. C. C. Shih and
R. A. Thompson Diagnosis of Faults in Modular Trees . . 342--353
Yuan-Chieh Chow and
W. H. Kohler Models for Dynamic Load Balancing in a
Heterogeneous Multiple Processor System 354--361
P. Ciompi and
L. Simoncini Analysis and Optimal Design of
Self-Diagnosable Systems with Repair . . 362--365
D. S. Parker, Jr. Combinatorial Merging and Huffman's
Algorithm . . . . . . . . . . . . . . . 365--367
W. Coy On the Design of Easily Testable
Iterative Systems of Combinational Cells 367--371
T. Hikita and
H. Enomoto On the Number of Multivalued Switching
Functions Realizable by Cascades . . . . 371--374
J. E. Smith Universal System Diagnosis Algorithms 374--378
Anonymous Announcing a New Quarterly IEEE
Transactions: IEEE Transactions on
Pattern Analysis and Machine
Intelligence . . . . . . . . . . . . . . 378--378
Anonymous Advance Program Announcement . . . . . . 378--378
Anonymous IEEE Computer Society Publications . . . 378--378
Anonymous If your Computer Engineering Library
Doesn't Subscribe to All 4 it's not
Complete . . . . . . . . . . . . . . . . 378--378
G. G. Langdon, Jr. Database Machines: An Introduction . . . 381--383
A. Mukhopadhyay Hardware Algorithms for Nonnumeric
Computation . . . . . . . . . . . . . . 384--394
D. J. De Witt Direct --- a Multiprocessor Organization
for Supporting Relational Database
Management Systems . . . . . . . . . . . 395--406
L. A. Hollaar A Design for a List Merging Network . . 406--413
J. Banerjee and
D. K. Hsiao and
K. Kannan DBC --- a Database Computer for Very
Large Databases . . . . . . . . . . . . 414--429
S. Y. W. Su and
Le Huu Nguyen and
A. Emam and
G. J. Lipovski The Architectural Features and
Implementation Techniques of the
Multicell CASSM . . . . . . . . . . . . 430--445
S. A. Schuster and
H. B. Nguyen and
E. A. Ozkarahan and
K. C. Smith RAP.2 --- An Associative Processor for
Databases and Its Applications . . . . . 446--458
Anonymous Announcing: The IEEE Computer Society's
Tutorial Week 79 . . . . . . . . . . . . 458--458
Anonymous Advance Program Announcement . . . . . . 458--458
Anonymous Call for Papers . . . . . . . . . . . . 458--458
Anonymous IEEE Computer Society Publications . . . 458--458
G. R. Redinbo Finite Field Arithmetic on an Array
Processor . . . . . . . . . . . . . . . 461--471
E. Cerny and
D. Mange and
E. Sanchez Synthesis of Minimal Binary Decision
Trees . . . . . . . . . . . . . . . . . 472--482
F. Rubin Decrypting a Stream Cipher Based on J--K
Flip-Flops . . . . . . . . . . . . . . . 483--487
I. S. Reed and
T. K. Truong A New Hybrid Algorithm for Computing a
Fast Discrete Fourier Transform . . . . 487--492
W. K. S. Walker and
C.-E. W. Sundberg and
C. J. Black A Reliable Spaceborne Memory with a
Single Error and Erasure Correction
Scheme . . . . . . . . . . . . . . . . . 493--500
Kin-Man Chung and
C. K. Wong Asymptotically Optimal Interconnection
Networks from Two-State Cells . . . . . 500--505
M.-A. Necula An Algorithm for Fast Evaluation of Time
Functions . . . . . . . . . . . . . . . 506--513
I. Koren and
S. Y. H. Su Reliability Analysis of N-Modular
Redundancy Systems with Intermittent and
Permanent Faults . . . . . . . . . . . . 514--520
H. A. Curtis Short-Cut Method of Deriving Nearly
Optimal Arrays of NAND Trees . . . . . . 521--528
W. D. Little and
R. Heuft An Area Shading Graphics Display System 528--531
A. Dunworth and
H. V. Hartog An Efficient State Minimization
Algorithm for Some Special Classes of
Incompletely Specified Sequential
Machines . . . . . . . . . . . . . . . . 531--535
K. K. Saluja and
E. H. Ong Minimization of Reed--Muller Canonic
Expansion . . . . . . . . . . . . . . . 535--537
S. Toueg and
K. Steiglitz The Design of Small-Diameter Networks by
Local Search . . . . . . . . . . . . . . 537--542
R. B. Cutler and
S. Muroga Comments on ``Generalization of
Consensus Theory and Application to the
Minimization of Boolean Functions'' . . 542--543
Anonymous Announcing: The IEEE Computer Society's
Tutorial Week 79 . . . . . . . . . . . . 543--543
Anonymous Advance Program Announcement . . . . . . 543--543
Anonymous IEEE Computer Society Publications . . . 543--543
Anonymous Editor's Notice . . . . . . . . . . . . 545--545
E. J. McCluskey Logic Design of Multivalued I$^2$L Logic
Circuits . . . . . . . . . . . . . . . . 546--559
G. Frosini and
F. M. Viterbo An Algorithm for Evaluating the
Frequency of a Rotating Vector . . . . . 560--566
E. E. Swartzlander, Jr. and
D. J. Heath A Routing Algorithm for Signal
Processing Networks . . . . . . . . . . 567--572
T. S. Heines Buffer Behavior in Computer
Communication Systems . . . . . . . . . 573--576
A. R. Butz FFT Length in Digital Filtering . . . . 577--580
P. B. Schneck Comment on ``When to Use Random
Testing'' . . . . . . . . . . . . . . . 580--581
V. D. Agrawal Author's Reply . . . . . . . . . . . . . 581--581
M. B. Feldman An Application-Oriented Programming
Language for Sequential Machine Studies 582--586
T. Kobylarz and
A. Al-Najjar An Examination of the Cost Function for
Programmable Logic Arrays . . . . . . . 586--590
Anonymous Announcing: The IEEE Computer Society's
Tutorial Week 79 . . . . . . . . . . . . 590--590
Anonymous Advance Program Announcement . . . . . . 590--590
Anonymous call for papers . . . . . . . . . . . . 590--590
Anonymous IEEE Computer Society Publications . . . 590--590
H. Fleisher Introduction to Special Section on
Programmable Logic Arrays . . . . . . . 593--593
S. S. Patil and
T. A. Welch A Programmable Logic Approach for VLSI 594--601
R. A. Wood A High Density Programmable Logic Array
Chip . . . . . . . . . . . . . . . . . . 602--608
Y. Kambayashi Logic Design of Programmable Logic
Arrays . . . . . . . . . . . . . . . . . 609--617
D. L. Ostapko and
Se June Hong Fault Analysis and Test Generation for
Programmable Logic Arrays (PLA's) . . . 617--627
Share Young Lee and
Hsu Chang Associative-Search Bubble Devices for
Content-Addressable Memory and Array
Logic . . . . . . . . . . . . . . . . . 627--636
H. Pangratz and
H. Weinrichter Pseudo-Random Number Generator Based on
Binary and Quinary Maximal-Length
Sequences . . . . . . . . . . . . . . . 637--642
J. L. Bentley and
T. A. Ottmann Algorithms for Reporting and Counting
Geometric Intersections . . . . . . . . 643--647
Hung Chi Lai and
S. Muroga Minimum Parallel Binary Adders with NOR
(NAND) Gates . . . . . . . . . . . . . . 648--659
Utrpal Banerjee and
Shyh-Ching Chen and
David J. Kuck and
Ross A. Towle Time and Parallel Processor Bounds for
FORTRAN-Like Loops . . . . . . . . . . . 660--670
J. Y.-T. Leung and
E. K. Lai On Minimum Cost Recovery from System
Deadlock . . . . . . . . . . . . . . . . 671--677
B. R. Rau Interleaved Memory Bandwidth in a Model
of a Multiprocessor Computer System . . 678--681
T. Sasao and
K. Kinoshita Conservative Logic Elements and Their
Universality . . . . . . . . . . . . . . 682--685
C.-E. Sundberg Properties of Transparent Shortened
Codes for Memories With Stuck-at Faults 686--690
L. Lamport How to Make a Multiprocessor Computer
That Correctly Executes Multiprocess
Programs . . . . . . . . . . . . . . . . 690--691
V. D. Agrawal Comments on ``An Approach to Highly
Integrated Computer-Maintained Cellular
Arrays'' . . . . . . . . . . . . . . . . 691--693
Anonymous Announcing: The IEEE Computer Society's
Tutorial Week 79 . . . . . . . . . . . . 693--693
Anonymous Announcing a New Quarterly IEEE
Transactions: IEEE Transactions on
Pattern Analysis and Machine
Intelligence . . . . . . . . . . . . . . 693--693
Anonymous Call for Papers . . . . . . . . . . . . 693--693
Anonymous IEEE Computer Society Publications . . . 693--693
Anonymous If Your Computer Engineering Library
Doesn't Subscribe to All 4 it's not
Complete . . . . . . . . . . . . . . . . 693--693
S. C. Lee and
A. D. Edgar Addendum to ``The Focus Number System'' 693--693
E. E. Swartzlander, Jr. Comment on ``The Focus Number System'' 693--693
A. Hopper and
J. Wheeler Binary Routing Networks . . . . . . . . 699--703
S. I. Kartashev and
S. P. Kartashev A Multicomputer System with Dynamic
Architecture . . . . . . . . . . . . . . 704--721
I-Ngo Chen and
R. Willoner An $O(n)$ Parallel Multiplier with
Bit-Sequential Input and Output . . . . 721--727
Y. Suenaga and
T. Kamae and
T. Kobayashi A High-Speed Algorithm for the
Generation of Straight Lines and
Circular Arcs . . . . . . . . . . . . . 728--736
E. Gelenbe and
K. Sevcik Analysis of Update Synchronization for
Multiple Copy Data Bases . . . . . . . . 737--747
John B. Kam and
George I. Davida Structured design of
substitution-permutation encryption
networks . . . . . . . . . . . . . . . . 747--753
C. R. Kime An Abstract Model for Digital System
Fault Diagnosis . . . . . . . . . . . . 754--767
K. Nakamura Synthesis of Gate-Minimum Multi-Output
Two-Level Negative Gate Networks . . . . 768--772
E. A. Lamagna The Complexity of Monotone Networks for
Certain Bilinear Forms, Routing
Problems, Sorting, and Merging . . . . . 773--782
T. Gonzalez A Note on Open Shop Preemptive Schedules 782--786
P. K. Varshney On Analytical Modeling of Intermittent
Faults in Digital Systems . . . . . . . 786--791
K. G. Kulkarni and
V. Jayakumar Ordering of Connections for Automated
Routing . . . . . . . . . . . . . . . . 791--794
H. P. Moravec Fully Interconnecting Multiple Computers
with Pipelined Sorting Nets . . . . . . 795--798
A. K. Sarje and
N. N. Biswas A New Approach to $2$-Asummability
Testing . . . . . . . . . . . . . . . . 798--801
J. E. Smith On Necessary and Sufficient Conditions
for Multiple Fault Undetectability . . . 801--802
T. J. Chaney Comments on ``A Note on Synchronizer or
Interlock Maloperation'' . . . . . . . . 802--804
E. G. Wormald Support for T. J. Chaney's Comments on
``A Note on Synchronizer or Interlock
Maloperation'' . . . . . . . . . . . . . 804--804
B. Bose Comments on ``Multiple Fault Detection
in Combinational Network'' . . . . . . . 804--805
Anonymous Announcing: The IEEE Computer Society's
Tutorial Week 79 . . . . . . . . . . . . 805--805
Anonymous 5th International Conference on Pattern
Recognition . . . . . . . . . . . . . . 805--805
Anonymous IEEE Computer Society Publications . . . 805--805
U. I. Gupta and
D. T. Lee and
J. Y.-T. Leung An Optimal Solution for the
Channel-Assignment Problem . . . . . . . 807--810
T. Nanya and
Y. Tohma Universal Multicode STT State
Assignments for Asynchronous Sequential
Machines . . . . . . . . . . . . . . . . 811--818
P. Corsini and
G. Frosini Properties of the Multidimensional
Generalized Discrete Fourier Transform 819--830
Ben-Dau Tseng and
G. A. Jullien and
W. C. Miller Implementation of FFT Structures Using
the Residue Number System . . . . . . . 831--845
J. E. Smith Detection of Faults in Programmable
Logic Arrays . . . . . . . . . . . . . . 845--853
J. G. Tront and
D. D. Givone A Design for Multiple-Valued Logic Gates
Based on MESFET's . . . . . . . . . . . 854--862
G. Markowsky Diagnosing Single Faults in Fanout-Free
Combinational Circuits . . . . . . . . . 863--864
M. Abramovici and
M. A. Breuer On Redundancy and Fault Detection in
Sequential Circuits . . . . . . . . . . 864--865
V. K. Agarwal and
G. M. Masson Recursive Coverage Projection of Test
Sets . . . . . . . . . . . . . . . . . . 865--870
K. R. Sloan, Jr. and
S. L. Tanimoto Progressive Refinement of Raster Images 871--874
R. B. Cutler and
S. Muroga Comments on ``Computing Irredundant
Normal Forms from Abbreviated Presence
Functions'' . . . . . . . . . . . . . . 874--875
Anonymous Call For Papers . . . . . . . . . . . . 875--875
Anonymous Call for Papers . . . . . . . . . . . . 875--875
Anonymous 5th International Conference on Pattern
Recognition . . . . . . . . . . . . . . 875--875
Anonymous IEEE Computer Society Publications . . . 875--875
D. M. Chang and
T. H. Mott, Jr. Author's Reply . . . . . . . . . . . . . 875--875
V. M. Plavsic and
P. E. Danielsson Sequential Evaluation of Boolean
Functions . . . . . . . . . . . . . . . 879--887
J. W. S. Liu and
M. Jino Intelligent Magnetic Bubble Memories and
Their Applications in Data Base
Management Systems . . . . . . . . . . . 888--906
H. J. Siegel A Model of SIMD Machines and a
Comparison of Various Interconnection
Networks . . . . . . . . . . . . . . . . 907--917
D. E. Atkins and
Shau-Chi Ong Time-Component Complexity of Two
Approaches to Multioperand Binary
Addition . . . . . . . . . . . . . . . . 918--926
B. Speelpenning and
J. Nievergelt A Simple Model of Processor --- Resource
Utilization in Networks of Communicating
Modules . . . . . . . . . . . . . . . . 927--929
E. E. Swartzlander, Jr. Microprogrammed Control for Specialized
Processors . . . . . . . . . . . . . . . 930--934
V. Vlasenko and
K. R. Rao Unified Matrix Treatment of Discrete
Transforms . . . . . . . . . . . . . . . 934--938
M. Schwartz Throughput and Time Delay Analysis for a
Common Queue Configuration in a
Multiprocessor Enviromnent . . . . . . . 939--941
Y. Breitbart and
K. Vairavan The Computational Complexity of a Class
of Minimization Algorithms for Switching
Functions . . . . . . . . . . . . . . . 941--943
J. P. Robinson Optimum Golomb Rulers . . . . . . . . . 943--944
J. V. Blankenbaker Comments on ``Inner Product Computers'' 944--944
Anonymous List of Referees . . . . . . . . . . . . 945--947
Anonymous IEEE Copyright Form . . . . . . . . . . 947--947
Anonymous IEEE Computer Society Publications . . . 947--947
Anonymous 1979 Index IEEE Transactions on
Computers Vol. C-28 . . . . . . . . . . 947--947
Anonymous Now Available from the IEEE Computer
Society . . . . . . . . . . . . . . . . 947--q
Anonymous 254: Proceedings: Compcon 79 Fall
``Using Microprocessors --- Extending
our Reach'' . . . . . . . . . . . . . . 947--o
Anonymous Proceedings of the Conference on
Specifications of Reliable Software . . 947--n
J. F. Jarvis and
C. S. Roberts A New Technique for Displaying
Continuous Tone Images on a Bilevel
Display . . . . . . . . . . . . . . . . 891--898
R. L. Davis Uniform Shift Networks . . . . . . . . . 317--322
E. E. Swartzlander, Jr. and
D. V. Satish Chandra and
H. T. Nagle, Jr. and
S. A. Starks Sign/Logarithm Arithmetic for FFT
Implementation . . . . . . . . . . . . . 526--534
Wang Hongyuan and
S. C. Lee Comments on ``Sign/Logarithm Arithmetic
for FFT Implementation'' . . . . . . . . 482--484