Scheduled System Maintenance
On Saturday, December 10, single article sales and account management will be unavailable from 5:00 AM-7:30 PM ET.
We apologize for the inconvenience.
By Topic

Computer

Issue 9 • Sept. 1990

Filter Results

Displaying Results 1 - 6 of 6
  • A specifier's introduction to formal methods

    Publication Year: 1990, Page(s):8 - 22
    Cited by:  Papers (218)  |  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1580 KB)

    Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are defined, and their role is delineated. Formal specification languages, which provide the formal method's mathematical basis, are examined. Certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed. Six well-known or commonly u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tango: a framework and system for algorithm animation

    Publication Year: 1990, Page(s):27 - 39
    Cited by:  Papers (141)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1283 KB)

    The role of animation in understanding and evaluating programs and developing new programs is discussed. A framework for algorithm animation, called Tango, and a system based on that framework are introduced. Related work is reviewed, and the conceptual framework on which Tango is based is examined. The implementation of the Tango system is described. The first-fit bin-packing algorithm is animate... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Project Athena as a distributed computer system

    Publication Year: 1990, Page(s):40 - 51
    Cited by:  Papers (24)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1409 KB)

    Project Athena, established in 1983 to improve the quality of education at MIT (Massachussetts Institute of Technology) by providing campuswide, high-quality computing based on a large network of workstations, is discussed, focusing on the design of Athena's distributed workstation system. The requirements of the system are outlined distributed system models are reviewed, other distributed operati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multimedia conferencing on local area networks

    Publication Year: 1990, Page(s):52 - 61
    Cited by:  Papers (5)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (863 KB)

    Management and implementation procedures for data delivery in multiparty, multimedia conferences on local area networks are considered. Earlier results are extended, and the requirements and mechanisms for delivering multiple information types-voice, video, file, memo, screen, and keyboard data-are outlined. The mechanisms presented are appropriate for both intranetwork and (homogeneous and hetero... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multiprocessor performance-measurement instrumentation

    Publication Year: 1990, Page(s):63 - 75
    Cited by:  Papers (17)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1347 KB)

    Performance measurement for loosely and tightly coupled multiple-instruction multiple-data multiprocessor systems is addressed. For the paradigm of multiple processors solving a single problem faster, a taxonomy of hardware-supported measurement approaches is presented and critiqued. A hybrid measurement system that is, software with hardware support, is presented. The system, called the trace mea... View full abstract»

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

    Publication Year: 1990, Page(s):77 - 80
    Cited by:  Papers (28)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (424 KB)

    A description is given of five testbeds developed to examine gigabit applications and network technologies: Aurora, Blanca, Casa, Nectar, and Vistanet. Aurora is an experimental wide-area network testbed whose main objective is to explore and evaluate technologies for phase three of the proposed gigabit National Research and Education Network. The goals of the Blanca network research program are t... View full abstract»

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

Aims & Scope

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by computer researchers and practitioners representing the full spectrum of computing and information technology, from hardware to software and from emerging research to new applications. 

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Sumi Helal
University of Florida
sumi.helal@gmail.com