Structured parallel programs ought to be conceived as two separate and complementary
entities: computation, which expresses the calculations in a procedural manner, and …

A description is given of SIS, an interactive tool for synthesis and optimization of sequential
circuits. Given a state transition table or a logic-level description of a sequential circuit, SIS …

Parallel programming of MIMD machines with distributed memory is typically based on
standard message passing libraries such as MPI [1], which leads to platform independent …

This paper argues that algorithmic skeletons are a suitable programming model for multi-
core architectures. The high-level abstractions offered by algorithmic skeletons provide a …

We present Quaff, a new skeleton-based parallel programming library. Its main originality is
to rely on C++ template meta-programming techniques to achieve high efficiency. In …

With the increasingly serious energy crisis and environmental pollution, the short-term
economic environmental hydrothermal scheduling (SEEHTS) problem is becoming more …

This book provides the users with quick and easy data acquisition, processing, storage and
product generation services. It describes the entire life cycle of remote sensing data and …

Algorithmic skeletons encapsulate typical parallel programming patterns such that they can
be easily applied by users. Existing skeleton libraries usually work on distributed memory …

Semantics of skeleton-based parallel programming languages comes usually as two distinct
items: a functional semantics, modeling the function computed by the skeleton program, and …

Programming models based on algorithmic skeletons promise to raise the level of
abstraction perceived by programmers when implementing parallel applications, while …