By Topic

IEEE Transactions on Computers

Issue 7 • Date Jul 1990

Filter Results

Displaying Results 1 - 15 of 15
  • Analysis of checksums, extended-precision checksums, and cyclic redundancy checks

    Publication Year: 1990, Page(s):969 - 975
    Cited by:  Papers (20)  |  Patents (41)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    The effectiveness of extended-precision checksums is thoroughly analyzed. It is demonstrated that the extended-precision checksums most effectively exploit natural redundancy occurring in program codes. Honeywell checksums and cyclic redundancy checks are compared to extended-precision checksums. Two's complement, unsigned, and one's complement arithmetic checksums are treated in a unified manner.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The B-network: a multistage interconnection network with backward links

    Publication Year: 1990, Page(s):966 - 969
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    A multistage interconnection network (MIN) for multiprocessor systems is proposed. The proposed MIN, called the B-network, uses backward links to provide backward paths for the requests blocked at switches or memory due to contentions. The gamma network is known to contain a cube network (specifically, the inverse omega network) as a substructure. The B-network is obtained from t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic processor self-scheduling for general parallel nested loops

    Publication Year: 1990, Page(s):919 - 929
    Cited by:  Papers (34)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 KB)

    A processor self-scheduling scheme is proposed for general parallel nested loops in multiprocessor systems. In this scheme, programs are instrumented to allow processors to schedule loop iterations among themselves dynamically at run time without involving the operating system. The scheme has two levels. At the low level, it uses simple fetch-and-op operations to take advantage of the regular stru... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Notes on shuffle/exchange type permutation sets

    Publication Year: 1990, Page(s):962 - 965
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    Properties of some shuffle/exchange type permutation sets are studied from operational points of view. The permutation sets studied are Ω, Ω-1, Ψ, L, and U; Ω and Ω-1 are, respectively, the omega and inverse omega permutation sets, Ω≡(Ω∩Ω-1); and L and U are, respectively, t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Minimal order loop-free routing strategy

    Publication Year: 1990, Page(s):870 - 881
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    A multiorder routing strategy is developed which is loop-free even in the presence of link/node failures. Unlike most conventional methods in which the same routing strategy is applied indiscriminately to all nodes in the network, nodes under this proposal may adopt different routing strategies according to the network structure. Formulas are developed to determine the minimal order of routing str... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance analysis of real-time software supporting fault-tolerant operation

    Publication Year: 1990, Page(s):906 - 918
    Cited by:  Papers (2)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1152 KB)

    Analyzing the performance of real-time control systems featuring mechanisms for online recovery from software faults is discussed. The application is assumed to consist of a number of interacting cyclic processes. The underlying hardware is assumed to be a multiprocessor, possibly with a separate control processor. The software structure is assumed to use design diversity along with forward and/or... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An efficient channel routing algorithm to yield an optimal solution

    Publication Year: 1990, Page(s):957 - 962
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (544 KB)

    An algorithm known as optimal channel routing (OCR) is proposed which finds an optimal solution for the channel routing problem in VLSI design. The algorithm is an A* algorithm with good heuristics and dominance rules for terminating unnecessary nodes in the searching tree. Experimental results, agreeing with theoretical analysis, show that it behaves quite well in average cases. An optim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Markovian queueing network models for performance analysis of a single-bus multiprocessor system

    Publication Year: 1990, Page(s):975 - 980
    Cited by:  Papers (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (420 KB)

    An exact solution for the performance analysis of a typical single-bus multiprocessor system is presented. The multiprocessor system is modeled by a Markovian queueing network. An r-stage hypoexponential distribution or an r-stage hyperexponential distribution is used to represent the nonexponential service times. Consequently, the equilibrium probabilities of two-dimensional Mar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The jitter model for metastability and its application to redundant synchronizers

    Publication Year: 1990, Page(s):930 - 942
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (776 KB)

    A synchronizer timing model, called the jitter model, which has general application to metastable reliability analysis, is proposed and analyzed. The jitter model is applied to show that redundancy cannot improve the metastable reliability of synchronizers, contradicting previous work by A. El-Amawy (see ibid., vol.38, no.5, p.750-3 (1989)). The jitter model extends previous synchronizer input tim... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An efficient deadlock avoidance technique

    Publication Year: 1990, Page(s):882 - 888
    Cited by:  Papers (20)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB)

    A deadlock avoidance technique, based on a method of representing directed acyclic graphs, is presented. This technique is suitable for systems with single resources of each resource type. The deadlock avoidance problem considered is the problem of changing a directed acyclic graph while keeping it acyclic. The resource allocation algorithm involves three operations on edges corresponding to relea... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructing optimal procedures for testing series systems

    Publication Year: 1990, Page(s):943 - 945
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (284 KB)

    An efficient algorithm to construct testing procedures for optimally identifying a single defective unit in a series system is presented. A series system such as a local loop of telephone networks is modeled as a sequence of units. The costs incurred by the testing process are general; traveling costs and testing costs are taken into consideration. Although the model assumes that only one defectiv... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On job assignment for a parallel system of processor sharing queues

    Publication Year: 1990, Page(s):858 - 869
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (975 KB)

    Two of the optimality criteria most commonly considered to compare job assignment policies, namely, the stochastic order and the average total completion time criterion, are discussed. It is shown that the latter, while being weaker than the former, still provides a useful criterion when policies are to be evaluated in terms of average performance measures such as the system average response time.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • (SM)2-II: a large-scale multiprocessor for sparse matrix calculations

    Publication Year: 1990, Page(s):889 - 905
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1180 KB)

    (SM)2-II is a large-scale parallel machine dedicated to scientific computation which includes sparse matrix calculations. In order to connect thousands of microprocessors and utilize a high degree of parallelism, the whole (SM)2-II system is designed based on a simple computational model called the node and connecting-line (NC) model. The concept and the architecture of (SM)... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Clock skew optimization

    Publication Year: 1990, Page(s):945 - 951
    Cited by:  Papers (270)  |  Patents (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (648 KB)

    Improving the performance of a synchronous digital system by adjusting the path delays of the clock signal from the central clock source to individual flip-flops is investigated. Using a model to detect clocking hazards, two linear programs are investigated: (1) minimizing the clock period, while avoiding clock hazards, and (2) for a given period, maximizing the minimum safety margin against clock... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance analysis of a message-oriented knowledge-base

    Publication Year: 1990, Page(s):951 - 957
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (668 KB)

    A message-driven model for function-free Horn logic is presented, where the knowledge base is represented as a network of logical processing elements communicating with one another exclusively through messages. The lack of centralized control and centralized memory makes this model suitable for implementation on highly parallel asynchronous computer architecture. The performance of this message-dr... View full abstract»

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

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