Large scale scientific computing necessitates finding a way to match the high level
understanding of how a problem can be solved with the details of its computation in a …

Abstract High Performance Computing is not only concerned with the performance of a
program on a very fast processor, but also high performance on many fast processors …

Numerous scientific-computational domains make use of array data. The core computing of
the numerical methods and the algorithms involved is related to multi-dimensional array …

Embedded software processing requirements will exceed 1 trillion operations per second in
the 2005–2010 time frame. Consequently, efficient use of processors and memory, at all …

Abstract The Fast Fourier Transform (FFT) was named one of the Top Ten algorithms of the
20th century, and continues to be a focus of current research. A problem with currently used …

With society becoming more and more reliant on software, the importance of software quality
is becoming ever more clear. Poor quality software is estimated to have cost $2.41 trillion to …

V-cal is a calculus designed to support the compilation of data parallel languages that
allows to describe program transformations and optimizations as semantics preserving …

We describe a methodology for designing efficient parallel and distributed scientific
software. This methodology utilizes sequences of mechanizable algebra--based optimizing …

High Performance Computing is not only concerned with the performance of a program on a
very fast processor, but also high performance on many fast processors perhaps of different …

Embedded processing requirements will exceed 10 trillion operations per second in the
2005-2010 time frame. Consequently, efficient use of processors and memory, at all levels …