Verifying Concurrency in an Adaptive Ocean Circulation Model-Reference-Cited by-同舟云学术

Verifying Concurrency in an Adaptive Ocean Circulation Model

Published:2017-11-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the First International Workshop on Software Correctness for HPC Applications
language:
Short-container-title:

Author:

Altuntas Alper¹,Baugh John²

Affiliation:

1. National Center for Atmospheric Research, Boulder, CO

2. North Carolina State University, Raleigh, NC

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3145344.3145346

Reference18 articles.

1. Alper Altuntas. 2016. An Adaptive Multi-Analysis Technique and Software Architecture for Ocean Circulation Models. Ph.D. Dissertation. North Carolina State University. Alper Altuntas. 2016. An Adaptive Multi-Analysis Technique and Software Architecture for Ocean Circulation Models. Ph.D. Dissertation. North Carolina State University.

2. Alper Altuntas. 2016. OpenHDM. https://github.com/alperaltuntas/OpenHDM. (2016). Alper Altuntas. 2016. OpenHDM. https://github.com/alperaltuntas/OpenHDM. (2016).

3. Alper Altuntas. 2017. Promela Models of ASM Phasing Mechanism. https://github.com/alperaltuntas/verifyPhasing. (2017). Alper Altuntas. 2017. Promela Models of ASM Phasing Mechanism. https://github.com/alperaltuntas/verifyPhasing. (2017).

4. Adaptive subdomain modeling: A multi-analysis technique for ocean circulation models

5. Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy

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

1. State-Based Formal Methods in Scientific Computation;Lecture Notes in Computer Science;2018