Journal: IEEE Transactions on Computers

Volume 27, Issue 9

785 -- 799Jon T. Butler. Tandem Networks of Universal Cells
800 -- 815C. V. Ramamoorthy, James L. Turner, Benjamin W. Wah. A Design of a Fast Cellular Associative Memory of Ordered Retrieval
816 -- 827Philip S. Liu, Frederic J. Mowle. Techniques of Program Execution with a Writable Control Memory
828 -- 832Siu-Chong Si. Dynamic Testing of Redundant Logic Networks
833 -- 841Mabo Robert Ito, Robert D. Cameron. Combined Binary Code Translation and Parallel-to-Serial Conversion Using Stored Logic Arrays
841 -- 854Ruth Shapira, Herbert Freeman. Computer Description of Bodies Bounded by Quadric Surfaces from a Set of Imperfect Projections
855 -- 865J. Robert Jump, Sudhir Ahuja. Effective Pipelining of Digital Systems
866 -- 869David Naccarato, Y. T. Chien. Recursive Methods for Matrix Inversion in Pattern Recognition Environments
869 -- 875Charles R. Greer, Richard A. Thompson. Combinational Logic Design with Decoders
875 -- 879Durga P. Panda, Azriel Rosenfeld. Image Segmentation by Pixel Classification in (Gray Level, Edge Value) Space

Volume 27, Issue 8

681 -- 688Ronald E. Prather, Harold T. Casstevens II. Realization of Boolean Expressions by Atomic Digraphs
689 -- 695Premachandran R. Menon, Stephen G. Chappell. Deductive Fault Simulation with Functional Blocks
696 -- 705Carl-Erik W. Sundberg. Erasure and Error Decoding for Semiconductor Memories
706 -- 712Ram K. Gupta, Mark A. Franklin. Working Set and Page Fault Frequency Paging Algorithms: A Performance Comparison
713 -- 720André Thayse. Meet and Join Derivatives and Their Use in Switching Theory
721 -- 732Jürgen Schürmann. A Multifont Word Recognition System for Postal Address Reading
732 -- 738David Casasent, Peter D. Rapp. System Functions for an Optical/Digital Processor
739 -- 745Koichiro Deguchi, Iwao Morishita. Texture Characterization and Texture-Based Image Partitioning Using Two-Dimensional Linear Estimation Technique
746 -- 749Moshe Ben-Bassat. Irrelevant Features in Pattern Recognition
749 -- 752Tsutomu Sasao, Kozo Kinoshita. Realization of Minimum Circuits with Two-Input Conservative Logic Elements
753 -- 757Hideaki Kobayashi, Hiroyoshi Ohara. A Synthesizing Method for Large Parallel Counters with a Network of Smaller Ones
757 -- 762Boonsieng Benjauthrit, Irving S. Reed. On the Fundamental Structure of Galois Switching Functions
762 -- 764Sanjit K. Mitra, Gregory K. Sorknes. On the Implementation of a Two-Dimensional FIR Filter Using a Single Multiplier
764 -- 765Henri J. Nussbaumer. Fast Multipliers for Number Theoretic Transforms
765 -- 767Vijay K. Bhargava. Some Codes of Rahman and Blake for Computer Applications
767 -- 771Eduardo B. Fernández, Rita C. Summers, Tomás Lang, Charles D. Coleman. Architectural Support for System Protection and Database Security
771 -- 776Ashok V. Kulkarni. On the Mean Accuracy of Hierarchical Classifiers
777 -- 781Saburo Tsuji, Fumio Matsumoto. Detection of Ellipses by a Modified Hough Transformation
781 -- 782Takashi Nanya, Yoshihiro Tohma. On Universal Single Transition Time Asynchronous State Assignments

Volume 27, Issue 7

