IEEE TRANSACTIONS ON COMPUTERS, APRIL 1972

426

DESCRIPTOR-IN-CONTEXT INDEX A Accuracy Accurate Floating-Point Summation 9483 -see also Error Adaptive Adaptive Random Procedure for Generating Fault Detection Tests for Sequential Circuits 9504 -see also Control, Learning, Patterns Addition; Adders; Additive Accurate Floating-Point Summation 9483 Algebra; Algebraic Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543 Algebriaic Theory of Finite Fourier Transforms 9560 see also Algebriac Equations, Automata Boolean, Matrices, Polynomials, Sequential Machines Algebrinic Equations Solution of Systems of Polynomial Equations 9549 see also Matrices Algorithms; Algorithmic Radix-2 Fast Fourier Transform Algorithm 9561 Algorithms For: Operation-Preserving Functions and Autonomous Factors of Finite Automata 9480

Demonstration of Properties of Floating-

Point Arithmetic 9482 Accurate Floating-Point Summation 9483 Fault Equivalence in Combinational Logic Networks 9498 Efficient Generation of Minimum Fault Test Schedules for Combinational Logic Networks 9499 Efficient Generation of Complete Test Sets for Combinational Logic Circuits 9501 Test Generation and Evaluation for Detection of Faults in Combinational Logic Circuits 9503 Generation of Fault Detection Tests for Sequential Circuits 9504 Optimizing the Polyphase Sorting Proce-

dure Using Dispersion Schemes 9532 Drawing Circles with Digital Hardware 9533 Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543 Recognition of the Equivalence of Mathematical Expressions to Zero in Symbolic Mathematics 9544 Computation of Polynomial Greatest Common Divisors 9547 Calculation o f Resultants of Multivariate Polynomials with Integer Coefficients 9549 Determination of the Real Zeros of Polynomials Using Integer Arithmetic 9550 Equilibration of Symmetric Matrices in the Max-Norm 9551 Real-Time Traffic Flow Optimization 9568 Analysis; Analytic Cause-Effect Analysis for Multiple Fault Detection in Combinational Networks 9502 Flow Table Model Analysis Procedure for

Parallel Hardware and Software Systems 9507 Reliability Modeling and Analysis of Ultrareliable Fault-Tolerant Digital Systems Using Redundancy 9509 Pattern Recognition Technique for System Erior Analysis Based on Matrix Algebra 9512 Correlation Method for Computer-Aided Statistical Analysis of Electronic Circuits 9559 -see also Mathematics, Simulation Approximation; Curve Fitting -see Error, Interpolation Arithmetic Cost and Effectiveness Studies of Arithmetic Error Codes in Digital System Design 9496 Determination of the Real Zeros of Polynomials Using Integer Arithmetic 9550 -see also Addition, Floating Point, Multiplication Arrays 120-Cell Punched-Card Modifiable Logic Array Constituting Multiple Data Processing Subsystems 9514 -see also Storage Artificial Intelligence -see Heuristic, Inference, Learning, Patterns, Problem Solving, Question-Answering, Theorem Proving Associative; Content-Addressed Stationary Iterative Methods for Solving Systems of Partial Differential Equations on Associative Processors 9557 Automata; Turing Machines Tesellation Structures for Reproduction of Arbitrary Patterns 9479 Operation-Preserving Functions and Autonomous Factors of Finite Automata 9480 -see also Context-Free, Languages, Sequential Machines Automated; Automatic; Automation Automation of Heuristic Etching-Pattern Layout for Printed Circuit Wiring 9567 B Boolean Detection of Multiple Faults Using Boolean Differences 9501 Boolean Difference for Fault Detection in Asynchronous Sequential Machines 9505 Boundary; Boundaries Reformulation of Boundary-Value Problems of Nonlinear Ordinary Differential Equations for Numerical Solution 9556

Calculus

C

-see Differential Equations, Integration,

