By Topic

IEEE Transactions on Computers

Issue 10 • Date Oct. 1976

Filter Results

Displaying Results 1 - 19 of 19
  • IEEE Transactions on Computers - Table of contents

    Publication Year: 1976, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (467 KB)
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1976, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (215 KB)
    Freely Available from IEEE
  • Foreword and Introduction

    Publication Year: 1976, Page(s):961 - 962
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (1555 KB)
    Freely Available from IEEE
  • Microprogram Optimization: A Survey

    Publication Year: 1976, Page(s):962 - 973
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4976 KB)

    The application of microprogramming in present day computers is rapidly increasing and microprogramming will undoubtedly play a major role in the next generation of computer systems. Microprogram optimization is one way to increase efficiency and can be crucial in some applications. Optimization, in this context refers to a reduction/minimization of control store and/or execution time of microprog... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strum: Structured Microprogram Development System for Correct Firmware

    Publication Year: 1976, Page(s):974 - 985
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3222 KB)

    An approach to the development of correct microprograms is to use the methodologies that have been beneficial in the generation of correct user programs, i. e., structured programming, high-level languages (HLL's), and formal program verification using Floyd's inductive assertion method. This paper presents a system that combines these techniques to simplify the design and implementation of correc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Identification of Maximal Parallelism in Straight-Line Microprograms

    Publication Year: 1976, Page(s):986 - 992
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2510 KB)

    We consider the problem of automatic identification of parallel microoperations in a given straight-line microprogram. Earlier work on this problem generally falls into two categories. While some work is fairly general in that it can be applied to both monophase and polyphase systems, it does not guarantee optimality of the output. Work in the second category attempts to optimize the output, but i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward Optimization of Horizontal Microprograms

    Publication Year: 1976, Page(s):992 - 999
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3878 KB)

    Detection of concurrently executable microoperations is an important consideration for effective horizontal microprogramming. Since it is highly machine-dependent and requires knowledge of highly intricate features of a machine, only limited effort has been made so far to derive an algorithm for detection of microprogram parallelism to enable optimization of horizontal microprograms. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Effects-of Emerging Technology and Emulation Requirements on Microprogramming

    Publication Year: 1976, Page(s):1000 - 1009
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4351 KB)

    The structure of microprogrammed processors is largely determined by the state of (semiconductor) technology and the requirements of the task of emulation. We discuss the impact of LSI components on microprogrammable processors and in particular, the effect of large memory arrays, LSI microprocessors (bit-slices), programmable logic arrays, and high-speed shifters. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Curvature and Creases: A Primer on Paper

    Publication Year: 1976, Page(s):1010 - 1019
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2903 KB)

    This paper presents fundamental results about how zero-curvature (paper) surfaces behave near creases and apices of cones. These entities are natural generalizations of the edges and vertices of piecewise-planar surfaces. Consequently, paper surfaces may furnish a richer and yet still tractable class of surfaces for computer-aided design and computer graphics applications than do polyhedral surfac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Computational Cost of Approximating and Recognizing Noise-Perturbed Straight Lines and Quadratic Arcs in the Plane

    Publication Year: 1976, Page(s):1020 - 1032
    Cited by:  Papers (19)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3596 KB)

    Approximation of noisy data in the plane by straight line or elliptic or single-branch hyperbolic curve segments arises in pattern recognition, data compaction, and other problems. A number of questions concerning the efficient search for and approximation of data by such curves are examined. Recursive least-squares linear curve fitting is applied to the original or to transformed data in the plan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simplified Decomposition of Boolean Functions

    Publication Year: 1976, Page(s):1033 - 1044
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3026 KB)

    The object of this paper is the presentation of a theory of decomposition of Boolean functions having the following properties: 1) ease of understanding and application without previous decomposition theory background; 2) flexibility of application to meet varying logic design criteria; 3) suitability of both numerical calculation and chart techniques; and 4) reduction in the number and complexity... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallel Methods for the Numerical Solution of Ordinary Differential Equations

    Publication Year: 1976, Page(s):1045 - 1048
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (613 KB)

    This correspondence studies various classes of methods, collectively known as block implicit methods, for the purpose of solving initial value problems in ordinary differential equations (ODE's) on a parallel processor. Modifications of the sequential procedures are discussed which allow these procedures to be used in a parallel mode. Both one-step and predictor-corrector type algorithms are exami... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Realization of the RAM Digital Filter

    Publication Year: 1976, Page(s):1048 - 1052
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1028 KB)

    The digital filtering algorithm of W. D. Little, which employs a large RAM to obtain high speed, is implemented in a simple hardware configuration. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Threshold Setting for the Sequential Similarity Detection Algorithm

    Publication Year: 1976, Page(s):1052 - 1053
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (463 KB)

    This correspondence presents a method for automatic setting of both constant and increasing thresholds to be used with the sequential similarity detection algorithm (SSDA) for a fast registration of digitized images. No a priori knowledge of image statistics is required. The usefulness of the method is proven in the cloud tracking. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comments on "Derivation of Minimal Complete Sets of Test-Input Sequences Using Boolean Differences"

    Publication Year: 1976, Page(s):1053 - 1056
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (735 KB)

    This correspondence comments on certain aspects of a recent paper1 by Marinos relating to derivation of minimal complete sets of test-input sequences to detect stuck-at faults in combinational switching circuits utilizing the concept of Boolean difference. The primary motivation behind this move is to mention some minor inconsistencies, inaccuracies, and deficiencies involving certain key concepts... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author's reply2

    Publication Year: 1976, Page(s): 1056
    Request permission for commercial reuse | PDF file iconPDF (68 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Corrections to "Improved Simulation of Pulse Propagation Between Digital Circuits"

    Publication Year: 1976, Page(s): 1056
    Request permission for commercial reuse | PDF file iconPDF (68 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society Publications

    Publication Year: 1976, Page(s): 1056
    Request permission for commercial reuse | PDF file iconPDF (137 KB)
    Freely Available from IEEE
  • Papers to be Published in the Next Issue November 1976

    Publication Year: 1976, Page(s): 1056
    Request permission for commercial reuse | PDF file iconPDF (523 KB)
    Freely Available from IEEE

Aims & Scope

The IEEE Transactions on Computers is a monthly publication with a wide distribution to researchers, developers, technical managers, and educators in the computer field.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Paolo Montuschi
Politecnico di Torino
Dipartimento di Automatica e Informatica
Corso Duca degli Abruzzi 24 
10129 Torino - Italy
e-mail: pmo@computer.org