586 -- 593Eric Dubois, Anastasios N. Venetsanopoulos. The Discrete Fourier Transform Over Finite Rings with Application to Fast Convolution
594 -- 604Donald T. Tang, Lin S. Woo, Lalit R. Bahl. Optimization of Teleprocessing Networks with Concentrators and Multiconnected Terminals
605 -- 616Eiichi Tanaka, King-sun Fu. Error-Correcting Parsers for Formal Languages
617 -- 623Chantal Robach, Gabriele Saucier. Dynamic Testing of Control Units
624 -- 627Paulo T. de Sousa, Francis P. Mathur. Sift-Out Modular Redundancy
628 -- 637William F. Appelbe, Mabo Robert Ito. Scheduling Heuristics in a Multiprogramming Environment
637 -- 647Jacques Lenfant. Parallel Permutations of Data: A Benes Network Control Algorithm for Frequently Used Permutations
660 -- 669Dimitris G. Maritsas, Alexis C. Arvillias, Adam C. Bounas. Phase-Shift Analysis of Linear Feedback Shift Register Structures Generating Pseudorandom Sequences
669 -- 673Franco P. Preparata. New Parallel-Sorting Schemes
674 -- 679Dhiraj K. Pradhan. Fault-Tolerant Asynchronous Networks Using Read-Only Memories

Volume 27, Issue 6

482 -- 490Mohamed Abdelaziz Marouf, Arthur D. Friedman. Efficient Design of Self-Checking Checker for any ::::m::::-Out-of-::::n:::: Code
491 -- 499James E. Smith, Gernot Metze. Strongly Fault Secure Logic Networks
500 -- 508John J. Shedletsky. A Rollback Interval for Networks with an Imperfect Self-Checking Property
509 -- 516Sheldon B. Akers. Binary Decision Diagrams
516 -- 525Jacques Losq. Efficiency of Random Compact Testing
526 -- 531J. J. Stiffler. Coding for Random-Access Memories
531 -- 539Daniel Davies, John F. Wakerly. Synchronization and Matching in Redundant Systems
540 -- 547M. Danielle Beaudry. Performance-Related Reliability Measures for Computing Systems
548 -- 560Alain Costes, Christian Landrault, Jean-Claude Laprie. Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults
560 -- 566Sivanarayana Mallela, Gerald M. Masson. Diagnosable Systems for Intermittent Faults
567 -- 570Stephen Y. H. Su, Israel Koren, Yashwant K. Malaiya. A Continous-Parameter Markov Model and Detection Procedures for Intermittent Faults
570 -- 572René David. A Totally Self-Checking 1-Out-of-3 Checker
572 -- 576Ravindra Nair, Satish M. Thatte, Jacob A. Abraham. Efficient Algorithms for Testing Semiconductor Random-Access Memories

Volume 27, Issue 5

386 -- 396Fabrizio Luccio, Linda Pagli. Rebalancing Height Balanced Trees
396 -- 404Dhiraj K. Pradhan. Asynchronous State Assignments with Unateness Properties and Fault-Secure Design
404 -- 408Malcolm C. Easton. Computation of Cold-Start Miss Ratios
408 -- 413Terry A. Welch. Memory Hierarchy Configuration Analysis
413 -- 420Mark A. Franklin. Parallel Solution of Ordinary Differential Equations
421 -- 428Henry D. Shapiro. Theoretical Limitations on the Efficient Use of Parallel Memories
429 -- 441Edward J. Wilkens. Realizations of Sequential Machines Using Random Access Memory
442 -- 452Rangasami L. Kashyap, Mahesh C. Mittal. Recognition of Spoken Words and Phrases in Multitalker Environment Using Syntactic Methods
452 -- 455Alexander Iosupovicz. Optimal Detection of Bridge Faults and Stuck-At Faults in Two-Level Logic
455 -- 459. A Class of Linear Codes for Error Control in Byte-per-Card Organized Digital Systems
459 -- 462John P. Hayes. Path Complexity of Logic Networks
462 -- 467Kazumasa Ozawa. Classification of the Keyhole Shaped Tombs by Template Matching Method
467 -- 469Jon G. Kuhl, Sudhakar M. Reddy. On the Detection of Terminal Stuck-Faults
469 -- 471Keith W. Henderson. Suggested Standard Forms for Certain Real Hadamard Matrices

