Scheduled System Maintenance
On Friday, October 20, IEEE Xplore will be unavailable from 9:00 PM-midnight ET. We apologize for the inconvenience.
Notice: There is currently an issue with the citation download feature. Learn more.

Computer

Issue 11 • Nov. 1990

Filter Results

Displaying Results 1 - 6 of 6
  • Multiprocessor algorithms for relational-database operators on hypercube systems

    Publication Year: 1990, Page(s):13 - 28
    Cited by:  Papers (18)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1174 KB)

    The tutorial focuses on hypercube interconnected architectures as a computational engine for relational-database processing. Several implementations of the many currently available hypercube systems are highlighted, and comments on their potential performance in evaluating relational-database operators are presented. All algorithms assume that the relevant data are memory resident. Experimental ti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A functional correctness model of program verification

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

    A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented. The method is applied to rather simple programs. However, even in large complex implementations, the techniques can be applied informally to determine the functionality of complex interactions. The technique is easy to learn (it is used in a freshman computer science course) and lends ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Reactive Keyboard: a predictive typing aid

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

    The Reactive Keyboard, a device that accelerates typewritten communication with a computer system by predicting what the user is going to type next is described. The version described is designed for entering free text and runs on any Apple Macintosh computer with at least 1 MB of memory (though 2 MB is preferred). It makes full use of the Macintosh mouse-and-window environment to give users conve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Knowledge bases and databases: converging technologies, diverging interests

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

    The convergence of knowledge-based and database technologies in the development of expert databases which store not only values but chunks of knowledge is discussed. The knowledge-based programming perspective is examined, and differences between knowledge bases and databases are identified. It is argued that in spite of converging technologies, the interests of knowledge-base specialists and data... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategies for supporting application portability

    Publication Year: 1990, Page(s):59 - 70
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1215 KB)

    A range of system-design strategies that can be used to support portability and the ways in which these strategies have been employed by past and present systems are examined. The strategies are grouped into three categories: (1) strategies that maintain identical execution-time interfaces by porting system components that form the interface, (2) strategies that maintain identical or nearly identi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Garnet: comprehensive support for graphical, highly interactive user interfaces

    Publication Year: 1990, Page(s):71 - 85
    Cited by:  Papers (88)  |  Patents (33)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1436 KB)

    The Garnet research project, which is creating a set of tools to aid the design and implementation of highly interactive, graphical, direct-manipulation user interfaces, is discussed. Garnet also helps designers rapidly develop prototypes for different interfaces and explore various user-interface metaphors during early product design. It emphasizes easy specification of object behavior, often by ... 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
Lancaster University
sumi.helal@computer.org