Conformal Computing: Algebraically connecting the hardware/software boundary using a uniform approach to high-performance computation for software and hardware applications SPIN Springer's internal… (More)

In this work, we study and prototype compiler optimizations for array indexing operations. The optimizations can be proven theoretically correct by the Psi Calculus, developed by Mullin [5], and… (More)

2008 IEEE International Symposium on Parallel and…

2008

Optimal multiple sequence alignment by dynamic programming, like many highly dimensional scientific computing problems, has failed to benefit from the improvements in computing performance brought… (More)

We describe a methodology for designing efficient parallel and distributed scientific software. This methodology utilizes sequences of mechanizable algebra–based optimizing transformations. In this… (More)

“Embedded software processing requirements for DSP, especially for radar, are expected to exceed 1×1012 operations per second within five years [3].” Therefore, the efficient use of memory at all… (More)

To take advantage of the various High Performance Computer (HPC) architectures for multithreaded and distributed computing, this paper parallelizes the dynamic programming algorithm for Multiple… (More)