Microsoft PowerPoint - IPDPS_AMRinTitanium.ppt

Source URL: titanium.cs.berkeley.edu

• Adaptive mesh refinement
• International Parallel and Distributed Processing Symposium
• Phillip Colella
• Fortran
• AMR
• Titanium

#$ Refinement and Evaluation of the CARE for Teachers Program Patricia A. Jenningsab, Karin E. Snowbergab, Michael A. Cocciaa & Mark T. Greenberga

Source URL: www.care4teachers.org

Using Redundant Constraints for Refinement Eugene Asarin1 , Thao Dang2 , Oded Maler2 , and Romain Testylier2 1 LIAFA, CNRS and Universit´e Paris Diderot

Source URL: www-verimag.imag.fr

˝ CONJECTURE A REFINEMENT OF THE CAMERON-ERDOS ´ NOGA ALON, JOZSEF BALOGH, ROBERT MORRIS, AND WOJCIECH SAMOTIJ Abstract. In this paper we study sum-free subsets of the set {1, . . . , n}, that is, subsets of

Source URL: w3.impa.br

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Semantics
• Heap
• Predicate
• Immutable object
• Separation logic
• First-order logic
• Control
• FO

Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: www.cs.drexel.edu

Computational Fluid Dynamics Build 96 (released July 30, 2015)  New feature: New data files structure based on HDF5 provides a more compact format (1 frame = 1 file)  New feature: Refinement based on total pressu

Source URL: www.xflowcfd.com

Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: www.cs.drexel.edu

Unfolding Orthogrids with Constant Refinement∗ Mirela Damian† Erik Demaine‡ genus zero composed of extrusions of simple polygons (which we call slabs) stacked together so that

Source URL: www-cs.engr.ccny.cuny.edu