By Topic

System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on

Date 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
  • 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.
  • A task migration algorithm for load balancing in a distributed system

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

    Task migration from heavily loaded processors to lightly loaded or idle processors is one way to balance the load across all processors and thus reduce average response time. A description is given of a dynamic task migration protocol based on proposed set strategies which is used to minimize the communication cost and reduce the processing overhead at each processor. The decision to migrate is ba... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Load sharing based on task resource prediction

    Publication Year: 1989, Page(s):921 - 927 vol.2
    Cited by:  Papers (3)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    Predicted task resource usage provides a basis for developing two centralized load-sharing policies: MinQ and MinResp. Trace-driven simulations are used to compare MinQ and MinResp against Centex, an efficient centralized scheme. Experimental results show that the use of prediction makes MinQ and MinResp significantly less sensitive to the status update rate than Centex. Consequently, the proposed... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Persistent languages facilitate the implementation of software version management

    Publication Year: 1989, Page(s):56 - 65 vol.2
    Cited by:  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (832 KB)

    The use of persistent programming languages to construct tools for maintaining the complex modular structure of large-scale application programs transforms the problem into a database maintenance problem. The application construction environment can be considered to be a database of software libraries, and standard database techniques can be used to handle the modules. The persistent language PS-A... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • ISLET: a program/proof editor to support the Vienna Development Method

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

    ENCOMPASS is an environment that addresses the software quality problem using a combination of executable specifications, peer review, testing, and formal techniques similar to the Vienna Development Method. One of the most important tools in ENCOMPASS is ISLET, a language-oriented program/proof editor that supports the construction of formal specifications and their incremental refinement into ve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Message communications in a distributed real-time system with a polled bus

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

    High-speed message communications is addressed. Each node in the system consists of multiple processors interconnected by a broadcast bus, but the individual nodes are interconnected by an arbitrary network. The concept of a poll number is proposed to control the access to an intranode bus, minimizing the probability of real-time messages missing their deadlines. When a task generates a time-const... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Debugging run-time errors

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

    The usual way of locating logical errors is to use a break-and-inspect-style debugging tool. The programmer uses the debugger to search for a small part of the program's execution that does not proceed as expected. Existing debuggers enable the programmer to make this search, but do not assist in the search. Techniques are presented for assisting the programmer in the error diagnosis process. A de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Neural scheduler for real-time networks

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

    Scheduling problem for real-time systems is known to be intractable, i.e. NP-hard or completely NP for most cases. A neural computation technique is introduced to solve it within a limited time under a hard real-time environment. Although the neural computation can be effectively carried out by a multiprocessor, a special processor is designed to obtain the scheduled result with no overhead View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Conceptual views of data structures as a model of output in programming languages

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

    Current programming languages provide sophisticated facilities for the structuring and manipulation of data within a program. Its high-level constructs, however, stop short of being able to communicate the value and structure of data to external display devices. If a programmer wishes to print out a binary tree, or maintain a display of an editor line database, complicated hand coding is necessary... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A knowledge based tool for the requirements analysis

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

    A description is given of the Analysis Assistant, a knowledge-based system aiming at helping the user to carry out the requirements analysis of a software system adhering to a given methodology and utilizing a large amount of knowledge on the particular application domain. The current prototype of the Analysis Assistant is outlined along with the language used for its implementation. The focus is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State change architecture: a protocol for executable process models

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

    The key concepts and requirements for a process mechanism and the state change architecture (SCA) protocols are presented. The SCA is thought to solve many of the process modeling problems associated with conventional languages and methods. It integrates object-oriented programming, a common repository for the logical view of data, and logic programming 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.
  • 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.
  • Forecasting real-time behavior during software design using a CASE environment

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

    Real-time software is required to react within certain time constraints. To forecast early in the design process whether or not the design approach chosen will fulfil those time constraints without costly prototyping, two methods have been developed: open-loop dynamic evaluation of time-critical parts of executable design specifications, and animating a closed-loop system, consisting of the execut... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A graphical design environment for distributed real-time systems

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

    The authors present a graphics-oriented environment, focusing on programming-in-the-large aspects. They cover all design steps from the initial requirements specification to a detailed description of the distributed system structure, its information exchange, and the real-time software executed in each component. All integrated design tools are highly interactive, providing the user with advanced ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The role of technology advocate and transfer mechanism on Ada adoption

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

    Examines the association of various technology transfer mechanisms and technology advocates with the adoption of Ada. Preliminary analysis of data from structured interviews with 48 software developers in the defense sector supports the notion that organizations and change agents may wish to tailor transition mechanisms and choice of primary advocate to the specific stage of the adoption process, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing the software development environment: a case study

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

    A case study is presented in which increases in software development productivity were facilitated by changes in management that allowed for the surfacing of new forms of system development. Several of these forms as they were introduced into the HSF PLEXSUS environment are described. On the basis of this description, suggestions for future projects are given View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the verification of time-dependent protocols using timed reachability analysis

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

    An automated approach to verifying general properties of time-dependent protocols, using a formal model called time transmission grammar plus (TTG+), is introduced. The novel part of the approach is to represent the global state of the model as a pair of state and timing constraint matrices. Timed reachability analysis based on such a representation is then developed to verify various p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PK/C++: an object-oriented, logic-based, executable specification language

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

    ENCOMPASS is an environment that supports software development using formal techniques similar to the Vienna development method (VDM). In ENCOMPASS, software can be specified using the PLEASE family of executable specification languages, PK/C++, the latest number of the PLEASE family, differs from its predecessor by having C++ rather than Ada as its base language, by having an operational as well ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Speculative parallelism in a distributed graph reduction machine

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

    A scheme for adding speculative evaluation to the distributed implementation of a lazy functional language is presented. The scheme assigns reduced scheduling priorities to speculative computations to prevent them from overwhelming processing resources or altering the program's semantics. Scheduling priorities are dynamically adjusted during execution as speculative computations are found to be ne... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An intelligent assistant for software information checking using a non-monotonic reasoning system

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

    The knowledge representation of software component relations using nonmonotonic logic to assist the validity and integrity checking of software information is presented. Software components and their interconnection information are represented by axioms that exhibit the structure and behavior of the software system. Another set of axioms represents the basic truisms about a software system in gene... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Qlisp: parallel processing in Lisp

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

    One of the major problems in converting serial programs to take advantage of parallel processing has been the lack of a multiprocessing language that is both powerful and understandable to programmers. The authors describe multiprocessing extensions to Common Lisp designed to be suitable for studying styles of parallel programming at the medium-grain level in a shared-memory architecture. The resu... 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.
  • 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.