Volume 27, Issue 4

289 -- 296Daniel P. Friedman, David S. Wise. Aspects of Applicative Programming for Parallel Processing
297 -- 301Harvey L. Garner. Theory of Computer Addition and Overflows
302 -- 308Behrooz Parhami, Algirdas Avizienis. Detection of Storage Errors in Mass Memories Using Low-Cost Arithmetic Error Codes
309 -- 318Kolar L. Kodandapani, Sharad C. Seth. On Combinational Networks with Restricted Fan-Out
319 -- 325Tsuneyo Chiba. Impact of the LSI on High-Speed Computer Packaging
325 -- 336Graham A. Jullien. Residue Number Scaling and Other Operations Using ROM Arrays
337 -- 348David H. Hartke, Warren M. Sterling, Jack E. Shemer. Design of a Raster Display Processor for Office Applications
349 -- 358Vason P. Srini. Fault Location in a Semiconductor Random-Access Memory Unit
359 -- 366Robert Y. Wong, Ernest L. Hall. Sequential Hierarchical Scene Matching
367 -- 375Josef Kittler. Classification of Incomplete Pattern Vectors Using Modified Discriminant Functions
375 -- 379Narendra Ahuja, Larry S. Davis, David L. Milgram, Azriel Rosenfeld. Piecewise Approximation of Pictures Using Maximal Neighborhoods
379 -- 384Hideo Fujiwara, Kozo Kinoshita. Some Existence Theorems for Probabilistically Diagnosable Systems

Volume 27, Issue 3

193 -- 200Charles W. Cha, William E. Donath, Füsun Özgüner. 9-V Algorithm for Test Pattern Generation of Combinational Digital Circuits
201 -- 204Douglas C. Bossen, Lih C. Chang, Chin-Long Chen. Measurement and Generation of Error Correcting Codes for Package Failures
205 -- 213Edward S. Deutsch, Jerry R. Fram. A Quantitative Study of the Orientation Bias of Some Edge Detector Schemes
214 -- 221Tsutomu Sasao, Kozo Kinoshita. Cascade Realization of 3-Input 3-Output Conservative Logic Circuits
222 -- 231Kenneth P. Parker, Edward J. McCluskey. Sequential Circuit Output Probabilities From Regular Expressions
232 -- 238T. C. Wesselkamper. Divided Difference Methods for Galois Switching Functions
239 -- 248Dhiraj K. Pradhan. A Theory of Galois Switching Functions
249 -- 252Henry Y. H. Chuang, Santanu Das. Design of Fail-Safe Sequential Machines Using Separable Codes
252 -- 254Samuel H. Fuller, Patrick F. McGehearty. Minimizing Latency in CCD Memories
254 -- 255Stephen D. Shapiro. Transform Method of Curve Detection for Textured Image Data
256 -- 258Paolo Corsini, Graziano Frosini. Uniform Shift Multiplication Algorithms Without Overflow
258 -- 261Theodosios Pavlidis, Kenneth Steiglitz. The Automatic Counting of Asbestos Fibers in Air Samples
261 -- 266John Fehlauer, Bruce A. Eisenstein. A Declustering Criterion for Feature Extraction in Pattern Recognition
266 -- 270Dharma P. Agrawal. A Novel Technique for Computing Negabinary Squares
270 -- 275L. C. Higbie. Overlapped Operation with Microprogramming
275 -- 280F. Fusco, Stefano Levialdi, L. Ritondale. A Quality Factor for Measuring Program Efficiency
280 -- 283Hideo Fujiwara, Kozo Kinoshita. Connection Assignments for Probabilistically Diagnosable Systems
283 -- 285Dilip V. Sarwate. Semi-Fast Fourier Transforms over ::::GF::::(2:::::::m:::::::)
285 -- 286Subrata Dasgupta. Comments on The Identification of Maximal Parallelism in Straight-Line Microprograms
286 -- 287Gary E. Barnes. Comments on The Identification of Maximal Parallelism in Straight-Line Microprograms
287 -- 0S. N. Maheshwari, S. Louis Hakimi. Corrections and Comments on On Models for Diagnosable Systems and Probabilistic Fault Diagnosis
287 -- 0Edward N. Adams III. Comments on The Identification of Maximal Parallelism in Straight-Line Microprograms

