BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation
- 31 March 2015
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 44 (3) , 574-597
Abstract
No abstract availableKeywords
This publication has 36 references indexed in Scilit:
- An object‐oriented bulk synchronous parallel library for multicore programmingConcurrency and Computation: Practice and Experience, 2011
- A bridging model for multi-core computingJournal of Computer and System Sciences, 2011
- Computational science: ...ErrorNature, 2010
- Asserting and checking determinism for multithreaded programsCommunications of the ACM, 2010
- Formal verification of practical MPI programsACM SIGPLAN Notices, 2009
- The Paderborn University BSP (PUB) libraryParallel Computing, 2003
- Enumerating Large Orbits and Direct CondensationExperimental Mathematics, 2001
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗Parallel Algorithms and Applications, 2000
- A verified model checker for the modal Μ-calculus in Coq1998
- A bridging model for parallel computationCommunications of the ACM, 1990