Last update: Thu Apr 11 09:49:28 MDT 2024
Volume C-19, Number 1, January, 1970Robert 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