9 search results - page 1 / 2 » Formal Semantics Applied to the Implementation of a Skeleton... |
PARCO
2007
14 years 12 days ago
2007
FMICS
2007
Springer
14 years 5 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
WOTUG
2008
14 years 12 days ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
CCECE
2006
IEEE
14 years 5 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...