Formal derivation and extraction of a parallel program for the all nearest smaller values problem-Reference-Cited by-同舟云学术

Formal derivation and extraction of a parallel program for the all nearest smaller values problem

Published:2014-03-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th Annual ACM Symposium on Applied Computing
language:
Short-container-title:

Author:

Loulergue Frédéric¹,Robillard Simon¹,Tesson Julien²,Legaux Joeffrey³,Hu Zhenjiang⁴

Affiliation:

1. Univ Orléans, Orléans, France

2. Université Paris Est, LACL, UPEC, France

3. Univ Orléans, LIFO EA, Orléans, France

4. National Institute of Informatics, Tokyo, Japan

Funder

Conseil General du Loiret

Japan Science and Technology Agency

Agence Nationale de la Recherche

Publisher

ACM

Link

Reference26 articles.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The All Nearest Smaller Values Problem Revisited in Practice, Parallel and External Memory;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17

3. Verified Scalable Parallel Computing with Why3;Software Engineering and Formal Methods;2023