Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

First Page		Document Content
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

	SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, DocID: 1xVSx - View Document
	Performance Evaluation and Optimization Models for Processing Networks with Queue-Dependent Production Quantities by John S. Hollywood S.B. Applied Mathematics DocID: 1xVdz - View Document
	Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University DocID: 1xUJf - View Document
	Mathematics_BS_Applied.pdf DocID: 1xTYO - View Document
	A BOOTSTRAP INTERVAL ESTIMATOR FOR BAYES’ CLASSIFICATION ERROR Chad M. Hawes and Carey E. Priebe Johns Hopkins University Department of Applied Mathematics and Statistics Baltimore, MDABSTRACT DocID: 1vrMQ - View Document