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

Theoretical computer science / Formal methods / Computing / Mathematics / Logic in computer science / Graph rewriting / Model checking / Algorithm / Formal verification / Abstraction / Generic programming / Finite-state machine

An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the

DocID: 1xUvv - View Document

NGSS Example Bundles High School Conceptual Progressions Model Course 1 Narrative and Rationale: This model course map is the first in a three-year course sequence that uses a customized version of the High School Conce

DocID: 1v1j3 - View Document

FEIIC International Journal of Engineering and Technology, Vol. 13, No.1, 2016, ppINVESTIGATING AN INTEGRATED MULTIMEDIA PRESENTATION CONCEPTUAL MODEL IN PRE-SERVICE TEACHERS EDUCATION

DocID: 1uVBB - View Document

A Data Warehouse Conceptual Data Model Enrico Franconi and Anand Kamble† Faculty of Computer Science, Free University of Bozen-Bolzano, Italy , Abstract In this short paper we w

DocID: 1ureh - View Document

The Process-oriented Event Model (PoEM) – A Conceptual Model for Industrial Events Om Prasad Patri Vikrambhai S. Sorathia

DocID: 1t0BM - View Document