Computer

Issue 2 • Feb. 1985

Filter Results

Displaying Results 1 - 25 of 30
  • [Front cover]

    Publication Year: 1985, Page(s):c1 - c2
    Request permission for commercial reuse | PDF file iconPDF (2342 KB)
    Freely Available from IEEE
  • Advertisement

    Publication Year: 1985, Page(s):1 - nil2
    Request permission for commercial reuse | PDF file iconPDF (16464 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 1985, Page(s):2 - 3
    Request permission for commercial reuse | PDF file iconPDF (2165 KB)
    Freely Available from IEEE
  • Guest Editors' Introduction: Computer Hardware Description Languages: The Bridge Between Software and Hardware

    Publication Year: 1985, Page(s):6 - 8
    Request permission for commercial reuse | PDF file iconPDF (3505 KB)
    Freely Available from IEEE
  • A Temporal Logic for Multilevel Reasoning about Hardware

    Publication Year: 1985, Page(s):10 - 19
    Cited by:  Papers (125)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6199 KB)

    First Page of the Article
    View full abstract»

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

    Publication Year: 1985, Page(s):22 - 32
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (10900 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concurrent Prolog as an Efficient VLSI Design Language

    Publication Year: 1985, Page(s):33 - 40
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3130 KB)

    As long as simulation is relied upon, the hardware will only be as good as the test data; therefore most widely used computers contain bugs. Verification is the only known technique for theoretically complete debugging, but it remains impractical despite researchers' efforts. This article explores a methodology in between functional simulation and formal verification. The correctness of hardware i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Transformational Model of VLSI Systolic Design

    Publication Year: 1985, Page(s):42 - 52
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6666 KB)

    The major contribution of this work is a transformational model of systolic design. In this design model, software transformations are first applied to put the algorithm to be implemented into a regular form conducive to systolic implementation. The steps of allocating operations to hardware, scheduling their execution, and optimizing the design are then performed bottom-up, starting with the inne... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Zeus: A Language for Expressing Algorithms in Hardware

    Publication Year: 1985, Page(s):55 - 65
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6725 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware Description Languages in Microprogramming Systems

    Publication Year: 1985, Page(s):67 - 76
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (7214 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Conlan Project: Concepts, Implementations, and Applications

    Publication Year: 1985, Page(s):81 - 92
    Cited by:  Papers (15)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (9189 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • VHSIC Hardware Description Language

    Publication Year: 1985, Page(s):94 - 103
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6599 KB)

    In March 1980, the US Department of Defense (DoD) launched the Very High Speed Integrated Circuits program to advance the state of the art in highspeed integrated circuit technology, specifically for defense systems. In 1981 the Institute for Defense Analyses (IDA) arranged a workshop to define the requirements for such a standard. The DoD used the final report of the IDA workshop as a basis for d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 1985 IEEE Microprocessor Forum

    Publication Year: 1985, Page(s): 104
    Request permission for commercial reuse | PDF file iconPDF (137 KB)
    Freely Available from IEEE
  • Parallelism, Pipelines, and Partitions: Variations on Communicating Modules

    Publication Year: 1985, Page(s):105 - 112
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5614 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pacific computer communication Symposium, 22-24 October 1985, Seoul, Republic of Korea

    Publication Year: 1985, Page(s): 113
    Request permission for commercial reuse | PDF file iconPDF (136 KB)
    Freely Available from IEEE
  • Tables of contents

    Publication Year: 1985, Page(s):114 - 115
    Request permission for commercial reuse | PDF file iconPDF (294 KB)
    Freely Available from IEEE
  • IEEE Global Telecommunications Conference

    Publication Year: 1985, Page(s): 116
    Request permission for commercial reuse | PDF file iconPDF (142 KB)
    Freely Available from IEEE
  • New Applications

    Publication Year: 1985, Page(s):117 - 118
    Request permission for commercial reuse | PDF file iconPDF (1315 KB)
    Freely Available from IEEE
  • New products

    Publication Year: 1985, Page(s):120 - 127
    Request permission for commercial reuse | PDF file iconPDF (9013 KB)
    Freely Available from IEEE
  • New Literature

    Publication Year: 1985, Page(s): 125
    Request permission for commercial reuse | PDF file iconPDF (1146 KB)
    Freely Available from IEEE
  • Recent Microsystem Announcements

    Publication Year: 1985, Page(s): 129
    Request permission for commercial reuse | PDF file iconPDF (180 KB)
    Freely Available from IEEE
  • Recent IC Announcements

    Publication Year: 1985, Page(s): 130
    Request permission for commercial reuse | PDF file iconPDF (177 KB)
    Freely Available from IEEE
  • Update: information for the computer systems design professional

    Publication Year: 1985, Page(s):131 - 135
    Request permission for commercial reuse | PDF file iconPDF (1013 KB)
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1985, Page(s):136 - 137
    Request permission for commercial reuse | PDF file iconPDF (435 KB)
    Freely Available from IEEE
  • Erratum

    Publication Year: 1985, Page(s): 136
    Request permission for commercial reuse | PDF file iconPDF (243 KB)
    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
Lancaster University
sumi.helal@computer.org