Output details
11 - Computer Science and Informatics
Queen's University Belfast
Article title
A programming model for BSP with partitioned synchronisation
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
23
Issue number
4
First page of article
421
ISSN of journal
0934-5043
Year of publication
2011
URL
-
Number of additional authors
0
Additional information
<11> This paper presents an original logic for reasoning about the correctness of parallel (multi-level BSP) programs which are designed to execute on multi-core architectures. The work presents a novel generalisation of Hoare's axiom of assignment and involves an original treatment of non-determinism (over functions rather than conventional value non-determinism). The work on partitioned synchronisation led to visits and follow-on research by the French BSP group (eg Frederic Gava, Universite Paris-Est et al) and the real-time group in University of York (J. Woodcock et al).
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Performance and Distributed Computing (HPDC)
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