Predicate Calculus Characters Character-Coded Computer Using a READWRITE Microprogram Memory 9488 -see also Patterns, Recognition, Symbolic Circuits Correlation MIethod for Computer-Aided Statistical Analysis of Electronic Circuits 9559 -see also Combinational, Gates, Inte-

grated Circuits, Logic, Modules, Networks, Sequential Machines, Switching Classification -see Patterns Codes; Coding; Decoding; Encoding Cost and Effectiveness Studies of Arithmetic Error Codes in Digital System Design 9486 Character-Coded Computer Using a READWRITE Microprogram Memory 9488 Simple Self-Testing Decoder Checking Circuit for Error Detection 9492 Realization of Fail-Safe Sequential Machines by Using a k-out-of-n Code 9506 Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543 Combinational; Combinatorial Design of Multiple Fault Diagnosable Combinational Networks 9495 Structural Factors in the Fault Diagnosis of Combinational Networks 9496 Model for Locatability of Faults in Combinational Networks 9497 Fault Equivalence in Combinational Logic Networks 9498 Efficient Generation of Minimum Fault Test Schedules for Combinational Logic Networks 9499 Design of Minimum Length Fault Tests for Combinational Circuits 9500 Efficient Generation of Complete Test Sets for Combinational Logic Circuits 9501 Cause-Effect Analysis for Multiple Fault Detection in Combinational Networks 9502 Test Generation and Evaluation for Detection of Faults in Combinational Logic Circuits 9503 Communication; Communications see also Data Transmission, ManMachine Communications Compilers; Compiling Compiler Generation Using Bootstrapping Techniques 9526 -see also Programming Languages

Computation; Computing

Computing Times of Algorithms for Calculating Multivariate Polynomial Result-

ants 9549 -see also Failures, Recursion Computer Applications Automation of Heuristic Etching-Pattern Layout for Printed Circuit Wiring 9567 -see also Automata, Computer Systems, Computers, Control, Editing, Education, Mathematics, Patterns, Programs for, Retrieval, Simulation Computer Science -see Education Computer Systems Three-Failure-Tolerant Computer System for Real-Time Control Using Redundancy 9489 Computer System Hardware and Software Performance Evaluation and Monitoring 9511 -see also Computers, Digital Computers, On-Line, Remote, Time-Sharing Computers Character-Coded Computer Using a READ-

427

ABSTRACTS OF CURRENT COMPUTER LITERATURE

WRITE Microprogram Memory 9488 Self-Testing and Repairing Computer with Dynamic Redundancy 9491 Computer Diagnosis Using the Blocking Gate Approach 9494 see also Automata, Computer Applications, Computer Systems, Digital Computers, Graphics, Processes, Sequential Machines, Time-Sharing Context-Free, Context-Sensitive Correspondence Between the Data Structures of List Processing and Context-Free Languages 9531 Control Three-Failure-Tolerant Computer System for Real-Time Cdntrol Using Redundancy 9489 Computer-Based Learning System for Remote Manipulator Control 9569 -see also Microprogramming Conversational Network Linguistics and the Conversational Design of Queueing Networks 9566

Correction; Correctness Abstract Model for Programs and Their Execution with Proofs of Correctness 9520 -see also Error Correlation Correlation Method for Computer-Aided Statistical Analysis of Electronic Circuits

9559 Costs Cost and Effectiveness Studies of Arithmetic Error Codes in Digital System Design 9486 Method for Redundancy Scheme Performance Assessment in Terms of Reliability Improvement and Cost 9508 D Data see Data Acquisition, Data Bases, Data Processing, Data Structures, Information, Lists Data Acquisition Multichannel High-Speed Data Acquisition and Processing System 9513 Data Bases Language for Describing the Organizations of Data in Files and Data Bases 9523 Design of a Data Retrieval Language for a Generalized Data Base 9524 Data Processing Data Processing Multichannel High-Speed Data Acquisition and Processing System 9513 120-Cell Punched-Card Modifiable Logic Array Constituting Multiple Data Processing Subsystems 9514 Interactive Hardware/Software Switching Module for Interfacing Data Processing

