The problem of producing portable high-performance computing (HPC) software that is
cheap to develop and maintain is called the P3 (performance, portability, productivity) …

We present the ins and outs of the purely functional, data parallel programming language
SaC (Single Assignment C). SaC defines state-and side-effect-free semantics on top of a …

In embedded electronic system applications being developed today, complex datasets are
required to be obtained, processed, and communicated. These can be from various sources …

The design of skeletons for expressing concurrent computations usually faces a conflict
between software engineering demands and performance issues. Whereas the former …

Most implementations of machine learning algorithms are based on special-purpose
frameworks such as TensorFlow or PyTorch. While these frameworks are convenient to use …

Multi-dimensional array manipulation constitutes a core component of numerous numerical
methods, eg finite difference solvers of Partial Differential Equations (PDEs). The efficiency …

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 …

We present a systematic, algebraically based, design methodology for efficient
implementation of computer programs optimized over multiple levels of the …

The techniques of Conformal Computing are introduced with an application to the Fast
Fourier Transform. Conformal Computing is a design methodology, based on a rigorous …