Workshop on NASA workstation technology

RIACS hosted a workshop which was designed to foster communication among those people within NASA working on workstation related technology, to share technology, and to learn about new developments and futures in the larger university and industrial workstation communities. Herein, the workshop is documented along with its conclusions. It was learned that there is both a large amount of commonality of requirements and a wide variation in the modernness of in-use technology among the represented NASA centers

On the Super-computational Background of the Research Centre Jülich

KFA Jülich is one of the largest big-science research centres in Europe; its scientific and engineering activities are ranging from fundamental research to applied science and technology. KFA's Central Institute for Applied Mathematics (ZAM) is running the large-scale computing facilities and network systems at KFA and is providing communication services, general-purpose and supercomputer capacity also for the HLRZ ("Höchstleistungsrechenzentrum") established in 1987 in order to further enhance and promote computational science in Germany. Thus, at KFA - and in particular enforced by ZAM - supercomputing has received high priority since more than ten years. What particle accelerators mean to experimental physics, supercomputers mean to Computational Science and Engineering: Supercomputers are the accelerators of theory

Workshop proceedings: Information Systems for Space Astrophysics in the 21st Century, volume 1

The Astrophysical Information Systems Workshop was one of the three Integrated Technology Planning workshops. Its objectives were to develop an understanding of future mission requirements for information systems, the potential role of technology in meeting these requirements, and the areas in which NASA investment might have the greatest impact. Workshop participants were briefed on the astrophysical mission set with an emphasis on those missions that drive information systems technology, the existing NASA space-science operations infrastructure, and the ongoing and planned NASA information systems technology programs. Program plans and recommendations were prepared in five technical areas: Mission Planning and Operations; Space-Borne Data Processing; Space-to-Earth Communications; Science Data Systems; and Data Analysis, Integration, and Visualization

Using and utilizing an innovative media development tool

This paper describes a novel commercially developed tool for supporting efficiency and effectiveness of a digital film production processes. The tool is described as are two alternative user interfaces for it. Approaches to analyzing the effectiveness of the tool prior to its widespread adoption are described and the conclusions from this analysis are illustrated

Computational Science: A Field of Inquiry for Design Science Research

The digitalization of science has resulted in the development of essential, specialized, devices and software. Computational science, as a branch of science, is specifically identified as an important, potential area for which it would be helpful to apply design science research. This paper examines computational science, identifies its past and ongoing challenges, and suggests that progressing computational science with design science research can serve as an important area of inquiry for continuing design science research

Xavier University Newswire

https://www.exhibit.xavier.edu/student_newspaper/1340/thumbnail.jp

Xavier University Newswire

https://www.exhibit.xavier.edu/student_newspaper/1340/thumbnail.jp

On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described