IEEE Transactions on Computers

Issue 1 • Jan. 1981

Filter Results

Displaying Results 1 - 18 of 18
  • LSI logic testing — An overview

    Publication Year: 1981, Page(s):1 - 17
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5102 KB)

    The development of large scale integration (LSI) testing is reviewed. The paper concentrates on the testing of logic components and presents in-depth discussions of the methods of fault modeling, test pattern generation, fault simulation, and design for testability. It is shown how these methods are used in the design of components and how they can be used in support of design automation. Finally,... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Counting sequences

    Publication Year: 1981, Page(s):17 - 23
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1814 KB)

    A Gray sequence is a counter sequence where the Hamming distance between successive states is one. A construction for any fixed odd distance between successive states is given based on error-correcting codes. Such sequences could be used in testing and fault diagnosis when sequencing through all possible input combinations. Sequences with the maximum possible difference between successive states, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Instruction set processor specifications (ISPS): The notation and its applications

    Publication Year: 1981, Page(s):24 - 40
    Cited by:  Papers (99)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3624 KB)

    The Instruction Set Processor Specifications (ISPS) computer description language is an evolutionary step towards the formalization of the digital design process at the higher or behavioral levels. It has been used as a design tool, which covers a wider area of application than any other hardware description language. Thus, besides simulation and synthesis of hardware, software generation program ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The edge flag algorithm — A fill method for raster scan displays

    Publication Year: 1981, Page(s):41 - 48
    Cited by:  Papers (15)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2180 KB)

    Contour (polygon) filling is a primitive required in many application areas of raster scan graphics. The bit-map memory in a frame-store display is computationally well suited to this task, as it provides a large scratch pad working space. In this paper, a number of contour filling algorithms based on the read/write properties of the frame-store memory are compared with the classical `ordered-edge... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring designer performance to verify design automation systems

    Publication Year: 1981, Page(s):48 - 61
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3000 KB)

    Design automation at the register transfer level of design is still in its infancy, and it is not yet completely understood what the appropriate measures used in direction the automated design process should be. To establish these measures, results of these design automation systems must be compared with some near optimal designs. A set of statistically based experiments is developed to estimate n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • One-dimensional optimization on multiprocessor systems

    Publication Year: 1981, Page(s):61 - 66
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1623 KB)

    This paper presents a straightforward approach to determining how best to utilize an MIMD multiprocessor in the solution of one-dimensional optimization problems involving continuous unimodal functions and nongradient search techniques. A methodology is presented which allows one to consider a variety of speedup functions which may occur in parallel function and systems evaluation. It is shown how... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On structured digraphs and program testing

    Publication Year: 1981, Page(s):67 - 77
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2636 KB)

    Certain graph theoretic problems dealing with the testing of structured programs are treated. A structured digraph is a digraph that represents a structured program. A labelling procedure which characterizes structured digraphs is described. An efficient algorithm for finding a minimum path cover for the vertices of digraphs that belong to an important family of structured digraphs is given. To mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comments on “revision of the buffer length derivation for a modified Ek/D/1 system by Maritsas and Hartley”

    Publication Year: 1981, Page(s): 78
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    An eight-transistor static logic gate has been designed, which generates the functions OR, NOR, AND, NAND, XOR, and XNOR of two logic variables, under the dynamic control of two programming variables. In addition to its versatility as a building block, the dynamic programmability of the gate makes it a powerful tool for the efficient design of complex digital networks. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a dynamically programmable logic gate

    Publication Year: 1981, Page(s):79 - 81
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (802 KB)

    An eight-transistor static logic gate has been designed, which generates the functions OR, NOR, and, nand, xor, and XNOR of two logic variables, under the dynamic control of two programming variables. In addition to its versatility as a building block, the dynamic programmability of the gate makes it a powerful tool for the efficient design of complex digital networks. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A fault diagnosis algorithm for asymmetric modular architectures

    Publication Year: 1981, Page(s):81 - 83
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (925 KB)

    Pertains to the analysis of an algorithm for the automatic fault diagnosis of asymmetric modular networks. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Observations concerning the complexity of a class of on-line algebraic problems

    Publication Year: 1981, Page(s):83 - 86
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1189 KB)

    Defines and studies a class of on-line algebraic problems; a particular problem in this class is specified by providing an n×n matrix A. The author shows that the question of algebraic complexity reduces to determining the existence of what he calls (r, u) factorizations of A. Given an n×n matrix A, a factorization A View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to “detection and location of input and feedback bridging faults among input and output lines”

    Publication Year: 1981, Page(s): 86
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    The following errors should be noted in the above correspondence. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to “complete solution of boolean equations”

    Publication Year: 1981, Page(s): 87
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (115 KB)

    The following errors should be noted in the above correspondence. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to “distributed enumeration on between computers”

    Publication Year: 1981, Page(s): 87
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (115 KB)

    Due to a production error in the September 1980 issue of this Transactions, the title of the above paper1 was incorrectly printed on p. 818. It should read View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • [Advertisements]

    Publication Year: 1981, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (4216 KB)
    Freely Available from IEEE
  • IEEE copyright form

    Publication Year: 1981, Page(s):1 - 2
    Request permission for commercial reuse | PDF file iconPDF (381 KB)
    Freely Available from IEEE
  • Announcement & call for papers

    Publication Year: 1981, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (236 KB)
    Freely Available from IEEE
  • Call for papers

    Publication Year: 1981, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (2150 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