ompVerify: Polyhedral Analysis for the OpenMP Programmer-Reference-Cited by-同舟云学术

ompVerify: Polyhedral Analysis for the OpenMP Programmer

Published:2011 Issue: Volume: Page:37-53
ISSN:0302-9743
Container-title:OpenMP in the Petascale Era
language:
Short-container-title:

Author:

Basupalli V.,Yuki T.,Rajopadhye S.,Morvan A.,Derrien S.,Quinton P.,Wonnacott D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21487-5_4

Reference29 articles.

1. Petersen, P., Shah, S.: OpenMP support in the Intel® thread checker. OpenMP Shared Memory Parallel Programming, 1–12 (2003)

2. Cownie, J., Moore, S., et al.: Portable OpenMP debugging with totalview. In: Proceedings of the Second European Workshop on OpenMP (EWOMP 2000), Citeseer (2000)

3. Lecture Notes in Computer Science;S.V. Rajopadhye,1986

4. Feautrier, P.: Some efficient solutions to the affine scheduling problem. I. One-dimensional time. International Journal of Parallel Programming 21(5), 313–347 (1992)

5. Feautrier, P.: Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time. International Journal of Parallel Programming 21(6), 389–420 (1992)

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

1. Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems;Computers;2024-03-25

2. Data Race Detection Using Large Language Models;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12

3. An Architecture for a Tri-Programming Model-Based Parallel Hybrid Testing Tool;Applied Sciences;2023-11-01

4. A Survey on Parallelism and Determinism;ACM Computing Surveys;2023-02-02

5. A Parallel Hybrid Testing Technique for Tri-Programming Model-Based Software Systems;Computers, Materials & Continua;2023