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

	TOWARD WEBSCALE, RULE-BASED INFERENCE ON THE SEMANTIC WEB VIA DATA PARALLELISM By Jesse Weaver A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute DocID: 1uUG0 - View Document
	Efficient Data Race Detection for Async-Finish Parallelism Raghavan Raman Jisheng Zhao Vivek Sarkar DocID: 1uHwY - View Document
	OpenMP Task Parallelism for Faster Genomic Data Processing Nathan T. Weeks Introduction: The Genomics Big Data Problem Genomic sequencing is being leveraged for a wide range of applications such as helping plant breeders DocID: 1tKze - View Document
	Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs Bin Ren Sriram Krishnamoorthy DocID: 1tJmV - View Document
	Essential Roles of Exploiting Internal Parallelism of Flash Memory based Solid State Drives in High-Speed Data Processing 1 Feng Chen2∗ Rubao Lee1,2 DocID: 1tE73 - View Document