Equipmente9519

-see also Computer Systems, Digital Computers, Education, Multiprocessing, Pro-

cessing Data Structures Correspondence Between the Data Struc-

ofnguList Prcssn5 -see also Lists

adCotxtFe

Data Transmiission Digital Data Modem for Transmission by Cornbined AM and PM 9564 -see also Codes. Interfaces Decision Processes; Decidability

Problem Solving, Question Answering and Decision Making 9538 Design Soviet Progress in the Design of FaultTolerant Digital Machines 9485 Cost and Effectiveness Studies of Arithmetic Error Codes in Digital System Design 9486 Theory and Practice of Fault-Tolerant Computer Design 9491 Design of Multiple Fault Diagnosable Combinational Networks 9495 Design of Minimum Length Fault Tests for Combinational Circuits 9500 Design of a Data Retrieval Language for a Generalized Data Base 9524 Design and Implementation of a Programming Language for Behavioral Science 9525 Network Linguistics and the Conversational Design of Queueing Networks 9566 -see also Logic Design Detection; Detectors Simple Self-Testing Decoder Checking Circuit for Error Detection 9492 Detection of Multiple Faults Using Boolean Differences 9501 Test Generation and Evaluation for Detection of Faults in Combinational Logic Circuits 9503 -see also Failures

Education Use of Computers in Higher Education 9477 Principles for the Human Use of Computers in Education 9478 Efficiency Efficient Generation of Minimum Fault Test Schedules for Combinational Logic Networks 9499 Efficient Generation of Complete Test Sets for Combinational Logic Circuits 9501 -see also Performance Equations -see Algebraic Equations, Boolean, Differential Equations Equivalence Fault Equivalence in Combinational Logic Networks 9498 Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543

Computer Diagnosis Using the Blocking Gate Approach 9494 -see also Error, Failures, Tests Differential Equations (Ordinary) -see Boundary Differential Equations (Partial) Stationary Iterative Methods for Solving Systems of Partial Differential Equations on Associative Processors 9557 -see also Boundary Digital Digital Data Modem for Transmission by Combined AM and PM 9564 -see also Circuits, Control, Integrated Circuits, Simulation, Switching Digital Computers; Digital Systems Soviet Progress in the Design of FaultTolerant Digital Machines 9485 Cost and Effectiveness Studies of Arithmetic Error Codes in Digital System Design 9486

Computer Systemp9530 -see also Computation, Performance,

Diagnosis

Reliablity ModelingFandAnalysisofUltra-

Error

Pattern Recognition Technique for System

Error Analysis Based on Matiix Algebra 9512 see also Codes, Correction, Debugging, Failures, Redundancy, Reliability

Eauto

evaluation Test

Generation and Evaluation for Detecof Faults in Combinational Logic Cirits 9503

tion

User-Oriented EvaluationofaTme-Shared

Tess

Expressions

Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543 Recognition of the Equivalence of Mathematical Expressions to Zero in Symbolic Mathematics 9544 F

Failures; Faults; Malfunctions

Overview of Fault-Tolerant Computing 9484 Soviet Progress in the Design of FaultTolerant Digital Machines 9485 Fault Effectiveness of Arithmetic Codes

9486

Logic Design for Dynamic and Interactive Recovery in Fault-Tolerant Computers

98 9487 Self-Reconfigurable and Fault-Tolerant Computer Using Redundancy for High 9533 Reliability 9488 Three-Failure-Tolerant Computer System -see also Computer Systems, Computers, for Real-Time Control Using RedunProcessing Displays dancy 9489 Effects of Letter Size, Case, and Generation Distributed Control Fault-Tolerant InforMethod on CRT Display Search Time mation Multiprocessing System 9490 9518 Theory and Practice of Fault-Tolerant Computer Design 9491 -see also Characters, Graphics, Terminals Design of Multiple Fault Diagnosable Documentation Combinational Networks 9495 -see Editing, Information, Retrieval Structural Factors in the Fault Diagnosis of 9496 Networks of Faults in CombiModel for Locatability Etures oLitPoesnanCotx-reCombinational national Networks 9497 Editing; Editors Fault Equivalence in Combinational Logic Survey of On-Line Creation and Editing of Networks 9498 Computer Programs and Manuscript Detection of Multiple Faults Using Boolean Text 9521 Differences 9501 Terminals with Local Editing Facilities Cause-Effect Analysis for Multiple Fault 9521

