Static Validation of Barriers and Worksharing Constructs in OpenMP Applications-Reference-Cited by-同舟云学术

登录注册会员服务联系我们

Static Validation of Barriers and Worksharing Constructs in OpenMP Applications

Published:2014 Issue: Volume: Page:73-86
ISSN:0302-9743
Container-title:Using and Improving OpenMP for Devices, Tasks, and More
language:
Short-container-title:

Author:

Saillard Emmanuelle,Carribault Patrick,Barthou Denis

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-11454-5_6

Reference18 articles.

1. Lecture Notes in Computer Science;V. Basupalli,2011

2. Cytron, R., Ferrante, J., Rosen, B., Wegman, M., Zadeck, F.: Efficiently computing static single assignment form and the control dependence graph. In: ACM TOPLAS, vol. 13(4), pp. 451–490 (1991)

3. Jourdren, H.: HERA: A hydrodynamic AMR Platform for Multi-Physics Simulations. In: Plewa, T., Linde, T., Weirs, V.G. (eds.) Adaptive Mesh Refinement - Theory and Applications, pp. 283–294. Springer (2003)

4. Kim, Y.J., Daeyoung, K., Jun, Y.K.: An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs. In: Lee, R.Y. (ed.) ACIS-ICIS, pp. 409–414. IEEE Computer Societ (2008)

5. Lecture Notes in Computer Science;Y.-J. Kim,2005

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

1. PatEC: Pattern-Based Equivalence Checking;Model Checking Software;2021

2. Verifying Pipeline Implementations in OpenMP;Model Checking Software;2021

3. PARCOACH Extension for a Full-Interprocedural Collectives Verification;2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness);2018-11

4. Supporting Enhanced Exception Handling with OpenMP in Object-Oriented Languages;International Journal of Parallel Programming;2016-11-10

5. OpenMP is Not as Easy as It Appears;2016 49th Hawaii International Conference on System Sciences (HICSS);2016-01

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线，采集、加工和组织学术论文而形成的新型学术文献查询和分析系统，可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容，当前同舟云学术共收录了国内外主流学术期刊6万余种，收集的期刊论文及会议论文总量共计约1.5亿篇，并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询！咨询电话：010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号京ICP备18003416号-3