share record
persistent URL:
Nick Leaf , Venkatram Vishwanath , Joseph A. Insley , Mark Hereld , Michael E. Papka , Kwan-Liu Ma : Efficient parallel volume rendering of large-scale adaptive mesh refinement data. LDAV 2013 : 35-42 2012 export record
dblp key:
journals/procedia/ZhaoS12 share record
persistent URL:
Yunjie Zhao , Adel W. Sadek : Large-scale Agent-based Traffic Micro-simulation: Experiences with Model Refinement, Calibration, Validation and Application. ANT/MobiWIS 2012 : 815-820 2010 share record
persistent URL:
Xueliang Liu , Benoit Huet : Automatic Concept Detector Refinement for Large-Scale Video Semantic Annotation. ICSC 2010 : 97-100 2009 share record
persistent URL:
Andreas Maunz , Christoph Helma , Stefan Kramer : Large-scale graph mining using backbone refinement classes. KDD 2009 : 617-626 2008 export record
dblp key:
journals/tvlsi/ManoliosS08 share record
persistent URL:
Panagiotis Manolios , Sudarshan K. Srinivasan : A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification. IEEE Trans. Very Large Scale Integr. Syst. 16 (4 ) : 353-364 (2008 )share record
persistent URL:
Xiaojuan Luo , Mark S. Shephard , Lie-Quan Lee , Cho Ng , Lixin Ge : Tracking Adaptive Moving Mesh Refinements in 3D Curved Domains for Large-Scale Higher Order Finite Element Simulations. IMR 2008 : 585-601 2007 share record
persistent URL:
Inna Galperin , Efim A. Galperin : Instability and refinement of models in long term planning of large scale projects. Math. Comput. Model. 45 (11-12 ) : 1342-1349 (2007 )2006 share record
persistent URL:
Chao Wang , Gary D. Hachtel , Fabio Somenzi : Abstraction Refinement for Large Scale Model Checking. Series on Integrated Circuits and Systems , Springer 2006 , ISBN 978-0-387-34155-2 , pp. 1-179share record
persistent URL:
Jochen Fröhlich , Jordan A. Denev , Christof Hinterberger , Henning Bockhorn : On the Impact of Tangential Grid Refinement on Subgrid-Scale Modelling in Large Eddy Simulation. Numerical Methods and Applications 2006 : 550-557 2003 share record
persistent URL:
Anton Antonov , Krassimir Georgiev , Emilia Komsalova , Zahari Zlatev : Comparison of Two Local Refinement Methods for Large Scale Air Pollution Simulations. LSSC 2003 : 287-294