Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

IEEE Transactions on Computers

Issue 6 • June 1978

Filter Results

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

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

    Publication Year: 1978, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (246 KB)
    Freely Available from IEEE
  • Fault-Tolerant Computing: An Introduction

    Publication Year: 1978, Page(s):481 - 482
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (401 KB)

    THIS ISSUE of IEEE TRANSATIONS ON COMPUTERS is the sixth Special Issue devoted to the field of fault-tolerant computing [1]-[5], and it contains some of the new results on design, analysis and fault diagnosis of computing systems that are subject to faults. A more extensive collection of the contributions to this field can be found in the digests of the papers presented at the Annual International... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient Design of Self-Checking Checker for any m-Out-of-n Code

    Publication Year: 1978, Page(s):482 - 490
    Cited by:  Papers (52)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2484 KB)

    The use of self-checking checkers in the design of highly reliable systems has many significant advantages. It allows errors to be detected upon occurrence without testing, whether the error is caused by a permanent or intermittent fault. However, there are relatively few codes for which efficient self-checking checkers have been designed. In this paper we present procedures for designing efficien... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strongly Fault Secure Logic Networks

    Publication Year: 1978, Page(s):491 - 499
    Cited by:  Papers (177)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2968 KB)

    Strongly fault secure logic networks are defined and are shown to include totally self-checking networks as a special case. Strongly fault secure networks provide the same protection against assumed faults as totally self-checking networks, and it is shown that when stuck-at faults are assumed a strongly fault secure network can be easily modified to form a totally self-checking network. A class o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Rollback Interval for Networks with an Imperfect Self-Checking Property

    Publication Year: 1978, Page(s):500 - 508
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1455 KB)

    Dynamic self-checking is a technique used in computers to detect a fault quickly before extensive data contamination caused by the fault can occur. When the self-checking properties of the computer circuits are not perfect, as in the case of self-testing only and partially self-checking circuits, a recovery procedure may be required to roll back program execution to a point prior to the first unde... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Binary Decision Diagrams

    Publication Year: 1978, Page(s):509 - 516
    Cited by:  Papers (642)  |  Patents (39)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2592 KB)

    This paper describes a method for defining, analyzing, testing, and implementing large digital functions by means of a binary decision diagram. This diagram provides a complete, concise, "implementation-free" description of the digital functions involved. Methods are described for deriving these diagrams and examples are given for a number of basic combinational and sequential devices. Techniques ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficiency of Random Compact Testing

    Publication Year: 1978, Page(s):516 - 525
    Cited by:  Papers (18)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3021 KB)

    Random compact testing uses random inputs to test digital circuits. Fault detection can be achieved by comparing some statistic of the circuit under test, e.g., the frequency of logic ones at an output, with the value of that statistic previously determined for the fault-free circuit. In this paper, we show that random compact testing can efficiently detect failures in both combinational and seque... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coding for Random-Access Memories

    Publication Year: 1978, Page(s):526 - 531
    Cited by:  Papers (13)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1948 KB)

    A new decoding technique is presented for correcting errors due to bit-oriented hardware failures in parallel, random-access memories. It is shown that the resulting decoder compares favorably, both in complexity and in decoding delay, with currently implemented bit-switching techniques used for the same purpose. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synchronization and Matching in Redundant Systems

    Publication Year: 1978, Page(s):531 - 539
    Cited by:  Papers (44)  |  Patents (38)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3954 KB)

    Most of the published work on massive redundancy makes one crucial assumption: the redundant modules are synchronized. There are three ways of achieving synchronization in redundant systems-independent accurate clocks, a common external reference, and mutual feedback. The use of a common external reference is currently the most widely used technique, but suffers from vulnerability to common-point ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance-Related Reliability Measures for Computing Systems

    Publication Year: 1978, Page(s):540 - 547
    Cited by:  Papers (220)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2488 KB)

    We have developed measures which reflect the interaction between the reliability and the performance characteristics of computing systems. These measures can be used to evaluate traditional computer architectures, such as uniprocessors and standby redundant systems; gracefully degrading systems, such as multiprocessors, which can react to a detected failure by reconfiguring to a state with a decre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults

    Publication Year: 1978, Page(s):548 - 560
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3122 KB)

    Modeling of systems featuring hardware and software faults is studied as a means of evaluating the availability and reliability characteristics. The case of a nonredundant computer is studied and it is shown that the unavailability presents an overshoot with respect to its asymptotic value whose height and length are functions of the failure rates associated with the different design errors. Fault... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Diagnosable Systems for Intermittent Faults

    Publication Year: 1978, Page(s):560 - 566
    Cited by:  Papers (67)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3536 KB)

    Diagnosable systems composed of interconnected units which are capable of testing each other have been studied primarily from the point of view of permanent faults. Along such lines, designs have been proposed, and necessary and sufficient conditions for the diagnosis of such faults have been established. In this paper, we study the intermittent fault diagnosis capabilities of such systems. Necess... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Continuous-Parameter Markov Model and Detection Procedures for Intermittent Faults

    Publication Year: 1978, Page(s):567 - 570
    Cited by:  Papers (43)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (744 KB)

    A continuous-parameter Markov model for intermittent faults in digital systems is presented. This continuous model is more realistic than discrete-parameter models previously presented by other authors. The results obtained using the proposed model can be reduced to those obtained from the previous models, by using appropriate approximations. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Totally Self-Checking 1-Out-of-3 Checker

    Publication Year: 1978, Page(s):570 - 572
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (534 KB)

    Totally self-checking 1-out-of-m checkers are known for all m except for m = 3. The principle of the 1-out-of-3 checker presented is the following: the 1-out-of-3 code is transcoded in a 1-out-of-4 code by a sequential circuit which is totally self-checking. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient Algorithms for Testing Semiconductor Random-Access Memories

    Publication Year: 1978, Page(s):572 - 576
    Cited by:  Papers (127)  |  Patents (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (912 KB)

    A fault model which views faults in semiconductor random-access memories at a functional level instead of at a basic gate level is presented. An efficient 0(n) algorithm to detect all faults in the fault model is described. The fault model is then extended to incorporate more complex faults. An 0(n · log2 n) algorithm is presented for one such extended fault model. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of Maintenance Software in Real-Time Systems

    Publication Year: 1978, Page(s):576 - 582
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (934 KB)

    Statistical theory can be applied to data collected by physical fault insertion of small, random fault samples to estimate the critical parameters of software responsible for fault recovery, detection, and resolution in real-time systems. Estimates of the critical parameters can be used to determine if system reliability objectives are satisfied. This method of software evaluation, modified becaus... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • if your computer engineering library doesn't subscribe to all 3 it's not complete.

    Publication Year: 1978, Page(s): 582
    Request permission for commercial reuse | PDF file iconPDF (1234 KB)
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1978, Page(s): 582
    Request permission for commercial reuse | PDF file iconPDF (129 KB)
    Freely Available from IEEE
  • Advance Program Announcements

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