首页> 外文OA文献 >Complete formal specification of the OpenMP memory model

【2h】

Complete formal specification of the OpenMP memory model

机译：完整的Openmp内存模型的正式规范

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Greg Bronevetsky; Bronis R. De Supinski;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Complete Formal Specification of the OpenMP Memory Model [J] . Greg Bronevetsky, Bronis R. de Supinski International journal of parallel programming . 2007,第4期

机译：OpenMP内存模型的完整正式规范
2. A comparison of the shared-memory parallel programming models OpenMP, OpenACC and Kokkos in the context of implicit solvers for high-order FEM [J] . Eichstadt Jan, Vymazal Martin, Moxey David, Computer physics communications . 2020,第期

机译：在高阶FEM隐式求解器上下文中的共享内存并行编程模型OpenMP，OPENACC和Kokkos的比较
3. A meta-model approach for formal specification and consistent management of multi-LOD building models [J] . Abualdenien Jimmy, Borrmann Andre Advanced engineering informatics . 2019,第APRa期

机译：用于多LOD建筑物模型的正式规范和一致管理的元模型方法
4. Formal Specification of the OpenMP Memory Model [C] . Greg Bronevetsky, Bronis R. de Supinski International Workshop on OpenMP Shared Memory Parallel Programming . 2008

机译：OpenMP内存模型的正式规范
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes [O] . Abibatou Mbodj, E. Hilary Gustafson, Lucia Ciglar, 2016

机译：定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
7. A Unified Formal Specification and Analysis of the New Java Memory Models [O] . Varsha Awhad, Charles Wallace 2002

机译：新Java内存模型的统一形式规范和分析
8. Formal Specification of the OpenMP Memory Model [R] . Bronevetsky, G. 2006

机译：Openmp内存模型的正式规范

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号