A common misconception that is held by many people after being exposed to the Ada language for the first time, is that Ada generics are synonymous with, or even required to be used in order to accomplish "reuse&q...
详细信息
We are currently just able to keep our heads above water when dealing with Ada design. The Ada 83 language is complex enough that it requires us to apply a special Ada methodology to our software development effOrt. T...
详细信息
This panel will address the systems engineering, process and domain concepts of Megaprogramming. Megaprogramming embraces process, architecture and reuse concepts, along with supporting technology including software e...
详细信息
The CB Lite project presents a case study in the design to integrate flexible and active support for cooperative work activities into an existing environment. The system's underlying philosophy and architecture ar...
详细信息
ISBN:
(纸本)0897916271
The CB Lite project presents a case study in the design to integrate flexible and active support for cooperative work activities into an existing environment. The system's underlying philosophy and architecture are based on the ConversationBuilder work pioneered at the University of Illinois. Our goals for this project were to understand the fundamental architectural issues of this technology in order to integrate it with the operating environment of the PC platform. Specifically, we sought to define a formal model of the system's architecture, to define a high level language for specifying cooperative process models and to build a prototype embodying the model to interpret the language.
Fortran 90D/HPF is a data parallel language with special directives to enable users to specify data alignment and distributions. This paper describes the design and implementation of a Fortran90D/HPF compiler. Techniq...
详细信息
ISBN:
(纸本)0818643404
Fortran 90D/HPF is a data parallel language with special directives to enable users to specify data alignment and distributions. This paper describes the design and implementation of a Fortran90D/HPF compiler. Techniques for data and computation partitioning, communication detection and generation, and the run-time support for the compiler is discussed. Finally, initial performance results for the compiler are presented. We believe that the methodology to process data distribution, computation partitioning, communication system design and the overall compiler design can be used by the implementors of HPF compilers.
The proceedings contains 112 papers. Some of the topics discussed are: sharing design memory;interacting in 3 dimensions;understanding programming;skill development;usability assessment methods;sign language interface...
详细信息
The proceedings contains 112 papers. Some of the topics discussed are: sharing design memory;interacting in 3 dimensions;understanding programming;skill development;usability assessment methods;sign language interfaces;auditory interfaces;heuristics in real user interfaces;automated UI generation;visualization;and hypermedia and multimedia.
The proceedings contain 8 papers. The topics discussed include: the software stack data-type as an operating system service;forth in space: interfacing SSBUV, a scientific instrument, to the space shuttle;first step t...
The proceedings contain 8 papers. The topics discussed include: the software stack data-type as an operating system service;forth in space: interfacing SSBUV, a scientific instrument, to the space shuttle;first step to forth engine construction;a forth course for engineers;a C-to-forth compiler;forth, meta Window, and GUI design;forth in mainstream computer science courses;and computer algebra in forth.
In the past five years, there has been an increased emphasis and interest in the object-oriented approack with its benefits of data encapsulation irtfortnation hiding, snd inheritance, for design and development. We a...
详细信息
CORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persiste...
详细信息
ISBN:
(纸本)0897915925
CORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persistent on disk or can reside in main-memory. We describe the architecture and implementation of CORAL. There were two important goals in the design of the CORAL architecture: (1) to integrate the different evaluation strategies in a reasonable fashion, and (2) to allow users to influence the optimization techniques used so as to exploit the full power of the CORAL implementation. A CORAL declarative program can be organized as a collection of interacting modules and this modular structure is the key to satisfying both these goals. The high level module interface allows modules with different evaluation techniques to interact in a transparent fashion. Further, users can optionally tailor the execution of a program by selecting from among a wide range of control choices at the level of each module. CORAL also has an interface with C++, and users can program in a combination of declarative CORAL, and C++ extended with CORAL primitives. A high degree of extensibility is provided by allowing C++ programmers to use the class structure of C++ to enhance the CORAL implementation.
This paper surveys a relatively new practice in Computer Science-programming with the aid of graphics tools. A simple classification scheme of the various tools which support visual programming is introduced and tools...
详细信息
ISBN:
(纸本)0791809439
This paper surveys a relatively new practice in Computer Science-programming with the aid of graphics tools. A simple classification scheme of the various tools which support visual programming is introduced and tools which exemplify some of the aspects of this programming approach are enumerated. Details of their capabilities, shortcomings, and differences are briefly introduced in tabular form. The design and implementation of Jigsaw Pascal, a visual programming system currently being developed by our research group, is discussed in greater detail.
暂无评论