Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
https://doi.org/10.1145/2554850.2554912
@inproceedings{DBLP:conf/sac/LoulergueRTLH14,
author = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Simon Robillard and
Julien Tesson and
Joeffrey Legaux and
Zhenjiang Hu},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Formal derivation and extraction of a parallel program for the all
nearest smaller values problem},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1577--1584},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2554912},
doi = {10.1145/2554850.2554912},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/LoulergueRTLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签