reliable Fault-Tolerant Digital Systems

~~~~Using Redundancy 9509 Drawing Circles with Digital Hardware see

IEEE TRANSACTlONS ON

428

Detection in Combinational Networks 9502 Boolean Difference for Fault Detection in Asynchronous Sequential Machines 9505 Realization of Fail-Safe Sequential Machines by Using a k-out-of-n Code 9506 see also Diagnosis, Performance, Reliability, Tests Files; Filing -see Data Bases, Sorting Floating Point Demonstration of Properties of FloatingPoint Arithmetic 9482 Accurate Floating-Point Summation 9483 Flow Charts (Diagrams, Graphs, Tables) Flow Table Model Analysis Procedure for Parallel Hardware and Software Systems

Equipment 9519 -see also Computers, Displays, Software,

Storage

Heuristic; Heuristics

Heuristic Test Generators for Realistic Testing of LSI Circuits 9503 Automation of Heuristic Etching-Pattern Layout for Printed Circuit Wiring 9567 -see also Problem Solving Human Factors -see Man-Machine Communications

I Inference; Induction Artificial Intelligence and Large Interactive Man-Computer Systems with Inference 9536 Mllo BtManel 9507 9507 Information Distributed Control Fault-Tolerant InforFormat; Formatting mation Multiprocessing System 9490 Ordering for Resolution with Merging and see also Codes, Retrieval Linear Format in Theorem Proving 9540 Integrated Circuits; Microelectronics F9urier Heuristic Test Generators for Realistic Algebraic Theory of Finite Fourier TransTesting of LSI Circuits 9503 forms 9560 Generation of Test Patterns for LSI SeRadix-2 Fast Fourier Transform Algorithm 9561 quential Circuits 9505 Digital Charge-Coupled Shift Registers Functions -see Boolean, Recursion 9515 Density Memory System Based on High G Surface-Charge Transport Integrated Circuits 9 5 16 Games -see also Arrays Playing Positional Games 9542 Integration; Quadrature Gates Practical Strategy for the Clenshaw-Curtis Self-Reconfigurable Computer with Both Quadrature Method 9555 Gate Connector and Random Redun-see also Differential Equations dancy 9488 Computer Diagnosis Using the Blocking Interaction; Interactive Logic Design for Dynamic and Interactive Gate Approach 9494 Recovery in Fault-Tolerant Computers Generation; Generators 9487 Efficient Generation of Minimum Fault Interactive Hardware/Software Switching Test Schedules for Combinational Logic Module for Interfacing Data Processing Networks 9499 Equipment 9519 Efficient Generation of Complete Test Sets -see also Graphics, Man-Machine Comfor Combinational Logic Circuits 9501 munications Test Generation and Evaluation for Detection of Faults in Combinational Logic Interfaces Interactive Hardware/Software Switching Circuits 9503 Module for Interfacing Data Processing Adaptive Random Procedure for GeneratEquipment 9519 ing Fault Detection Tests for Sequential Interpolation Circuits 9504 Quadrilateral Interpolation 9545 Generation of Test Patterns for LSI SeIterative; Iteration quential Circuits 9505 Iterative and Macroblock Test Generators Effects of Letter Size, Case, and Generation for Fault Detection in Sequential Logic Method on CRT Display Search Time Circuits 9503 9518 Simultaneous Iteration Method for the Compiler Generation Using Bootstrapping Unsymmetric Matrix Eigenvalue ProbTechniques 9526 lem 9553 Generation of Good Difference Orderings Accelerating the Convergence of Matrix for the General Problem Solver 9539 Iterative Processes 9554 -see also Displays, Numbers Stationary Iterative Methods for Solving Graphics; Graphical Systems of Partial Differential Equations Drawing Circles with Digital Hardware on Associative Processors 9557 9533 Network Linguistics and the ConversaL tional Design of Queueing- Networks Languages; Linguistics; Grammars 9566 Network Linguistics and the Conversa-see also Displays, Patterns H H

