<--- 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

Mathematics / Metaphysics / Fixed point / Game theory / Abstract interpretation / Sequence / Structure / Dynamical system / Model theory / Series / KnasterTarski theorem / operator

Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France

DocID: 1xT7e - View Document

Numerical Issues and Influences in the Design of Algebraic Modeling Languages for Optimization Robert Fourer Northwestern University David M. Gay AMPL Optimization LLC

DocID: 1vl9g - View Document

Numerical Modeling for Tidal Hydrokinetic Turbine Siting Kristen Thyng and Jim Riley Department of Mechanical Engineering, Northwest National Marine Renewable Energy Center (NNMREC), University of Washington

DocID: 1v9eu - View Document

POLITECNICO DI TORINO Numerical analysis of blasting: Explosion modeling, FEM code validation and application in explosive metal forming. Giacomo Bolla INTRODUCTION

DocID: 1v4sV - View Document

窓ガラスの音響透過損失に関する数値解析 -板振動場における周辺支持部のモデル化について- Numerical analysis of sound transmission loss of glass pane: Study on modeling of the edg

DocID: 1uFhe - View Document