By Topic

Computer

Issue 3 • Date March 1993

Filter Results

Displaying Results 1 - 8 of 8
  • Processor reconfiguration through instruction-set metamorphosis

    Page(s): 11 - 18
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (957 KB)  

    The processor reconfiguration through instruction-set metamorphosis (PRISM) general-purpose architecture, which speeds up computationally intensive tasks by augmenting the core processor's functionality with new operations, is described. The PRISM approach adapts the configuration and fundamental operations of a core processing system to the computationally intensive portions of a targeted application. PRISM-1, an initial prototype system, is described, and experimental results that demonstrate the benefits of the PRISM concept are presented.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adapting, correcting, and perfecting software estimates: a maintenance metaphor

    Page(s): 20 - 29
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1034 KB)  

    A hybrid continuous software estimation model supporting adaptive, corrective, and perfective estimation activities is described. The adaptive activity accommodates new system or user requirements or reflects new organizational realities. Corrective maintenance remedies an error detected in the software product, and perfective maintenance eliminates processing inefficiencies and enhances performance of the overall software system. An implementation using constructive cost model (Cocomo) and the system dynamics (SD) simulator is presented. Three examples are presented that demonstrate how the model can be used: before the project starts to adapt the Cocomo estimates to organizational realities, during software development to correct initial assumptions about sizing, and after project completion to perfect model estimates.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concurrent runtime monitoring of formally specified programs

    Page(s): 32 - 41
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1016 KB)  

    A methodology for continuously monitoring a program for specification consistency during program execution is described. Prior development of the formal specification and program is assumed. The program is annotated with constructs from a formal specification language, and the formal specification constructs are transformed into checking code, which is then inserted into the underlying program. Calls to this checking code are inserted into underlying program wherever it can potentially become inconsistent with its specification. If an inconsistency does in fact occur, diagnostic information is provided. The implementation of such a system for Anna (annotated Ada) subtype annotations is presented.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constrained-latency storage access

    Page(s): 44 - 53
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1117 KB)  

    A class of constrained-latency storage access (CLSA) applications that require both large amounts of storage and guarantees for short latencies are presented. A range of existing approaches to meeting the requirements of CLSA applications is surveyed. Their limitations indicate that the technology does not yet exist to support complex CLSA applications on general-purpose storage architectures. A variety of good solutions exists for meeting throughput and latency requirements for continuous media data, including dedication of resources, presequencing, and greedy prefetching. However, none of the current approaches supports the automatic anticipation of scripted data access as required for interactive editing and playback of video segments.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented intelligent computer-integrated design, process planning, and inspection

    Page(s): 54 - 65
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1313 KB)  

    The methodology for developing intelligent integrated computer-aided design and manufacturing systems based on object-oriented principles is discussed. The ways in which the application of these principles affects the nature of these systems are reviewed. The implementation of an automated, intelligent, and flexible computer-integrated-manufacturing (CIM) system prototype using an object-oriented programming environment (Smalltalk-80, Version 4.0) is detailed. A CIM system includes CAD, a process planner, and an inspection planner. Each of these components is discussed individually.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Layoffs in the computer industry

    Page(s): 66 - 71
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (669 KB)  

    The worldwide recession in the computer industry has resulted in substantial layoffs among computer professionals. Even more critical than the current slump is the permanent restructuring underway in the industry. Many jobs lost during this global downturn are likely to be gone from corporate organization charts forever. The changes in industry employment in the US are outlined, and the long-term employment outlook in the US is discussed.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rate monotonic analysis for real-time systems

    Page(s): 73 - 74
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (248 KB)  

    Rate monotonic analysis (RMA), a mathematical approach that helps ensure that a real-time system meets its performance requirements, is discussed. It does so through a collection of quantitative methods and algorithms that let engineers understand, analyze, and predict the timing behavior of their designs. An application of RMA to an air traffic control system is described.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A software reliability engineering practice

    Page(s): 77 - 79
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (326 KB)  

    A recently adopted best current practice (BCP) at AT&T involving performing software reliability engineering (SRE) tasks over the software life cycle is discussed. Software reliability is defined as the capability of a software product to operate failure-free for a given period under specified operating conditions. The support mechanisms for the SRE BCP are described.<> 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 highly acclaimed peer-reviewed articles written for and by professionals representing the full spectrum of computing technology from hardware to software and from current research to new applications.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Ron Vetter
University of North Carolina
Wilmington