arXiv subjects

Rafael Dueire Lins

Publications and source records attributed to Rafael Dueire Lins.

3 recordsLinked to original sources

arXiv2012

Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets

In the last fifteen years, the high performance computing (HPC) community has claimed for parallel programming environments that reconciles generality, higher level of abstraction, portability, and efficiency for distributed-memory parallel computing platforms. The Hash component model appears as an alternative for addressing HPC community claims for fitting these requirements. This paper presents foundations that will enable a parallel programming environment based on the Hash model to address the problems of "debugging", performance evaluation and verification of formal properties of parallel program by means of a powerful, simple, and widely adopted formalism: Petri nets.

cs.DC↗

arXiv2012

Haskell_#: Coordinating Functional Processes

This paper presents Haskell#, a coordination language targeted at the efficient implementation of parallel scientific applications on loosely coupled parallel architectures, using the functional language Haskell. Examples of applications, their implementation details and performance figures are presented.

cs.DC↗

arXiv2009

A Type System for Parallel Components

The # component model was proposed to improve the practice of parallel programming. This paper introduces a type system for # programming systems, aiming to lift the abstraction and safety of programming for parallel computing architectures by introducing a notion of abstract component based on universal and existential bounded quantification. Issues about the implementation of such type system in HPE, a # programming system, are also discussed.

cs.PL↗