We present an overview of our interprocedural analysis system, which applies the program analysis required for parallelization across procedure boundaries. We discuss the issues we addressed to eeciently obtain precise results in the interprocedural setting. We present the analysis required for parallelization, illustrated with an excerpt from a Fortran benchmark program. By integrating a compr...

Jade is a data-oriented language for parallelizing programs written in a serial, imperative programming language such as C, FORTRAN, or C++. A Jade programmer simply augments the program with assertions specifying how the program accesses data. The Jade implementation dynamically interprets these assertions to execute the program concurrently while enforcing the program's data dependence constr...

Miprac is a parallelizing C, Lisp and Fortran compiler. We present its workings by following a C program as it progresses through the modules of the compiler. Miprac makes use of a simple, operational intermediate form, called MIL. Dependence analysis and memory management are performed by a whole-program abstract interpretation of MIL. We present the intermediate form, and illustrate the analy...

nThis paper transmits a FORTRAN-IV coding of the fuzzy c-means (FCM) clustering program. The FCM program is applicable to a wide variety of geostatistical data analysis problems. This program generates fuzzy partitions and prototypes for any set of numerical data. These partitions are useful for corroborating known substructures or suggesting substructure in unexplored data. The clustering crit...

Since the development of FORTRAN fifteen years ago we have observed a steady growth in the development of that part of computer science that deals with programming. In particular, there has been an outstanding development in programming languages: we can say more—and in a more natural fashion—to the computer and its attendant service programs to get our tasks accomplished. Our programming langu...

Scientific equations embedded in computer programs must obey the rules for dimensional consistency. Many efforts have been made to enforce these rules within computer programs. Some methods require the user to modify the program by adding dimensional information either as extensions to the programming language or else by using existing language facilities. The large amount of effort required to...

We present SELEN, a Fortran 90 computer program for solving the “sea–level equation”, the law that governs the sea–level variations associated with the melting of the Pleistocene ice–sheets. As shown here by a number of examples, SELEN also allows to study a suite of geophysical processes accompanying the mass redistributions associated with glacial–isostatic adjustment, such as vertical deform...

1 Introduction High performance architectures are now widely available. They are characterized by the use of fast microprocessors and they are moderately parallel with a shared memory (for instance the SGI Power Challenge). Reaching good performance on these machines requires to make good usage of the parallelism and of cache memories. Porting Fortran codes to these machines requires generally ...

ming language for writing parallel programs. It is based on the Fortran 90 language, with extensions that enable the programmer to specify how array operations can be divided among multiple processors for increased performance. In HPF, the program specifies only the pattern in which the data is divided among the processors; the compiler automates the low-level details of synchronization and com...