Volume 27, Issue 2

97 -- 105Jon Louis Bentley, Jerome H. Friedman. Fast Algorithms for Constructing Minimal Spanning Trees in Coordinate Spaces
106 -- 112John J. Shedletsky. Error Correction by Alternate-Data Retry
113 -- 125David C. van Voorhis, Thomas H. Morrin. Memory Systems for Image Processing
126 -- 143W. A. Perkins. A Model-Based Vision System for Industrial Parts
144 -- 156Robert P. Roesser. Two-Dimensional Microprocessor Pipelines for Image Processing
157 -- 159Glen G. Langdon Jr.. A Decomposition Chart Technique to Aid in Realizations with Multiplexers
159 -- 162J. Joseph. On Easily Diagnosable Sequential Machines
162 -- 164Ranan B. Banerji. The Construction of Binary Matrices with Distinct Submatrices
164 -- 167Marcel J. E. Golay. Topoglyphs
167 -- 170L. P. J. Veelenturf. Inference of Sequential Machines from Sample Computations
170 -- 174Moshe Ben-Bassat. Myopic Policies in Sequential Classification
174 -- 176J. Paul Roth. Programmed Logic Array Optimization
176 -- 181Keinosuke Fukunaga, Robert D. Short II. Generalized Clustering for Problem Localization
181 -- 187Dhiraj K. Pradhan. Universal Test Sets for Multiple Fault Detection in AND-EXOR Arrays
187 -- 189Edward J. McCluskey, Kenneth P. Parker, John J. Shedletsky. Boolean Network Probabilities and Network Design
189 -- 190V. M. Gritsenko. Comments on Error-Correcting Codes for Byte-Organized Arithmetic Processors
190 -- 0T. R. N. Rao. Autor s Replay and Comments on the Arithmetic Codes Generated by A = (::::r:::: - 1):::: p::::::: 2:::
190 -- 191E. B. Felstead, K. O. Hill, A. U. Tenne-Sens. Comments on Direct Coherent Optical Fourier Transforms of Curves
191 -- 0Sureshchander. Comments on ``Delayed Universal Logic Modules and Sequential Machine Synthesis''
191 -- 0Andrzej Hlawiczka. Comments on Procedures for Eliminating Static and Dynamic-Hazards in Test Generation

Volume 27, Issue 12

