Search results for "Robert M. Kirby"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tobias Martin, Elaine Cohen, Mike Kirby	Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations.	IEEE Trans. Vis. Comput. Graph.	2012	DBLP DOI BibTeX RDF
1	Robert M. Kirby, Spencer J. Sherwin, Bernardo Cockburn	To CG or to HDG: A Comparative Study.	J. Sci. Comput.	2012	DBLP DOI BibTeX RDF
1	Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby	Efficient Implementation of Smoothness-Increasing Accuracy-Conserving (SIAC) Filters for Discontinuous Galerkin Solutions.	J. Sci. Comput.	2012	DBLP DOI BibTeX RDF
1	Tiago Etiene, Luis Gustavo Nonato, Carlos Eduardo Scheidegger, Julien Tierny, Thomas J. Peters, Valerio Pascucci, Robert M. Kirby, Cláudio T. Silva	Topology Verification for Isosurface Extraction.	IEEE Trans. Vis. Comput. Graph.	2012	DBLP DOI BibTeX RDF
1	Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
1	Hanieh Mirzaee, Liangyue Ji, Jennifer K. Ryan, Robert M. Kirby	Smoothness-Increasing Accuracy-Conserving (SIAC) Postprocessing for Discontinuous Galerkin Solutions over Structured Triangular Meshes.	SIAM J. Numerical Analysis	2011	DBLP DOI BibTeX RDF
1	Sarah E. Geneser, Jacob Hinkle, Robert M. Kirby, B. Wang, Bill Salter, Sarang C. Joshi	Quantifying variability in radiation dose due to respiratory-induced tumor motion.	Medical Image Analysis	2011	DBLP DOI BibTeX RDF
1	Samuel A. Isaacson, Robert M. Kirby	Numerical solution of linear Volterra integral equations of the second kind with sharp gradients.	J. Computational Applied Mathematics	2011	DBLP DOI BibTeX RDF
1	Zhisong Fu, Won-Ki Jeong, Yongsheng Pan, Robert M. Kirby, Ross T. Whitaker	A Fast Iterative Method for Solving the Eikonal Equation on Triangulated Surfaces.	SIAM J. Scientific Computing	2011	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky	Formal analysis of MPI-based parallel programs.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Blake Nelson, Robert M. Kirby, Robert Haimes	GPU-Based Interactive Cut-Surface Extraction From High-Order Finite Element Fields.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF
1	Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky	Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.	PACT	2011	DBLP DOI BibTeX RDF
1	Peter E. J. Vos, Spencer J. Sherwin, Robert M. Kirby	From h to p efficiently: Implementing finite and spectral/hp element methods to achieve optimal performance for low- and high-order discretisations.	J. Comput. Physics	2010	DBLP DOI BibTeX RDF
1	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp	Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking.	Softw., Pract. Exper.	2010	DBLP DOI BibTeX RDF
1	Hanieh Mirzaee, Jennifer K. Ryan, Robert M. Kirby	Quantification of Errors Introduced in the Numerical Approximation and Implementation of Smoothness-Increasing Accuracy Conserving (SIAC) Filtering of Discontinuous Galerkin (DG) Fields.	J. Sci. Comput.	2010	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed dynamic partial order reduction.	STTT	2010	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby	Top ten ways to make formal methods for HPC practical.	FoSER	2010	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby	Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs.	EuroMPI	2010	DBLP DOI BibTeX RDF
1	Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Dan Quinlan	A symbolic verifier for CUDA programs.	PPOPP	2010	DBLP DOI BibTeX RDF	spmd, formal verification, symbolic analysis, cuda
1	David Walfisch, Jennifer K. Ryan, Robert M. Kirby, Robert Haimes	One-Sided Smoothness-Increasing Accuracy-Conserving Filtering for Enhanced Streamline Integration through Discontinuous Fields.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Accuracy enhancement, Streamline integration, Adaptive error control, Filtering, Discontinuous Galerkin, High-order methods
1	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and distributed model checking in Eddy.	STTT	2009	DBLP DOI BibTeX RDF
1	Tiago Etiene, Carlos Eduardo Scheidegger, Luis Gustavo Nonato, Robert M. Kirby, Cláudio T. Silva	Verifiable Visualization for Isosurface Extraction.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
1	Sarah E. Geneser, Robert M. Kirby, Brian Wang, Bill Salter, Sarang C. Joshi	Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy.	IPMI	2009	DBLP DOI BibTeX RDF	stochastic dose deposition modeling, respiratory-induced organ motion, stereotactic body radiation therapy, stochastic collocation, polynomial chaos
1	Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby	Reduced Execution Semantics of MPI: From Theory to Practice.	FM	2009	DBLP DOI BibTeX RDF
1	Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism.	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract).	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby	Practical Formal Verification of MPI and Thread Programs.	PVM/MPI	2009	DBLP DOI BibTeX RDF
1	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Formal verification of practical MPI programs.	PPOPP	2009	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
1	Tobias Martin, Elaine Cohen, Mike Kirby	Volumetric parameterization and trivariate b-spline fitting using harmonic functions.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	model acquisition for simulation, trivariate b-spline modeling and generation, volumetric parameterization
1	Robert M. Kirby, Cláudio T. Silva	The Need for Verifiable Visualization.	IEEE Computer Graphics and Applications	2008	DBLP DOI BibTeX RDF
1	Jan S. Hesthaven, Robert M. Kirby	Filtering in Legendre spectral methods.	Math. Comput.	2008	DBLP DOI BibTeX RDF
1	Tobias Preusser, Hanno Scharr, Kai Krajsek, Robert M. Kirby	Building Blocks for Computer Vision with Stochastic Partial Differential Equations.	International Journal of Computer Vision	2008	DBLP DOI BibTeX RDF	Stochastic partial differential equations, Stochastic Galerkin method, Stochastic finite element method, Image processing, Error propagation, Random fields, Polynomial chaos
1	Michael Steffen, Sean Curtis, Robert M. Kirby, Jennifer K. Ryan	Investigation of Smoothness-Increasing Accuracy-Conserving Filters for Improving Streamline Integration through Discontinuous Fields.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
1	Miriah D. Meyer, Ross T. Whitaker, Robert M. Kirby, Christian Ledergerber, Hanspeter Pfister	Particle-based Sampling and Meshing of Surfaces in Multimaterial Volumes.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Scheduling considerations for building dynamic verification tools for MPI.	PADTAD	2008	DBLP DOI BibTeX RDF	model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification
1	Ganesh Gopalakrishnan, Robert M. Kirby	Runtime verification methods for MPI.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Efficient Stateful Dynamic Partial Order Reduction.	SPIN	2008	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.	CAV	2008	DBLP DOI BibTeX RDF
1	Tim Kröger, Inga Altrogge, Olaf Konrad, Robert M. Kirby, Tobias Preusser	Estimation of Probability Density Functions for Parameter Sensitivity Analyses.	SimVis	2008	DBLP BibTeX RDF
1	Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp	A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.	PVM/MPI	2008	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp	Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.	PVM/MPI	2008	DBLP DOI BibTeX RDF
1	Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Formal specification of the MPI-2.0 standard in TLA+.	PPOPP	2008	DBLP DOI BibTeX RDF	model checking, formal specification, MPI, TLA+
1	Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby	ISP: a tool for model checking MPI programs.	PPOPP	2008	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, formal verification, mpi
1	C. W. Hamman, Robert M. Kirby, Martin Berzins	Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations.	Concurrency and Computation: Practice and Experience	2007	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby	Formal Methods for MPI Programs.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Sean Curtis, Robert M. Kirby, Jennifer K. Ryan, Chi-Wang Shu	Postprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes.	SIAM J. Scientific Computing	2007	DBLP DOI BibTeX RDF
1	Miriah D. Meyer, Blake Nelson, Robert M. Kirby, Ross T. Whitaker	Particle Systems for Efficient and Accurate High-Order Finite Element Visualization.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	isosurface visualization, Particle systems, high-order finite elements
1	Miriah D. Meyer, Robert M. Kirby, Ross T. Whitaker	Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Delaunay triangulation, particle systems, Isosurface extraction
1	Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby	Semantics driven dynamic partial-order reduction of MPI-based parallel programs.	PADTAD	2007	DBLP DOI BibTeX RDF	concurrent program semantics, transition independence, model checking, MPI, partial-order reduction
1	Ganesh Gopalakrishnan, Robert M. Kirby	Formal Analysis for Debugging and Performance Optimization of MPI.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	An Approach to Formalization and Analysis of Message Passing Libraries.	FMICS	2007	DBLP DOI BibTeX RDF
1	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.	SPIN	2007	DBLP DOI BibTeX RDF
1	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp	Practical Model-Checking Method for Verifying Correctness of MPI Programs.	PVM/MPI	2007	DBLP DOI BibTeX RDF
1	Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby	Gauss: A Framework for Verifying Scientific Computing Software.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Allen R. Sanderson, Robert M. Kirby, Chris R. Johnson, Lingfa Yang	Advanced Reaction-Diffusion Models for Texture Synthesis.	J. Graphics Tools	2006	DBLP BibTeX RDF
1	Blake Nelson, Robert M. Kirby	Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Spectral/hp elements, isosurface rendering, fluid flow visualization, error budget, ray-tracing, high-order finite elements
1	Robert M. Kirby, Cullen R. Johnson, Martin Berzins	Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby	Toward reliable and efficient message passing software through formal analysis.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan	Parallel and Distributed Model Checking in Eddy.	SPIN	2006	DBLP DOI BibTeX RDF
1	Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp	Formal Verification of Programs That Use MPI One-Sided Communication.	PVM/MPI	2006	DBLP DOI BibTeX RDF
1	David E. Breen, Mike Kirby, Aaron E. Lefohn, Ken Museth, Tobias Preusser, Guillermo Sapiro, Ross T. Whitaker	Level Set and PDE Methods for Visualization.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
1	Robert M. Kirby, George E. Karniadakis	Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	spectral/hp elements, parabolic flux choices, stabilization, Discontinuous Galerkin methods
1	David H. Laidlaw, Robert M. Kirby, Cullen D. Jackson, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr	Comparing 2D Vector Field Visualization Methods: A User Study.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	vector visualization, fluid flow visualization, User study
1	Martin Berzins, Robert M. Kirby, Cullen R. Johnson	Integrating Teaching and Research in HPC: Experiences and Opportunities.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Allen R. Sanderson, Chris R. Johnson, Robert M. Kirby	Display of Vector Fields Using a Reaction-Diffusion Model.	IEEE Visualization	2004	DBLP DOI BibTeX RDF	Flow Visualization, Vector Fields, Vector Field Visualization, Reaction-Diffusion
1	David H. Laidlaw, Robert M. Kirby, J. Scott Davidson, Timothy S. Miller, Marco da Silva, William H. Warren, Michael J. Tarr	Quantitative Comparative Evaluation of 2D Vector Field Visualization Methods.	IEEE Visualization	2001	DBLP BibTeX RDF
1	Andrew S. Forsberg, David H. Laidlaw, Andries van Dam, Robert M. Kirby, George E. Karniadakis, Jonathan L. Elion	Immersive virtual reality for visualizing flow through an artery.	IEEE Visualization	2000	DBLP DOI BibTeX RDF
1	Robert M. Kirby, H. Marmanis, David H. Laidlaw	Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting.	IEEE Visualization	1999	DBLP BibTeX RDF

Publications of Robert M. Kirby Mike Kirby ( http://dblp.L3S.de/Authors/Robert_M._Kirby )