1 citations · 1 across the 3 of their papers we have counts for
3 papers
Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets
Francisco Heron de Carvalho-Junior, Rafael Dueire Lins
In the last fifteen years, the high performance computing (HPC) community has claimed for parallel programming environments that reconciles generality, higher level of abstraction,…
Haskell_#: Coordinating Functional Processes
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
This paper presents Haskell#, a coordination language targeted at the efficient implementation of parallel scientific applications on loosely coupled parallel architectures, using…
A Type System for Parallel Components
Francisco Heron de Carvalho-Junior, Rafael Dueire Lins
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 an…