1093 -- 1098Dennis A. Reynolds, Gernot Metze. Fault Detection Capabilities of Alternating Logic
1099 -- 1111Christos A. Papachristou. An Algorithm for Optimal NAND Cascade Logic Synthesis
1112 -- 1118Lucien M. Censier, Paul Feautrier. A New Solution to Coherence Problems in Multicache Systems
1119 -- 1125Clark D. Thompson. Generalized Connection Networks for Parallel Processor Intercommunication
1126 -- 1136Jan Van Campenhout, Paul H. Notredame. A Stochastic Model for Closed-Loop Preemptive Microprocessor I/O Organizations
1137 -- 1143Nikolaos Gaitanis, Constantine Halatsis. A New Double-Rank Realization of Sequential Machines
1144 -- 1152Constantine Halatsis, Maria Sigala, George Philokyprou. Polylinear Decomposition of Synchronous Sequential Machines
1153 -- 1176Svetlana P. Kartashev, Steven I. Kartashev. On Modular Networks Satisfying the Shift-Register Rule
1177 -- 1178Deok Kyo Lee. Method of Folding a Piecewise Polynomial Function in the Delta Function Integral Representation
1178 -- 1180R. F. Eschenbach, B. M. Oliver. An Efficient Coordinate Rotation Algorithm
1180 -- 1183Edward A. Bender, Jon T. Butler. Asymptotic Aproximations for the Number of Fanout-Free Functions
1183 -- 1185C. L. Chen. On the Generation of Permutations in Magnetic Bubble Memories
1185 -- 1188Ferruccio Barsi, Piero Maestrini. Arithmetic Codes in Residue Number Systems with Magnitude Index
1189 -- 1192Constantine Halatsis, Nikolaos Gaitanis. On the Minimization of the Control Store in Microprogrammed Computers
1192 -- 1195Farhad Hemmati, Daniel J. Costello Jr.. An Algebraic Construction for ::::q::::-ary Shift Register Sequences
1195 -- 1197J. J. Stiffler. The Reliability of a Fault-Tolerant Configuration Having Variable Coverage
1197 -- 1202John R. Bennett, W. Vogel. On the Characteristics of a Simple Architecture for Finite Impulse Response Digital Filtering
1202 -- 1206Hsiao-Peng Sherman Lee. An Algorithm for Minimal TANT Network Generation
1206 -- 1213F. Gail Gray, Richard A. Thompson. Fault Detection in Bilateral Arrays of Combinational Cells
1213 -- 1216S. Wendling, G. Gagneux, G. Stamon. A Set of Invariants Within the Power Spectrum of Unitary Transformations
1216 -- 1221Jon W. Mark, Stephen F. W. Ng. Satellite Packet Switching with Global Assignments and Batch Poisson Arrivals
1221 -- 1226James E. Smith. On the Existence of Combinational Logic Circuits Exhibiting Multiple Redundancy
1226 -- 1227Geoff Hannington, Donald G. Whitehead. Authors Reply
1226 -- 0Philip G. McCrea, Peter C. Maxwell, P. W. Baker. Comments on A Floating Point Multiplexed DDA System

Volume 27, Issue 11

977 -- 984Chao-Kai Liu, Tse Lin Wang. Error-Correcting Codes in Binary-Coded-Decimal Arithmetic
985 -- 997Colin R. Edwards, S. L. Hurst. A Digital Synthesis Procedure Under Function Symmetries and Mapping Methods
998 -- 1005S. Karunanithi, Arthur D. Friedman. Some New Types of Logical Completeness
1006 -- 1014Tomlinson Gene Rauscher, Ashok K. Agrawala. Dynamic Problem-Oriented Redefinition of Computer Architecture via Microprogramming
1015 -- 1028Mario R. Schaffner. Processing by Data and Program Blocks
1028 -- 1039Zosimo Arevalo, Jon G. Bredeson. A Method to Simplify a Boolean Function into a Near Minimal Sum-of-Products for Programmable Logic Arrays
1040 -- 1053Shin-Yee Lu, King-sun Fu. Error-Correcting Tree Automata for Syntactic Pattern Recognition
1054 -- 1055Vishwani D. Agrawal. When to Use Random Testing
1055 -- 1059Kolar L. Kodandapani, Rangaswamy V. Setlur. A Cellular Array for Multivalued Logic Functions
1059 -- 1063Gerard G. L. Meyer, Gerald M. Masson. An Efficient Fault Diagnosis Algorithm for Symmetric Multiple Processor Architectures
1064 -- 1068Constantine Halatsis, Nikolaos Gaitanis. Irredundant Normal Forms and Minimal Dependece Sets of a Boolean Function
1068 -- 1070Dharma P. Agrawal, T. R. N. Rao. On Multiple Operand Addition of Signed Binary Numbers
1070 -- 1073A. Druzeta, Zvonko G. Vranesic. A. Higher Radix Technique for Fault Detection in Many-Valued Multithreshold Networks
1073 -- 1078H. A. Vink. Minimal TANT Networks of Functions with DONT CARE s and Some Complemented Input Variables
1078 -- 1082Bruce J. Schachter. Decomposition of Polygons into Convex Sets
1083 -- 1087Yuri Breitbart, Shmuel Gal. Analysis of Algorithms for the Evaluation of Monotonic Boolean Functions
1087 -- 1089Raphael Rom. Distribution of Runs in Binary Words

