IEEE Transactions on Computers, Volume 26

Volume 26, Number 1, January 1977

• Louis G. Birta, 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, Gareth Thomas, David B. G. Edwards:
  The MU5 Multicomputer Communication System. 19-28
  
• Sharad C. Seth, Kolar 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, Kenneth J. Breeding, Robert B. McGhee:
  Aircraft Identification by Moment Invariants. 39-46
  
• James M. Garnett III, 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, Ben L. A. Waumans:
  The Hardware Simulator: A Tool for Evaluating Computer Systems. 68-72
  

• V. Thomas Rhyne, Philip S. Noe:
  On the Number of Distinct State Assignments for a Sequential Machine. 73-75
  
• Andrew K. C. Wong, 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
  
• Brian R. Gaines, Ian H. Witten:
  Stability and Admissibility of Adaptive Threshold Logic Convergence. 88-91
  
• A. Sengupta, D. K. Chattopadhyay, A. Palit, A. K. Bandyopadhyay, M. S. Basu, A. K. Choudhury:
  Realization of Fault-Tolerant and Fail-Safe Sequential Machines. 91-96
  

Volume 26, Number 2, February 1977

• Richard D. Fennell, Victor R. Lesser:
  Parallelism in Artificial Intelligence Problem Solving: A Case Study of Hearsay II. 98-111
  
• Charles A. Finnila, Hubert H. Love Jr.:
  The Associative Linear Array Processor. 112-125
  
• G. Jack Lipovski:
  On a Varistructured Array of Microprocessors. 125-138
  
• James E. Rumbaugh:
  A Data Flow Multiprocessor. 138-146
  
• Ahmed H. Sameh, 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, Edward S. Davidson:
  Organization of Semiconductor Memories for Parallel-Pipelined Processors. 162-169
  

• Terrence L. Saxton, 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, Larry S. Davis, Azriel Rosenfeld:
  Detecting Natural ``Plateaus'' in One-Dimensional Patterns. 178-179
  
• W. K. Chow, 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
  
• C. K. Yuen:
  Author's Reply. 192
  

Volume 26, Number 3, March 1977

• Art Lew:
  On Analog Computer Generation of Continuous Functions. 193-195
  
• Bernard J. Nordmann Jr., Bruce H. McCormick:
  Modular Asynchronous Control Design. 196-207
  
• Mark G. Karpovsky:
  Error Detection in Digital Devices and Computer Programs with the Aid of Linear Recurrent Equations Over Finite Commutativs Groups. 208-218
  
• Bobby R. Hunt:
  Bauesian Methods in Nonkinear Digital Image Restoration. 219-229
  
• DeWitt Landis:
  Multiple-Response Resolution in Associative Systems. 230-235
  
• Larry S. Davis:
  Understanding Shape: Angles and Sides. 236-242
  
• Brian Unger:
  A Computer Resource Allocation Model with Some Measured and Simulation Results. 243-259
  

• Richard P. Williams:
  Serial Integer Arithmetic with Magnetic Bubbles. 260-264
  
• Lily Wang:
  Cross-Section Reconstruction with a Fan-Beam Scanning Geometry. 264-268
  
• Dag Tjøstheim:
  Recognition of Waveforms Using Autoregressive Feature Extraction. 268-270
  
• John J. Shedletsky:
  Comment on the Sequential and Indeterminate Behavior of an End-Around-Carry Adder. 271-272
  
• William B. Thompson:
  Textural Boundary Analysis. 272-276
  
• William H. Ninke, G. R. Ritchie:
  Shift Register Binary Rate Multipliers. 276-278
  
• Stephen H. Unger:
  Self-Synchronizing Circuits and Nonfundamental Mode Operation. 278-281
  
• H. T. Mouftah, I. B. Jordan:
  Design of Ternary COS/MOS Memory and Sequential Circuits. 281-288, (Correction: IEEE Transactions on Computers 27(2): 192 (1978))
  
• Richard C. T. Lee, James R. Slagle, H. Blum:
  A Triangulation Method for the Sequential Mapping of Points from N-Space to Two-Space. 288-292
  
• Leo Sintonen:
  A Clocked Multivalued Flip-Flop. 292-294
  
• George Philokyprou, Constantine Halatsis, Nikolaos Gaitanis:
  On the Problem of Finding d, t, r, and j Type Partition Pairs of a Sequential Machine. 294-297
  
• Herbert Freeman, Larry S. Davis:
  A Corner-Finding Algorithm for Chain-Coded Curves. 297-303
  
• Jerry Waxman, Jacob Rootenberg:
  Logic Circuit for Cycle Detection in a State Diagram. 303-305
  
