refereed

Parallel signal processing with S-Net

We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-processing functions asynchronously. We further argue that the level of …

An adaptive compilation framework for generic data-parallel array programming

Generic array programming abstracts from structural properties of arrays, such as rank (number of axes/dimensions) and shape (number of element along each axis/dimension). This allows for abstract program specifications and, as such, is desirable …

An operational semantics for S-Net

We present the formal operational semantics of S-NET, a coordination language and component technology based on stream processing. S-NET turns conventional (sequential) functions/procedures into asynchronous components interacting with each other …

Asynchronous stream processing with S-Net

We present the rationale and design of S-Net, a coordination language for asynchronous stream processing. The language achieves a near-complete separation between the application code, written in any conventional programming language, and the …

Cluster computing as an assembly process: coordination with S-Net

This poster will present a coordination language for distributed computing and will discuss its application to cluster computing. It will introduce a programming technique of cluster computing whereby application components are completely dissociated …

Distributed S-Net: High-level message passing without the hassle

S-NET is a declarative coordination language and component technology primarily aimed at modern multi-core/many-core chip architectures. It builds on the concept of stream processing to structure dynamically evolving networks of communicating …

Hardware virtualisation for heterogeneous many-core systems

The multi-core/many-core revolution has brought up a hardly precedented diversity in computer architecture. While parallelism id the common property, granularity of concurrent processing resources may easily span multiple orders of magnitude. This …

Message driven programming with S-Net: methodology and performance

Development and implementation of the coordination language S-NET has been reported previously. In this paper we apply the S-NET design methodology to a computer graphics problem. We demonstrate (i) how a complete separation of concerns can be …

S-Net for multi-memory multicores

S-Net is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream processing to structure dynamically evolving networks of communicating …

S-Net: High-level coordination for the many-core era

S-Net is a coordination language that aims at reconciling the legacy world of sequential software and programming techniques with the hardware reality in the many-core era. This is achieved through a near-complete separation of conventional …