Volume 27, Issue 10

881 -- 885Hideo Fujiwara, Kozo Kinoshita. On the Computational Complexity of System Diagnosis
886 -- 895Abhaya Asthana. Design and Control of a Three-Stage Switch Matrix in the Presence of Fan-Out
896 -- 903Eduard Cerny. Controllability and Fault Observability in Modular Combinational Circuits
904 -- 910Luigi P. Cordella, Michael J. B. Duff, Stefano Levialdi. An Analysis of Computational Cost in Image Processing: A Case Study
911 -- 923Yacoub M. El-Ziq, Stephen Y. H. Su. Computer-Aided Logic Design of Two-Level MOS Combinational Networks with Statistical Results
923 -- 926Jack Sklansky. On the Hough Technique for Curve Detection
927 -- 934Jon G. Kuhl, Sudhakar M. Reddy. A Multicode Single Transition-Time State Assignment for Asynchronous Sequential Machines
935 -- 944Nenad Marovac. Sieve Method for Real-Time Computer-Aided Extraction of Multivalued Analog Signals in the Presence of Noise
945 -- 950Martin L. Griss. Using an Efficient Sparse Minor Expansion Algorithm to Compute Polynomial Subresultants and the Greatest Common Denominator
951 -- 960A. E. A. Almaini. Sequential Machine Implementations Using Universal Logic Modules
961 -- 966H. A. Vink, B. van den Dolder, J. Al. Reduction of CC-Tables Using Multiple Implication
966 -- 968Ben-Dau Tseng, William C. Miller. On Computing the Discrete Cosine Transform
968 -- 971Adi Tzidon, Israel Berger, Michael Yoeli. A Practical Approach to Fault Detection in Combinational Networks
971 -- 973C. K. Yuen. Analog-to-Gray Code Conversion

Volume 27, Issue 1

1 -- 20S. S. Reddi, Edward A. Feustel. A Restructurable Computer System
21 -- 31Earl E. Swartzlander Jr., Barry K. Gilbert, Irving S. Reed. Inner Product Computers
32 -- 36Morton Kanefsky, Michael G. Strintzis. A Decision Theory Approach to Picture Smoothing
36 -- 41John P. Hayes. Generation of Optimal Transition Count Tests
42 -- 52Masateru Harao, Shoichi Noguchi. On Some Dynamical Properties of Finite Cellular Automaton
53 -- 63Richard A. Thompson, F. Gail Gray. Universal Modular Trees: A Design Procedure
64 -- 67R. C. Pearce, Jayanti C. Majithia. Analysis of a Shared Resource MIMD Computer Organization
68 -- 76Efim A. Galperin. Loop Properties and Controllability of Linear Congruential Sequences
77 -- 81C. V. Kameswara Rao, Kenneth Balck. Finding the Core Point in a Fingerprint
81 -- 84Steven L. Tanimoto. An Optimal Algorithm for Computing Fourier Texture Descriptors
84 -- 87Gérard M. Baudet, David Stevenson. Optimal Sorting Algorithms for Parallel Computers
87 -- 90H. Butin. On an Ordering of Walsh Functions
90 -- 94Giacomo Cioffi. Autotesting Speed-Independent Sequential Circuits
94 -- 95Kenichi Mase. Comments on A Measure of Computational Work and Logical Network Cost and Entropy
95 -- 96Chao-Chih Yang, Charmane P. May. A Correction and Some Comments Concerning Graph Isomorphism by Finite Automata