• M. Sundaramurthy, V. Umapathi Reddy:
  Some Results in Fixed-Point Fast Fourier Transform Error Analysis. 305-309
  
• C. K. Yuen:
  On Little's Digital Filtering Algorithm. 309
  
• Kolar L. Kodandapani, Rangaswamy V. Setlur:
  A Note on Minimal Reed-Muller Canonical Forms of Switching Functions. 310-313
  
• Sudhakar M. Reddy:
  A Note on Testing Logic Circuits by Transition Counting. 313-314
  
• Hudai Dirilten, Thomas G. Newman:
  Pattern Matching Under Affine Transformation. 314-317
  
• E. Gordon Wormald:
  A Note on Synchronizer or Interlock Maloperation. 317-318
  
• Sudhakar M. Reddy:
  Comments on ``Minimal Fault Tests for Combinational Networks''. 318-319
  
• V. Gourishankar:
  Comments on ``An Additional Algorithm for a System of Coupled Algebraic Matrix Riccati Equations''. 320
  

Volume 26, Number 4, April 1977

• M. R. Garey, Frank K. Hwang, David 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
  
• Israel Koren, Zvi Kohavi:
  Sequential Fault Diagnosis in Combinational Networks. 334-342
  
• Anil K. Jain:
  A Semicausal Model for Recursive Filtering of Two-Dimensional Images. 343-350
  
• Stephen J. Wernecke, Larry R. D'Addario:
  Maximum Entropy Image Reconstruction. 351-364
  
• Stephen H. Unger:
  Tree Realizations of Iterative Circuits. 365-383
  
• Gordon J. Vanderbrug, Azriel Rosenfeld:
  Two-Stage Template Matching. 384-393
  
• Steven W. Zucker, Robert A. Hummel, Azriel Rosenfeld:
  An Application of Relaxation Labeling to Line and Curve Enhancement. 394-403, (Correction: IEEE Transactions on Computer 26(9): 922-929 (1977))
  

• Jerome H. Friedman:
  A Recursive Partitioning Decision Rule for Nonparametric Classification. 404-408
  
• Owen Robert Mitchell, Charles Robert Myers, William Boyne:
  A Max-Min Measure for Image Texture Analysis. 408-414
  
• John Knaizuk Jr., Carlos R. P. Hartmann:
  An Algorithm for Testing Random Access Memories. 414-416
  
• T. P. T. Williams:
  Comments on ``A Least Mean Squares CUBIC Algorithm for On-Line Differential of Sampled Analog Signals''. 416
  
• John H. J. Allum:
  Author's Reply. 416
  

Volume 26, Number 5, May 1977

• Raymond P. Voith:
  ULM Implicants for Minimization of Universal Logic Module Circuits. 417-424
  
• Andy N. C. Kang, Richard C. T. Lee, Chin-Liang Chang, Shi-Kuo Chang:
  Storage Reduction Through Minimal Spanning Trees and Spanning Forests. 425-434
  
• Youssef A. Geadah, Michael J. Corinthios:
  Natural, Dyadic, and Sequency Order Algorithms and Processors for the Walsh-Hadamard Transform. 435-442
  
• Ali Habibi:
  Fast Suboptimal Wiener Filtering of Markov Sequences. 443-449
  
• Hwa C. Torng, Neil C. Wilhelm:
  The Optimal Interconnection of Circuit Modules in Microprocessor and Digital System Design. 450-457
  
• Marshall C. Pease III:
  The Indirect Binary n-Cube Microprocessor Array. 458-473
  
• Franco P. Preparata, David E. Muller, Amnon Barak:
  Reduction of Depth of Boolean Networks with a Fan-In Constraint. 474-479
  
• Donald Y. Chang, David J. Kuck, Duncan H. Lawrie:
  On the Effective Bandwidth of Parallel Memories. 480-490
  
• Fredrick J. Hill, Ben Huey:
  SCIRTSS: A Search System for Sequential Circuit Test Sequences. 490-502
  

• George K. Papakonstantinou:
  A Method to Generate the Prime Cascades of an Arbitrary Switching Function. 503-506
  
• Dileep Bhandarkar:
  Some Performance Issues in Multiprocessor System Design. 506-511
  
• Dharma P. Agrawal:
  Comments on ``A Note on Base -2 Arithmetic Logic''. 511
  
• C. K. Yuen:
  Author's Reply. 511-512
  
• Yu L. Sagalovich:
  Comments on ``On the Number of Classes of Binary Matrices''. 512
  

Volume 26, Number 6, June 1977

