This report shows a strategy for program translation from Fortran to Fortress, and points out some issues about the translation, through an example translation of a practical Fortran program into a Fortress program, which implements the BiCGSTAB method.

Fortress is a support system for designing and implementing fault-tolerant distributed real-time systems that use commercial of the shelf (COTS) components. The main problem we address in Fortress is that services cannot always provide their standard properties due the possibility of missed deadlines, dropped messages and process crashes. Fortress allows clients to detect when a service cannot ...

2 This chapter begins with a memory experiment, and you the readers are the participants! Please read the brief story below and try to memorize it. There will be recall questions asked later. (You may recognize the story, as it is quoted verbatim from an already published work [Gick & Holyoak, 1983].) The General A small country was ruled from a strong fortress by a dictator. The fortress was s...

This paper presents the architecture of a secure group communication system with the fortress model of trust, where the participants of the group equally trust one another. We consider that only a small part of the system, a component called the Trusted Timely Computing Base, has to be entirely trusted. All other components can be corrupted. The overall system will tolerate a certain number of ...

This is a final report of our joint research project " Development of a library based on skeletal parallel programming in Fortress " between Programing Sun Microsystems and University of Tokyo agreed and concluded the collaborative research agreement of this project, with the following particulars. Research Purpose To provide programmers with a high-level parallel programming interface in Fortr...

This report proposes a new library on Fortress to deal with computation with complex dependency such as prefix sums, which cannot be efficiently dealt with by simple comprehensions or generator-reduction patterns. The library provides a set of generator-of-generators that abstract generation of nested data structures, for allowing users to write their programs in an easy and uniform way. The li...

In this paper we present a macro system for the Fortress programming language. Fortress is a new programming language designed for scientific and high-performance computing. Features include: implicit parallelism, transactions, and concrete syntax that emulates mathematical notation. Fortress is intended to grow over time to accommodate the changing needs of its users. Our goal is to design and...