By Topic

IEEE Transactions on Computers

Issue 12 • Date Dec. 1980

Filter Results

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

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

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

    Publication Year: 1980, Page(s):1037 - 1038
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1601 KB)

    DURING the past decade, we have experienced an explosive growth in data communications and networking in which terminals, computers, and computer networks are connected together via communication lines to share databases and computing resources. However, due to the lack of understanding of how to design efficient distributed databases and distributed processing systems, most of the systems are des... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and Verification of Communication Protocols in Sara: The X.21 Interface

    Publication Year: 1980, Page(s):1038 - 1052
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4997 KB)

    This paper models the CCITT X.21 interface specification using a graph model and verifies the behavior of the interface using analysis tools accessible through UCLA's SARA (System Architects' Apprentice) design aid system. Behavior of the interface is modeled in three domains: control flow, data flow, and interpretation. Explicit models of assumed behavior for the environment and for the system un... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Tradeoff Study of Switching Systems in Computer Communication Networks

    Publication Year: 1980, Page(s):1052 - 1060
    Cited by:  Papers (24)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3980 KB)

    This paper is concerned with a comparison study of three switching techniques used in computer-based communication networks: circuit switching, message (packet) switching, and cut-through switching. Our comparison is based on the delay performance as obtained through analytic models of these techniques. For circuit switching, the model reflects the phenomenon of channel reservation through which i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Distributed Control Algorithm for Reliably and Consistently Updating Replicated Databases

    Publication Year: 1980, Page(s):1060 - 1068
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3976 KB)

    This paper presents a deadlock-free and distributed control algorithm for robustly and consistently updating replicated databases. This algorithm is based on local locking and time stamps on lock tables which permit detection of conflicts among transactions executed at different sites. Messages are exchanged in the network whenever a transaction commitment occurs, that is, at the end of every cons... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal Design of Distributed Information Systems

    Publication Year: 1980, Page(s):1068 - 1080
    Cited by:  Papers (48)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4411 KB)

    In this paper a model is developed for the optimization of distributed information systems. Compared with the previous work in this area, the model is more complete, since it considers simultaneously the distribution of processing power, the allocation of programs and databases, and the assignment of communication line capacities. It also considers the return flow of information, as well as the de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallelism and Representation Problems in Distributed Systems

    Publication Year: 1980, Page(s):1080 - 1086
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3628 KB)

    A hierarchical view of program representation is used to explain the problems of matching various representations to underlying distributed architectures. If a program is to effectively use a distributed computer system, it is necessary to represent and detect a high degree of parallelism. Methods of detecting such parallelism and their limitations are discussed. The actual machine level represent... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Framework for the Quantitative Evaluation of Distributed Computer Systems

    Publication Year: 1980, Page(s):1087 - 1094
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2602 KB)

    Current and anticipated advances in semiconductor technology, in general, and in the area of microcomputers, in particular, will lead to a widespread utilization of distributed computer systems. The advantages of these types of systems have led to numerous design efforts. Most of these efforts have been undertaken in a largely ad hoc manner without any mechanism for the evaluation of design tradeo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Data Flow Computing—Software Development

    Publication Year: 1980, Page(s):1095 - 1103
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3051 KB)

    Data flow computing is one of the most radical approaches for multiprocessing. A computation is represented by its data flow graph and scheduling of each operator is done at run-time when all of its operands' values are available. This paper addresses the problem of language design for a data flow environment. It briefly surveys several alternatives for a data flow language and then focuses on one... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

    Publication Year: 1980, Page(s):1104 - 1113
    Cited by:  Papers (1230)  |  Patents (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3491 KB)

    The contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed problem solver. Task distribution is affected by a negotiation process, a discussion carried on between nodes with tasks to be executed and nodes that may be able to execute those tasks. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Problems of Designing Supersystems with Dynamic Architectures

    Publication Year: 1980, Page(s):1114 - 1132
    Cited by:  Papers (15)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5150 KB)

    This paper considers basic concepts of designing a Supersystem with dynamic architecture. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Micros, A Distributed Operating System for Micronet, A Reconfigurable Network Computer

    Publication Year: 1980, Page(s):1133 - 1144
    Cited by:  Papers (27)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3765 KB)

    MICROS is the distributed operating system for the MICRONET network computer. MICRONET is a reconfigurable and extensible network of 16 loosely coupled LSI-11 microcomputer nodes, connected by packet-switching interfaces to pairs of high-speed shared communication buses. MICROS simultaneously supports many users, each running multicomputer parallel programs. MICROS is intended for control of netwo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Interpretation: A Model and Experiment

    Publication Year: 1980, Page(s):1144 - 1163
    Cited by:  Papers (64)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6788 KB)

    The range of application areas to which distributed processing has been applied effectively is limited. In order to extend this range, new models for organizing distributed systems must be developed. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 1980 Index IEEE Transactions on Computers Vol. C-29

    Publication Year: 1980, Page(s): 1163
    Request permission for commercial reuse | PDF file iconPDF (2779 KB)
    Freely Available from IEEE
  • Announcement & Call for Papers

    Publication Year: 1980, Page(s): 1163
    Request permission for commercial reuse | PDF file iconPDF (107 KB)
    Freely Available from IEEE
  • Call for Papers

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

    Publication Year: 1980, Page(s): 1163
    Request permission for commercial reuse | PDF file iconPDF (150 KB)
    Freely Available from IEEE
  • Call for Papers Trends and Applications

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