• Gary J. Nutt:
  Memory and Bus Conflict in an Array Processor. 514-521
  
• Fred J. Maryanski, Taylor L. Booth:
  Inference of Finite-State Probabilistic Grammars. 521-536
  
• Frank B. Manning:
  An Approach to Highly Integrated, Computer-Maintained Cellular Arrays. 536-552
  
• Spiros G. Papaioannou:
  Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming. 553-560
  
• Anil K. Jain:
  A Fast Karhunen-Loeve Transform for Digital Restoration of Images Degraded by White and Colored Noise. 560-571
  
• William K. Pratt, Faramarz Davarian:
  Fast Computational Techniques for Pseudoinverse and Wiener Image Restoration. 571-580
  
• Tso-Kai Liu:
  Synthesis of Multilevel Feed-Forward MOS Networks. 581-588
  
• Roger W. Ehrich:
  Detection of Global Edges in Textured Images. 589-603
  

• Josef Kittler:
  On the Discriminant Vector Method of Feature Selection. 604-606
  
• Ronald L. Rivest:
  The Necessity of Feedback in Minimal Monotone Combinational Circuits. 606-607
  
• David C. van Voorhis:
  Comments on ``A Computer Algorithm for Transposing Nonsquare Matrices''. 607-608
  

Volume 26, Number 7, July 1977

• Ulrich W. 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, Nicholas C. Metropolis:
  Significance Arithmetic: Application to a Partial Differential. 639-642
  
• David J. Kuck, Douglas Stott Parker Jr., Ahmed H. Sameh:
  Analysis of Rounding Methods in Floating-Point Arithmetic. 643-650
  
• Peter Kornerup, Bruce D. Shriver:
  A Unified Numeric Representation Arithmetic Unit and Its Language Support. 651-659
  
• Jan G. Kent:
  Highlights of a Study of Floating-Point Instructions. 660-666
  
• Milos D. Ercegovac:
  A General Hardware-Oriented Method for Evaluation of Functions and Computations in a Digital Computer. 667-680
  
• Kishor S. Trivedi, Milos D. Ercegovac:
  On-Line Algorithms for Division and Multiplication. 681-687
  

• Michael Benedek:
  Developing Large Binary to BCD Conversion Structures. 688-700
  
• Kishor S. Trivedi:
  On the Use of Continued Fractions for Digital Computer Arithmetic. 700-704, (Correction: IEEE Transactions on Computers 27(3): 288 (1978))
  

Volume 26, Number 8, August 1977

• Jan Gecsei:
  Interconnection Networks from Three-State Cells. 705-711
  
• Shyh-Ching Chen, David J. Kuck:
  Combinational Circuit Synthesis with Time and Component Bounds. 712-726
  
• René David:
  Modular Design of Asynchronous Circuits Defined by Graphs. 727-737
  
• Mohammad Javad Ashjaee, Sudhakar M. Reddy:
  On Totally Self-Checking Checkers for Separable Codes. 737-744
  
• Eduard Cerny, Miguel A. Marin:
  An Approach to Unified Methodology of Combinational Switching Circuits. 745-756
  
• V. Thomas Rhyne, Philip S. Noe, Melvin H. McKinney, Udo W. Pooch:
  A New Technique for the Fast Minimization of Switching Functions. 757-764
  
• Tetsuo Asano, Tadahiro Kitahashi, Kokichi Tanaka, Hiroshi Horino, Nobutaka Amano:
  A Wire-Routing Scheme Based on Trunk-Division Methods. 764-772
  
• Nasser E. Nahi, Mohammad H. Jahanshahi:
  Image Boundary Estimation. 772-781
  
• Madhu A. Metha, William Bridges Smith:
  Synthesis of Optimal Amiguity Resolver Functions. 782-789
  
• James W. McKee, J. K. Aggarwal:
  Computer Recognition of Partial Views of Curved Objects. 790-800
  
• Theodosios Pavlidis:
  Polygonal Approximations by Newton's Method. 800-807
  
• Anthony J. Miller, Angus W. Brown, Philip Mars:
  A Simple Technique for the Determination of Delayed Maximal Length Linear Binary Sequences. 808-811
  
• Edward W. Page, Peter 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
  

• Amnon 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
  
• Kenan E. Sahin:
  Segmented Selcuk Communication Networks and Response Routing. 831-833
  
• Karl E. Stoffers:
  Partitioning of Separating Edges: A New Approach to Combinational Logic Design. 833-836
  

Volume 26, Number 9, September 1977

• Victor Konrad, Yehuda Wallach:
  Iterative Solution of Linear Equations on a Parallel Processor System. 838-847
  
