Predicting the resources that are consumed by a program component is crucial for many
parallel or distributed systems. In this context, the main resources of interest are execution …

Research on high-level parallel programming approaches systematically evaluate the
performance of applications written using these approaches and informally argue that high …

Abstract bsml and multi-ml are functional parallel programming languages “à la ml” based of
the respectively the bsp and multi-bsp bridging models. multi-bsp extends bsp to take into …

The bsml and multi-ml languages have been designed for programming, à la ml, algorithms
of the respectively bsp and multi-bsp bridging models. multi-bsp is an extension of the well …

Bulk-synchronous parallel ML (BSML) is an ML-based language designed to code bulk
synchronous parallel (BSP) algorithms. It allows an estimation of execution time, and avoids …

With the growth in heterogeneity, the current focus of designing parallel performance cost
models is on providing low-level details of parallel execution to the programs to enable …

High performance architectures are increasingly heterogeneous with shared and distributed
memory components, and accelerators like GPUs. Programming such architectures is …

An important application of resource analysis is to improve the performance of parallel and
distributed programs. In this context key resources are time, space and communication …

BSML is a high-level language for programming parallel algorithms. Built upon the OCaml
language, it provides a safe setting for the implementation of BSP algorithms and for …