Systematic Development of Correct Bulk Synchronous Parallel Programs.
https://doi.org/10.1109/PDCAT.2010.86
@inproceedings{DBLP:conf/pdcat/GesbertHLMT10,
author = {Louis Gesbert and
Zhenjiang Hu and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Kiminori Matsuzaki and
Julien Tesson},
title = {Systematic Development of Correct Bulk Synchronous Parallel Programs},
booktitle = {2010 International Conference on Parallel and Distributed Computing,
Applications and Technologies, {PDCAT} 2010, Wuhan, China, 8-11 December,
2010},
pages = {334--340},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PDCAT.2010.86},
doi = {10.1109/PDCAT.2010.86},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/GesbertHLMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签