• Jacques Lenfant:
  Fast Random and Sequential Access to Dynamic Memories of Any Size. 847-855
  
• Hsieh S. Hou, Harry C. Andrews:
  Least Squares Image Restoration Using Spline Basis Functions. 856-873
  
• Irving S. Reed, Trieu-Kien Truong, Yik S. Kwoh, Ernest L. Hall:
  Image Processing by Transforms Over a Finite Field. 874-881
  
• Masahiko Yachida, Saburo Tsuji:
  A Versatile Machine Vision System for Complex Industrial Parts. 882-894
  
• Roger N. Nagel, Azriel Rosenfeld:
  Computer Detection of Freehand Forgeries. 895-905
  
• Harold J. Payne, William S. Meisel:
  An Algorithm for Constructing Optimal Binary Decision Trees. 905-916
  

• Patrenahalli M. Narendra, Keinosuke Fukunaga:
  A Branch and Bound Algorithm for Feature Subset Selection. 917-922
  
• Steven W. Zucker, Robert A. Hummel, Azriel Rosenfeld:
  Correction to ``An Application of Relaxation Labeling to Line and Curve Enhancement''. 922-929, (see pp. 394-403, this volume)
  
• Christopher John Coles:
  Comments on ``Heuristic Synthesis of Microprogrammed Computer Architecture''. 930-932
  

Volume 26, Number 10, October 1977

• Marc Snir, Amnon Barak:
  A Direct Approach to the Parallel Evaluation of Rational Expressions with a Small Number of Processors. 933-937
  
• Kishor S. Trivedi:
  On the Paging Performance of Array Algorithms. 938-947
  
• William J. Stenzel, William J. Kubitz, Gilles H. Garcia:
  A Compact High-Speed Parallel Multiplication Scheme. 948-957
  
• Abe R. Shliferstein, Y. T. Chien:
  Some Properties of Image-Processing Operations on Projection Sets Obtained from Digital Pictures. 958-970
  
• H. R. Keshavan, Mandyam D. Srinath:
  Sequential Estimation Technique for Enhancement of Noisy Images. 971-987
  
• Werner Frei, Chung-Ching Chen:
  Fast Boundary Detection: A Generalization and a New Algorithm. 988-998
  
• Cornelis H. Hoogendoorn:
  A General Model for Memory Interference in Multiprocessors. 998-1005
  
• Richard L. Mitchell, C. R. Stone:
  Table-Lookup Methods for Generating Arbityrary Random Numbers. 1006-1008
  
• Mohamad Adnan Al-Alaoui:
  A New Weighted Generalized Inverse Algorithm for Pattern Recognition. 1009-1017
  
• Robert W. Keyes:
  Physical Uncertainty and Information. 1017-1025
  

• Andrew S. French:
  Computer Simulation of Space-Filling Molecular Models. 1026-1028
  
• Mark G. Karpovsky:
  Fast Fourier Transforms on Finite Non-Abelian Groups. 1028-1030
  
• Panos A. Ligomenides:
  The Skip-and-Set Fast-Division Algorithm. 1030-1032
  
• Raymond P. Voith:
  Minimum Universal Logic Module Sequential Circuits with Decoders. 1032-1035
  
• Ruth Shapira, Herbert Freeman:
  A Cyclic-Order Property of Bodies with Three-Face Vertices. 1035-1039
  
• R. Jakubowski, A. Kasprzak:
  A Syntactic Description and Recognition of Rotary Machine Elements. 1039-1043
  
• Jayaram K. Udupa, Ivaturi S. N. Murthy:
  New Concepts for Three-Dimensional Shape Analysis. 1043-1049
  
• Anil K. Sarje, Nripendra N. Biswas:
  An Algorithm for Testing 2-Asummability of Boolean Functions. 1049-1053
  
• Larry S. Davis, Azriel Rosenfeld:
  Curve Segmentation by Relaxation Labeling. 1053-1057
  
• Marek Fridrich, Wayne A. Davis:
  Minimal Fault Tests for Redundant Combinational Networks. 1057-1060
  

Volume 26, Number 11, November 1977

• Anil K. Jain:
  An Operator Factorization Method for Restoration of Blurred Images. 1061-1071
  
• Hanoch Brafman, Benjamin J. Reuter:
  An Incremental Computer. 1072-1081
  
• Leonard R. Marino:
  The Effect of Asynchronous Inputs on Sequential Network Reliability. 1082-1090
  
• Wolfgang Doster:
  Contextual Postprocessing System for Cooperation with a Multiple-Choice Character-Recognition System. 1090-1101
  
