<--- Back to Details
First PageDocument Content
Computational fluid dynamics / Modeling and simulation / ADCIRC / Computational science / Physical oceanography / Data parallelism / Numerical modeling / Conceptual model / Application software / Applied mathematics
Date: 2017-11-14 22:52:13
Computational fluid dynamics
Modeling and simulation
ADCIRC
Computational science
Physical oceanography
Data parallelism
Numerical modeling
Conceptual model
Application software
Applied mathematics

Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

Add to Reading List

Source URL: correctness-workshop.github.io

Download Document from Source Website

File Size: 3,45 MB

Share Document on Facebook

Similar Documents

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

DocID: 1xTIw - View Document

Modeling and Simulation of Differential Equations in Scicos

Modeling and Simulation of Differential Equations in Scicos

DocID: 1vqdY - View Document

Hampton Roads Sea Level Rise/Flooding Adaptation Forum AGENDA  Megaprojects – Protective Structures for Hampton Roads May 22, 2015  Virginia Modeling and Simulation Center

Hampton Roads Sea Level Rise/Flooding Adaptation Forum AGENDA Megaprojects – Protective Structures for Hampton Roads May 22, 2015 Virginia Modeling and Simulation Center

DocID: 1vj5W - View Document

2017 NTSA Modeling & Simulation Awards and Governor’s Award The National Training and Simulation Association (NTSA) presented its annual Modeling & Simulation Awards, as well as the 2017 Governor’s Award for Lifetime

2017 NTSA Modeling & Simulation Awards and Governor’s Award The National Training and Simulation Association (NTSA) presented its annual Modeling & Simulation Awards, as well as the 2017 Governor’s Award for Lifetime

DocID: 1vhSj - View Document

Year of CfP: 2008 Project NoProject title: Towards a federative research on modeling and simulation platforms Units managing the project: GREEN, Renewable resources and environment management (CIRAD), and LISAH

Year of CfP: 2008 Project NoProject title: Towards a federative research on modeling and simulation platforms Units managing the project: GREEN, Renewable resources and environment management (CIRAD), and LISAH

DocID: 1vdtR - View Document