IEEE Transactions on Computers

Issue 8 • Aug. 1984

Filter Results

Displaying Results 1 - 23 of 23
  • [Front cover]

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

    Publication Year: 1984, Page(s): nil1
    Request permission for commercial reuse | PDF file iconPDF (177 KB)
    Freely Available from IEEE
  • [Breaker page]

    Publication Year: 1984, Page(s): nil1
    Request permission for commercial reuse | PDF file iconPDF (177 KB)
    Freely Available from IEEE
  • Precise Scientific Computation with a Microprocessor

    Publication Year: 1984, Page(s):685 - 690
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1421 KB)

    When a high-level programming language is used for scientific computation, usually one must use standard floating point and choose the precision-single, double, or higher-before one's program executes. This paper describes a modified Basic that accommodates the advanced computation techniques of dynamic adjustable precision and interval arithmetic. This language-Precision Basic or Pbasic-allows a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Estimation of Intermodule Communication (IMC) and Its Applications in Distributed Processing Systems

    Publication Year: 1984, Page(s):691 - 699
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1988 KB)

    Communication among program modules plays an important role in the performance of distributed processing systems. In this paper, a model for estimating intermodule communication (IMC) is developed. The model derives communication volume based on module invocation rates and file access probabilities via the control-and-data-flow graph. The IMC model is validated by simulation experiments. Interproc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Comparative Study of Distributed Resource Sharing on Multiprocessors

    Publication Year: 1984, Page(s):700 - 711
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2346 KB)

    In this paper we have studied the interconnection of resources to multiprocessors and the distributed scheduling of these resources. For a given interconnection network, the resource-mapping problem entails the search of one of the free resources which can be connected to each requesting processor. To prevent the bottleneck of sequential scheduling, a request without any destination address is giv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Instruction Fetch Unit for a High-Performance Personal Computer

    Publication Year: 1984, Page(s):712 - 730
    Cited by:  Papers (3)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4243 KB)

    The instruction fetch unit (IFU) of the Dorado personal computer speeds up the emulation of instructions by prefetching, decoding, and preparing later instructions in parallel with the execution of earlier ones. It dispatches the machine's microcoded processor to the proper starting address for each instruction, and passes the instruction's fields to the processor on demand. A writeable decoding m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Systolic VLSI Arrays for Polynomial GCD Computation

    Publication Year: 1984, Page(s):731 - 736
    Cited by:  Papers (53)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1578 KB)

    The problem of finding a greatest common divisor (GCD) of any two nonzero polynomials is fundamental to algebraic and symbolic computations, as well as to the decoder implementation for a variety of error-correcting codes. This paper describes new systolic arrays that can lead to efricient VLSI solutions to both the GCD problem and the extended GCD problem. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Class of Odd-Weight-Column SEC-DED-SbED Codes for Memory System Applications

    Publication Year: 1984, Page(s):737 - 739
    Cited by:  Papers (22)  |  Patents (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (525 KB)

    Error correcting codes are widely used in memory systems to increase reliability. Especially in a memory systern that uses byte-organized memory chips, which each contain b (≫1) output bits, a single chip failure is likely to affect many bits within a byte. Single-bit error correcting-double bit error detecting-single b-bit byte error detecting codes (SEC-DED-SbED codes) are suitable for in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Generating the N-ary Reflected Gray Codes

    Publication Year: 1984, Page(s):739 - 741
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (548 KB)

    The definition of the N-ary reflected Gray code is given. Two recursive algorithms for generating the N-ary reflected Gray codes are presented: one algorithm is coded directly from the definition; another algorithm is derived from the sequencing orders of digits in the N-ary reflected Gray codes. It is shown that these two algorithms are equivalent functionally. Furthermore, it is proven that the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Separable Unordered Codes

    Publication Year: 1984, Page(s):741 - 743
    Cited by:  Papers (35)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    Unordered codes have proven useful for designing failsafe, fault-secure, and self-checking logic circuits. In many applications it may be desirable to have separate information bits and check bits, i.e., a separable code. This correspondence gives a procedure for adding check bits to a set of information k-tuples to produce an unordered code. The general case where not all 2k possible k... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Testable PLA Design with Low Overhead and High Fault Coverage

    Publication Year: 1984, Page(s):743 - 745
    Cited by:  Papers (37)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (595 KB)

    A new design of testable PLA's is presented. This design has the following characteristics: it requires little extra hardware; it has very little, if any, impact on the speed of the PLA in normal operation; it has very high fault coverage (all single and multiple stuck-at faults, crosspoint faults, and all combinations thereof are detected); and it can be used for designing testable folded PLA's. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A New PLA Design for Universal Testability

    Publication Year: 1984, Page(s):745 - 750
    Cited by:  Papers (43)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1183 KB)

    A new design of universally testable PLA's is presented in which all multiple faults can be detected by a universal test set which is independent of the function being realized by the PLA. The proposed design has the following properties. 1) It can be tested with function-independent test patterns; hence, no test pattern generation is required. 2) The amount of extra hardware is significantly decr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Complexity of Estimating the Size of a Test Set

    Publication Year: 1984, Page(s):750 - 753
    Cited by:  Papers (39)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (795 KB)

    Most NP-completeness results for test generation problems involve a reduction to the redundancy problem, which explicitly encodes the satisfiability problem. In this correspondence we investigate the complexity of a more modest problem-that of estimating the size of a test set under the constraint that the circuit is irredundant. We show that even this constrained problem is NP-hard in the strong ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-Testing Embedded Parity Checkers

    Publication Year: 1984, Page(s):753 - 756
    Cited by:  Papers (30)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (698 KB)

    It is shown that if a 4-by-n binary matrix has four distinct even-parity rows such that each column has exactly two 0's and two 1's, then there exists a totally self-checking even-parity checker that is tested by the four rows of this matrix. The utility of this result in designing self-testing embedded parity checkers is described. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Diagnosis Algorithm for the BGM System Level Fault Model

    Publication Year: 1984, Page(s):756 - 758
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (638 KB)

    A τdiagnosable system is a system in which all faults may be identified from the test results, provided that the number of faults does not exceed τ. In this correspondence we present an algorithm that may be used for the diagnosis of the system level BGM fault model proposed by Barsi, Grandoni, and Maestrini, whenever the system is τ-diagnosable and the number of faults is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Stuck-At Fault Tests in the Presence of Undetectable Bridging Faults

    Publication Year: 1984, Page(s):758 - 761
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (852 KB)

    Undetectable bridging faults between two arbitrary leads, which may produce feedback loops, in a unate two-level irredundant AND-OR network are anlyzed and their effect on stuck-at fault detection tests is explored. As a result, any complete test set for single stuck-at faults proves to still remain valid in the presence of undetectable bridging faults. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Signature Testing of Sequential Machines

    Publication Year: 1984, Page(s):762 - 764
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (654 KB)

    A new approach to the testing of sequential machines is presented which employs signature analysis. In the conventional scheme of testing sequential finite state machines, distinguishing and transfer sequences are used. For the purposes of testing sequential machines by signature analysis, a signature distinguishing sequence is defined. An algorithm for augmenting a sequential machine by introduci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Spectral Fault Signatures for Single Stuck-At Faults in Combinational Networks

    Publication Year: 1984, Page(s):765 - 769
    Cited by:  Papers (31)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1019 KB)

    A method is described for the derivation of fault signatures for the detection of stuck-at faults in single-output combinational networks. These signatures consist of a set of values derived from the network. Any single stuck-at fault causes at least one value to change. The fault signatures developed are a generalization of syndrome testing. The technique is developed in the Rademacher-Walsh spec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Classification of Cube-Connected Networks with a Simple Control Scheme

    Publication Year: 1984, Page(s):769 - 772
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (759 KB)

    The correspondence presents three classes of cube-connected networks with individual stage control based on a group theoretic modeling of interconnection networks. It is shown that these classes of networks retain nonisomorphic groups of permutations. Although the permutations realizable by such networks are rather limited in number, the simplicity of their control scheme makes them attractive. Mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to ``Performance Evaluation of the Computer Network Dynamic Congestion Table Algorithm''

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

    Publication Year: 1984, Page(s): nil2
    Request permission for commercial reuse | PDF file iconPDF (172 KB)
    Freely Available from IEEE
  • [Front cover]

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