461 search results - page 54 / 93 » Verifying parallel programs with dynamic communication struc... |
100
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
147
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
A design pattern is a mechanism for encapsulating the knowledge of experienced designers into a re-usable artifact. Parallel design patterns reflect commonly occurring parallel co...
214
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
127
Voted
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...
100
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Clusters of Symmetric MultiProcessing (SMP) nodes with multi-core Chip-Multiprocessors (CMP), also known as SMP-CMP clusters, are becoming ubiquitous today. For Message Passing int...