Hardware Flow Table Model Analysis Procedure for Parallel Hardware and Software Systems 9507 Computer System Hardware and Software Performance Evaluation and Monitoring

9511i

Interactive Hardware/Software Switching

Module for Interfacing Data Processing

InformationaTe

~ ~ ~ ~ ~tional ~~~~~9566

Design of Queueing Networks -see also Context-Free, Programming Languages

Learniing

Computer-Based Learning System for Remote Manipulator Control 9569 -see also Adaptive, Artificial Intelligence Linear Programming Linear Programming for Economic LotSize Production with Precedences 9570

COMPUTERS, APRIL 1972

Lists; List Processing

Correspondence Between the Data Structures of List Processing and Context-Free

Languages 9531 Logic; Logical

Derivation of Minimum Fault Test Sets for Unate Logical Circuits 9493 -see also Arrays, Combinational, Gates, Logic Design, Predicate Calculus Logic Design Logic Design for Dynamic and Interactive Recovery in Fault-Tolerant Computers 9487 Magnetic Films

M

Development of a Ten Million Bit Magnetic

Film Memory 9517 (Interaction, Man-Machine Systems) Communications Artificial Intelligence and Large Interactive Man-Computer Systems with Inference 9536 Man-Machine Synergistic Approach to Planning and Creative Problem Solving 9537 Interactive Theorem Proving in First Order Predicate Calculus with Equality 9541 Calculation of System Reliability and MTBF by Interactive Time-Sharing 9565 -see also Conversational, Displays, Graphics, Terminals Mathematics; Mathematical Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543 Recognition of the Equivalence of Mathematical Expressions to Zero in Symbolic Mathematics 9544 -see also Algebra, Arithmetic, Boolean, Differential Equations, Fourier, Integration, Logic, Models, Optimization, Polynomials Matrices Pattern Recognition Technique for System Error Analysis Based on Matrix Algebra 9512 Equilibration of Symmetric Matrices in the Max-Norm 9551 Consistent Ordering and Zero Circulation in Matrix Theory 9552 Simultaneous Iteration Method for the Unsymmetric Matrix Eigenvalue Problem 9553 Accelerating the Convergence of Matrix Iterative Processes 9554 -see also Arrays Memory -see Storage Merging Ordering for Resolution with Merging and Linear Format in Theorem Proving 9540 -see also Sorting

alsoprorting

Microprograms Milcroprogramming; Character-Coded Computer Using a READWRITE Microprogram Memory 9488 Minimal; Minimization; Extrema

Derivation of Minimum Fault Test Sets for UJnate l,ogical Circuits 9493 Efficient Generation of Minimum Fault Test Schedules for Combination:al Logic Networks 9499 Design of Minimum Length Fault Tests for Combinational Circuits 9500 Near-Minimal Test Patterns for Multiple Fault Detection in Combinational Networks 9502 -see also Optimal

429

ABSTRACTS OF CURRENT COMPUTER LITERATURE

