By Topic

[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track

3-6 Jan. 1989

Filter Results

Displaying Results 1 - 25 of 122
  • Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Vol.II: Software Track (IEEE Cat. No.89TH0243-6)

    Publication Year: 1989
    Request permission for commercial reuse | PDF file iconPDF (48 KB)
    Freely Available from IEEE
  • Software quality drivers and indicators

    Publication Year: 1989, Page(s):210 - 218 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (653 KB)

    The predictive part of a constructive quality model called COQUAMO is being developed using the concept of quality drivers to provide information on the development project. The monitoring part of COQUAMO aims at detecting detrimental deviations from plans through quality indicators applied to the ongoing project. The authors describe theoretical investigations of quality drivers and indicators as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The architecture of Ra: a kernel for Clouds

    Publication Year: 1989, Page(s):936 - 945 vol.2
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (872 KB)

    Ra is a native, minimal kernel for the Clouds distributed operating system. Ra is a successor to the prototype Clouds kernel and reflects lessons learned from the earlier implementation effort. Ra supports the same object-thread model as the original Clouds kernel as a special case and introduces extensibility as a major goal. Ra provides three primitives, namely segments, virtual spaces, and ligh... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling operating system processing on small-scale multiprocessors

    Publication Year: 1989, Page(s):904 - 913 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (940 KB)

    Proposes a number of assignment and scheduling policies, ranging from asymmetric handling of operating system (OS) processing on designated OS processors, to the symmetric scheduling of OS processing on any available processor. These policies are evaluated under a variety of load conditions. Small systems, with up to three processors, are studied experimentally using the Mach operating system on a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Consistency issues in real-time database systems

    Publication Year: 1989, Page(s):654 - 661 vol.2
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    A consistency model is presented of real-time database systems that distinguishes the external data consistency from the internal data consistency as maintained by traditional systems, to provide a transaction schedule to meet deadlines. External consistency requires that the data used by a transaction reflect the current physical environment; this is in contrast to internal consistency, which pre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PSACOIN level 0 intercomparison-an international verification exercise on a hypothetical safety assessment case study

    Publication Year: 1989, Page(s):267 - 274 vol.2
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    A comparison of probabilistic system assessment (PSA) codes relevant to radioactive waste disposal is reported. This level-0 intercomparison was the first of a series of planned code verification exercises and was based on a simple model describing a hypothetical disposal system. PSA codes deal with uncertainty and variability in input parameters using a Monte Carlo approach, so that the analysis ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance analysis of MARS logging, checkpointing, and recovery

    Publication Year: 1989, Page(s):636 - 642 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    The results of a performance analysis used to compare MARS (a main-memory recoverable database with stable log) and MM-DBMS (different main-memory database management system) are reported. With equal numbers and sizes of log records, MARS supports a higher transaction throughput rate than does MM-DBMS. Even with larger numbers of log records, a rate of 1500 transactions per second can be supported... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Graphical specification of algorithm animations with ALADDIN

    Publication Year: 1989, Page(s):892 - 901 vol.2
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (584 KB)

    ALADDIN (algorithm animation design and description using interaction) is a system for creating animations of algorithm executions with a minimal effort. To avoid the most laborious phase of producing an animation, which is programming the graphics needed in the animation, ALADDIN allows the user to design the graphics interactively with a graphical editor. An example elucidating how an animation ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Maintaining a well-structured software system

    Publication Year: 1989, Page(s):540 - 547 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (620 KB)

    It has been theorized that if a software system is developed using a rigorous methodology and is well documented and well structured, the resulting system will be more easily maintained. The author describes experiences with a large, real-time software system that successfully uses structured techniques, including an iterative life cycle during maintenance. The following advantages are found: (1) ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Insertion of fault detection mechanisms in distributed Ada software systems

    Publication Year: 1989, Page(s):260 - 266 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (492 KB)

    A technique for automatically inserting software mechanisms to detect single event upset (SEU) in distributed Ada systems is presented. SEUs may cause information corruption, leading to a change in program flow or causing a program to execute an infinite loop. Two cooperative software mechanisms for detecting the presence of these upsets are described. Automatic insertion of these mechanisms is di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A program decomposition scheme with applications to software modification and testing

    Publication Year: 1989, Page(s):479 - 485 vol.2
    Cited by:  Papers (7)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (468 KB)

    The authors use M. Weisers (1984) technique, to approximate the notion of direct-sum decomposition for the flowgraph representation of a program. Given a program slice, they define its complement and demonstrate how to obtain it; the slices and complements are used to define the components of the decomposition. These components are independent in the sense that they are executable projections of a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A user interface design for cataloging and identifying reusable software modules: a semantic network approach

    Publication Year: 1989, Page(s):1035 - 1040 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (360 KB)

    A knowledge representation technique for cataloging software modules is described. The software catalog is a multilevel schema that classifies modules according to function, date usage, and application users. A semantic network is used to encode the catalog and also serves as the basis for an interface design for perusing the contents of the catalog. By opening a window on the catalog, encoded kno... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An analytical model for evaluating database update schemes in a centralized environment

    Publication Year: 1989, Page(s):630 - 635 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (392 KB)

    A method is presented for evaluating the performance of database update schemes that are used to support views in a centralized system. It is based on an analytical queuing model that deals with multiple classes of customers, each class having its own arrival rate. The approach is demonstrated by using it to model two methods for supporting derived relations: the actual-results and the potential-r... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge-based design environment for graphical network editors

    Publication Year: 1989, Page(s):881 - 891 vol.2
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (928 KB)

    A graphical editor design environment that incorporates and applies knowledge about application domains has been developed. The goal is to move a design environment closer toward its application. As an example of this generation of design support systems, a design environment for graphical editors in the domain of object-oriented inheritance networks is presented. In addition to the general knowle... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generating customized software engineering information bases from software process and product specifications

    Publication Year: 1989, Page(s):587 - 595 vol.2
    Cited by:  Papers (1)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (652 KB)

    The authors describe research carried out to: (i) develop a software process and product specification language that allows all the information necessary to understand, control, and improve any given software engineering process; (ii) develop a meta-information-base schema that automatically generates an information-base structure given a software process and product specification; and (iii) devel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Telescopic replication in hierarchically structured process-control programs

    Publication Year: 1989, Page(s):1055 - 1063 vol.2
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (608 KB)

    Presents a hierarchical control structure incorporating telescopic replication for providing cost-effective redundancy for nodes providing centralized control. The lowest-level nodes of the hierarchy are designed to be inherently fault-tolerant. The higher-level nodes formulate optimal strategies and coordinate lower-level activities. Telescopic replication yields a good performance/cost ratio and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The kernel of a software development environment for graphic languages

    Publication Year: 1989, Page(s):115 - 125 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    The innovative graphic features of the kernel of the integrated software development environment GRASPIN are discussed. GRASPIN extends to the graphic languages used in the early stages of software life cycle the benefits of the software development environment approach, in that it provides a graphlike internal representation of software documents and automatic layout tools. Standard techniques ba... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An abstract axiomatization of pointer types

    Publication Year: 1989, Page(s):252 - 259 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    Pointer (`reference' or `access') types are extremely useful in programming, but are usually considered rather intractable in the context of formal verification. The author deals with this problem using the concept of collections and access types. He gives two examples of how this can be done. One approach, using the axiomatic method of J.V. Guttag and V. Horning (1978), is too specific, resulting... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A semantically oriented program synthesis system

    Publication Year: 1989, Page(s):85 - 94 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (704 KB)

    An overview is given of SEED, an automatic program development system that transforms specifications into code using program development methodologies. It is shown that top-down, stepwise program development techniques, originally intended for use by humans, are amenable to automation. When using the Dijkstra/Gries methodology, users refine the predicate logic-based specification of a problem, acc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Capability based, tightly coupled multiprocessor hardware to support a persistent global virtual memory

    Publication Year: 1989, Page(s):36 - 45 vol.2
    Cited by:  Papers (5)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (788 KB)

    A capability-based tightly coupled multiprocessor has been designed and constructed. The system supports a persistent global virtual memory in which objects representing processes, data and mechanisms for input/output reside. The hardware architecture of the machine and its addressing mechanisms are described. Addressing mechanisms that allow the persistent, global virtual memory to span multiproc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Unix system mental models and Unix system expertise

    Publication Year: 1989, Page(s):457 - 467 vol.2
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (884 KB)

    A study is described, whose purpose was to develop a model of users' knowledge of the Unix operating system and thus to depict the relationship between user expertise and mental models of the Unix system. Thirty computer science and engineering majors with varying levels of expertise participated in the experiment. Expertise was measured by experience with the Unix system and computing, as well as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A method for data re-engineering in structured programs

    Publication Year: 1989, Page(s):1025 - 1034 vol.2
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (680 KB)

    While the problem of restructuring control flow in software is fairly well understood, few methods exist for understanding and restructuring the data flow of software. A method of data re-engineering is proposed that combines the theories of data-usage abstractions for system redesign. The principal results of this re-engineering process are the elimination of data-flow anomalies, the reduction of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A programming environment for distributed realtime applications

    Publication Year: 1989, Page(s):673 - 682 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (676 KB)

    An environment based on a specification technique, which provides methods for communication and synchronization between parallel processes, is described. The mainly graphical specification technique can be used for parallel processing, message passing, synchronous and asynchronous communication, and time-out conditions. The specification technique is supported by a number of tools. The programming... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A performance comparison of top-down recursive query evaluation strategies on Datalog benchmarks

    Publication Year: 1989, Page(s):621 - 629 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (532 KB)

    A performance comparison is given, using Datalog benchmarks, of top-down strategies for the evaluation of recursive queries. The top-down strategies that are compared include S.W. Dietrich and D.S. Warren's extension tables (see Tech. Rep., 85-31, Dept. of Computer Science, SUNY at Stony Brook (1985)), H. Tamaki and T. Sato's multistage depth-first (see Third Int. Conf. Logic Prog., p.84-98 (1986)... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Describing real-time systems using PPA and XYZ/E

    Publication Year: 1989, Page(s):712 - 713 vol.2
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (120 KB)

    It is proposed to use the combination of PPA, a data-flow diagram system enhanced with the process port concept, and XYZ/E, a temporal-logic-based language system, for real-time system design. The capabilities of the approach are explored for the example of a cruise control system View full abstract»

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