• Hon Fung Li:
  Scheduling Trees in Parallel/Pipelined Processing Environments. 1101-1112
  
• Werner E. Kluge:
  Traversing Binary Tree Structures with Shift-Register Memories. 1112-1122
  
• Richard G. Cooper:
  The Distributed Pipeline. 1123-1132
  

• Vera Pless:
  Encryption Schemes for Computer Confidentiality. 1133-1136
  
• H. Allen Curtis:
  Adjacency Table Method of Deriving Minimal Sums. 1136-1141
  
• John Knaizuk Jr., Carlos R. P. Hartmann:
  An Optimal Algorithm for Testing Stuck-at Faults in Random Access Memories. 1141-1144
  
• M. Y. Hsiao, Arvind M. Patel, Dhiraj K. Pradhan:
  Store Address Generator with On-Line Fault-Detection Capability. 1144-1151
  
• Peter C. Maxwell:
  Correct DDA Register Transfers for Trapezoidal Integration When Solving Nonlinear Equations of the Form y = A yⁿ. 1151-1153
  
• Stefan M. Silverston:
  A Stable, Two-Multiplies-per-Cycle Algorithm for Digital Generation of Sinusoids in Real Time. 1153-1154
  
• Israel Koren, Zvi Kohavi:
  Diagnosis of Intermittent Faults in Combinational Networks. 1154-1158
  
• Ashok T. Amin:
  An Algorithm for Grey-Level Transformations in Digitized Images. 1158-1161
  
• K. Ecker, D. Schütt:
  Computational Work of Combinational Machines. 1161-1163
  
• H. K. Ramapriyan:
  Data Handling for the Geometric Correction of Large Images. 1163-1167
  
• Samuel C. Lee, Albert D. Edgar:
  The Focus Number System. 1167-1170
  
• Vinod K. Agarwal, Gerald M. Masson:
  Resolution-Oriented Fault Interrelationships in Combinational Logic Networks. 1170-1175
  
• David L. Milgram:
  Adaptive Techniques for Photomosaicking. 1175-1180
  

Volume 26, Number 12, December 1977

• Zvonko 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, Jon C. Muzio:
  Three Cell Structures for Ternary Cellular Arrays. 1191-1202
  
• André Thayse, Jean-Pierre Deschamps:
  Logic Properties of Unate Discrete and Switching Functions. 1202-1212
  
• Tatsuo Higuchi, Michitaka Kameyama:
  Static-Hazard-Free T-Gate for Ternary Memory Element and Its Application to Ternary Counters. 1212-1221, (Correction: IEEE Transactions on Computers 27(12): 1227 (1978))
  
• Daniel Etiemble, Michel Israël:
  Implementation of Ternary Circuits with Binary Integrated Circuits. 1222-1233
  
• Tich T. Dao, Edward J. McCluskey, Lewis K. Russel:
  Multivalued Integrated Injection Logic. 1233-1241
  
• Richard J. Spillman, Stephen Y. H. Su:
  Detection of Single, Stuck-Type Faulures in Multivalued Combinational Networks. 1242-1251
  
• Okihiko Ishizuka:
  On Multivalued Multithreshold Networks Composed of Conventional Threshold Elements. 1251-1257
  
• William H. Stellhorn:
  An Inverted File Processor for Information Retrieval. 1258-1267
  
• Shin-Yee Lu, King-sun Fu:
  Stochastic Error-Correcting Syntax Analysis for Recognition of Noisy Patterns. 1268-1276
  

• Gerard Elineau, Werner Wiesbeck:
  An New J-K Flip-Flop for Synchronizers. 1277-1279
  
• S. A. Kent:
  A High-Speed Threshold Gate Multiplier. 1279-1283
  
• D. G. Steer, S. R. Penstone:
  Digital Hardware for Sine-Cosine Function. 1283-1286
  
• C. K. Yuen:
  A New Representation for Decimal Numbers. 1286-1288
  
• Yatsuka Nakamura, Masakazu Furuya, Shoichi Sunohara:
  An Optimal Orthogonal Expansion for Classification of Patterns. 1288-1290
  
• James C. Ferguson:
  Algorithms in Numerical Geometry System. 1290-1292
  
• J. Paul Roth:
  Hardware Verification. 1292-1294
  
• Okuhiko Ishizuka:
  Synthesis of Multithreshold Tree Networks. 1294-1297
  
• Michitaka Kameyama, Tatsuo Higuchi:
  Synthesis of Multiple-Valued Logic Networks Based on Tree-Type Universal Logic Module. 1297-1302
  
• Martin 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
  

Last update Mon May 20 03:56:48 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page