Models; Modeling Model for Locatability of Faults in Combinational Networks 9497 Flow Table Model Analysis Procedure for Parallel Hardware and Software Systems 9507 Reliability Modeling and Analysis of Ultrareliable Fault-Tolerant Digital Systems Using Redundancy 9509 Reliability Modeling for Fault-Tolerant Computers 9510 Abstract Model for Programs and Their Execution with Proofs of Correctness 9520 Mathematical Models of Time-Sharing Queueing Systems 9527 Queueing Network Models for Large-Scale Time-Sharing Systems 9528 Dynamic Time-Sharing Queue Model 9529 -see also Simulation Modular; Modules; Building Blocks Interactive Hardware/Software Switching Module for Interfacing Data Processing Equipment 9519 Monitor Systems; Monitoring Computer System Hardware and Software Performance Evaluation and Monitoring 9511 Multiplication; Multipliers Multiplicative Pseudo-Random Number Generators with Prime Modulus 9562 Multiprocessing Distributed Control Fault-Tolerant Information Multiprocessing System 9490 -see also Parallel, Time-Sharing N Networks; Nets Queueing Network Models for Large-Scale Time-Sharing Systems 9528 Network Linguistics and the Conversational Design of Queueing Networks 9566 -see also Arrays, Combinational, Mod-

ules, Sequential Machines, Switching

Numbers; Numeric; Number Theory; Enumeration Multiplicative Pseudo-Random Number Generators with Prime Modulus 9562 Numerical Analysis -see Algebra, Arithmetic, Differential

Equations, Integration, Matrices

Maitinuc

and Editing of Survey of On-Line Creationand Programs and Manuscript Computer Programs

Curveyomputerine

Problem Solving, Question Answering and

Decision Making 9538 Generation of Good Difference Orderings for the General Problem Solver 9539 -see also Heuristic Processes; Processing; Processors Application of an Edge-Defining Preprocessor to the Recognition of Handwritten Numerals 9534 Stationary Iterative Methods for Solving Systems of Partial Differential Equations on Associative Processors 9557 Model Output Processing Technique for Simulation Technology 9563 -see also Associative, Computers, Data Processing, Information, Lists, Multiprocessing, Parallel

Programming -see Heuristic, Software Programming Languages

0

-exelRaT Osee also Real-Time

Patterns Tesellation Structures for Reproduction of Arbitrary Patterns 9479 Pattern Recognition Technique for System Error Analysis Based on Matrix Algebra 9512 -see also Characters, Learning Performance Method for Redundancy Scheme Performance Assessment in Terms of Reliability Improvement and Cost 9508 Computer System Hardware and Software Performance Evaluation and Monitoring 9511 -see also Costs, Efficiency Polynomials Lehmer-Schur Method of Finding the Roots of Polynomials 9546 Computation of Polynomial Greatest Common Divisors 9547 Relationship of Polynomial Subresultants to Remainder Sequences 9548 Calculation of Resultants of Multivariate Polynomials with Integer Coefficients 9549 Determination of the Real Zeros of Polynomials Using Integer Arithmetic 9550 Predicate Calculus Interactive Theorem Proving in First Order Predicate Calculus with Equality 9541 Problem Solving Man-Machine Synergistic Approach to Planning and Creative Problem Solving 9537

o

Optical Character Recognition System Which Simulates Visual Physiological Functions 9535 Optimal; Optimization

Real-Time Traffic Flow Optimization 9568 -see also Linear Programming, Minimal Organization Language for Describing the Organizations of Data in Files and Data Bases 9523 -see also Computer Systems, Computers P Parallel: Parallelism Flow Table Model Analysis Procedure for Parallel Hardware and Software Systems 9507

Recursive Composition of Semantics in Algol 68 9522 Organizations the Bases for Describing Language 9523 and Data of Data in Files

Design of a Data Retrieval Language for a Generalized Data Base 9524 Design and Implementation of a Program-

ming Language for Behavioral Science 9525 see also Compilers, Languages Programs; Routines Abstract Model for Programs and Their Execution with Proofs of Correctness

9520 Survey of On-Line Creation and Editing of Computer Programs and Manuscript Text 9521 -see also Software Programs For: ~~~~~~Demonstration of Properties of FloatingPoint Arithmetic 9482 Efficient Generation of Complete Test Sets for Combinational Logic Circuits 9501 Test Generation and Evaluation for Detec-

tion of Faults in Combinational Logic Circuits 9503 Boolean Difference for Fault Detection in Asynchronous Sequential Machines 9505 Problem Solving, Question Answering and Decision Making 9538 Generation of Good Difference Orderings for the General Problem Solver 9539 Interactive Theorem Proving in First Order Predicate Calculus with Equality 9541 Playing Positional Games 9542 Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543 Lehmer-Schur Method of Finding the Roots of Polynomials 9546 Radix-2 Fast Fourier Transform Algorithm

9561

Calculation of System Reliability and MTBF by Interactive Time-Sharing 9565 Automation of Heuristic Etching-Pattern Layout for Printed Circuit Wiring 9567 Proof Abstract Model for Programs and Their Execution with Proofs of Correctness 9520

Q Quadrature

-see [ntegration Question-Answering

Problem Solving, Question Answering and Decision Making 9538 Queues Network Linguistics and the Conversational Design of Queueing Networks 9566 -see also Time-Sharing

R

Random

Computer with Both Self-Reconfigurable Gate Connector and Random Redun-

dancy 9488 Adaptive Random Procedure for Generating Fault Detection Tests for Sequential Circuits 9504 Maximum Deviation in Random Walks

9558

Number Multiplicative Pseudo-Random Prime Modulus 9562

Generators

with

see also Numbers

Real-Time

Three-Failure-Tolerant Computer System for Real-Time Control Using Redundancy 9489 Real-Time Traffic Flow Optimization 9568 -see also On-Line

Realization; Implementation

Linear Realizability of Finite Sequential Machines 9481 Realization of Fail-Safe Sequential Machines by Using a k-out-of-n Code 9506 Design and Implementation of a Programming Language for Behavioral Sciencee

9525

-see also Design

R{ecognition

Application of an Edge-Defining Preprocessor to the Recognition of Handwritten Numerals 9534 Optical Character Recognition System W'hich Simulates Visual Physiological Functions 9535 -see also Characters, Patterns Recursion; Recursive; Recurrence

IEEE TRANSACTIONS ON COMPUTERS, APRIL 1972

430

Recursive Composition of Semantics in Algol 68 9522 Redundancy Self-Reconfigurable Computer with Both Gate Connector and Random Redundancy 9488 Three-Failure-Tolerant Computer System for Real-Time Control Using Redundancy 9489 Self-Testing and Repairing Computer with Dynamic Redundancy 9491 Method for Redundancy Scheme Performance Assessment in Terms of Reliability Improvement and Cost 9508 Reliability Modeling and Analysis of Ultrareliable Fault-Tolerant Digital Systems Using Redundancy 9509 Registers -see Shift Registers Reliability Reliability Modeling and Analysis of Ultrareliable Fault-Tolerant Digital Systems Using Redundancy 9509 Reliability Modeling for Fault-Tolerant Computers 9510 Calculation of System Reliability and MTBF by Interactive Time-Sharing 9565 -see also Diagnosis, Errors, Failures, Repairing Remote Computer-Based Learning System for Remote Manipulator Control 9569 -see also Terminals, Time-Sharing Repairing Logic Design for Dynamic and Interactive Recovery in Fault-Tolerant Computers 9487 Self-Reconfigurable Computer 9488 Self-Testing and Repairing Computer with Dynamic Redundancy 9491 Retrieval Design of a Data Retrieval Language for a Generalized Data Base 9524 -see also Question-Answering, Search S

Schedules; Scheduling Efficient Generation of Minimum Fault Test Schedules for Combinational Logic Networks 9499 Search Effects of Letter Size, Case, and Generation Method on CRT Display Seareh Time 9518 -see also Question-Answering, Retrieval Semantics Recursive Composition of Semantics in Algol 68 9522 -see also Languages Semiconductor -see Integrated Circuit Sequential Machines (Circuits, Logic, Networks) Linear Realizability of Finite Sequential Machines 9481 Iterative and Macroblock Test Generators

for Fault Detection in Sequential Logic Circuits 9503 Procedures for Generating Fault Detection Tests for Sequential Circuits 9504 Boolean Difference for Fault Detection in Asynchronous Sequential Machines 9505 Realization of Fail-Safe Sequential Machines by Using a k-out-of-n Code 9506 -see also Automata Shift Registers Digital Charge-Coupled Shift Registers 9515 Shift Register Based on Surface-Charge Transport 9516 Simulation; Simulators Optical Character Recognition System Which Simulates Visual Physiological Functions 9535 Model Output Processing Technique for Simulation Technology 9563 -see also Models Software Software System for Relating Computer Technology to Humanistic Education 9478 Flow Table Model Analysis Procedure for Parallel Hardware and Software Systems 9507 Computer System Hardware and Software Performance Evaluation and Monitoring 9511 Interactive Hardware/Software Switching Module for Interfacing Data Processing Equipment 9519 -see also Monitor Systems, Programs Sorting Optimizing the Polyphase Sorting Procedure Using Dispersion Schemes 9532 Statistics; Statistical -see Correlation Stochastic -see Random Storage; Memory Character-Coded Computer Using a READWRITE Microprogram Memory 9488 -see also Arrays, Associative, Integrated Circuits, Magnetic Films, Optical, Retrieval Structure Structural Factors in the Fault Diagnosis of Combinational Networks 9496 -see also Data Structure, Lists Switches; Switching Interactive Hardware/Software Switching Module for Interfacing Data Processing Equipment 9519 -see also Automata, Logic, Networks Symbolic; Symbols Determining the Equivalence of Algebraic Expressions by Hash Coding in Symbolic Mathematics 9543 Recognition of the Equivalence of Mathematical Expressions to Zero in Symbolic Mathematics 9544 -see also Characters Systems Flow Table Model Analysis Procedure for

Parallel Hardware and Software Systems 9507 Pattern Recognition Technique for System Error Analysis Based on Matrix Algebra 9512 Multichannel High-Speed Data Acquisition and Processing System 9513 Calculation of System Reliability and MTBF by Interactive Time-Sharing 9565 -see also Computer Systems, Control, Displays, Information, Man-Machine Communications, Monitor Systems, Multiprocessing, On-Line, Time-Sharing T Terminals Terminals with Local Editing Facilities 9521 -see also Displays, Man-Machine Communications Tests Self-Testing and Repairing Computer with Dynamic Redundancy 9491 Simple Self-Testing Decoder Checking Circuit for Error Detection 9492 Derivation of Minimum Fault Test Sets for Unate Logical Circuits 9493 Multiple Fault Detection Test Set 9495 Efficient Generation of Minimum Fault Test Schedules for Combinational Logic Networks 9499 Design of Minimum Length Fault Tests for Combinational Circuits 9500 Efficient Generation of Complete Test Sets for Combinational Logic Circuits 9501 Near-Minimal Test Patterns for Multiple Fault Detection in Combinational Networks 9502 Test Generation and Evaluation for Detection of Faults in Combinational Logic Circuits 9503 Procedures for Generating Fault Detection Tests for Sequential Circuits 9504 -see also Diagnosis, Evaluation Textual Data Processing Survey of On-Line Creation and Editing of Computer Programs and Manuscript Text 9521 Theorem Proving Ordering for Resolution with Merging and Linear Format in Th-eorem Proving 9540 Interactive Theorem Proving in First Order Predicate Calculus with Equality 9541 Time-Sharing Mathematical Models of Time-Sharing Queueing Systems 9527 Queueing Network Models for Large-Scale Time-Sharing Systems 9528 Dynamic Time-Sharing Queue Model 9529

User-Oriented Evaluation of a Time-Shared Computer System 9530 Calculation of System Reliability and MTBF by Interactive Time-Sharing 9565

-see also Remote Transistors; Transistor Circuits -see Integrated Circuits