Search the dblp DataBase
Robert M. Kirby :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
M. Berzins , Robert M. Kirby , Cullen R. Johnson Integrating Teaching and Research in HPC: Experiences and Opportunities. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (2), 2005, pp:36-43 [Conf ] Robert M. Kirby , Cullen R. Johnson , M. Berzins Involving Undergraduates in Computational Science and Engineering Research: Successes and Challenges. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (2), 2006, pp:147-154 [Conf ] Ganesh Gopalakrishnan , Robert M. Kirby Toward reliable and efficient message passing software through formal analysis. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] Salman Pervez , Ganesh Gopalakrishnan , Robert M. Kirby , Rajeev Thakur , William D. Gropp Formal Verification of Programs That Use MPI One-Sided Communication. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2006, pp:30-39 [Conf ] Igor Melatti , Robert Palmer , Geoffrey Sawaya , Yu Yang , Robert M. Kirby , Ganesh Gopalakrishnan Parallel and Distributed Model Checking in Eddy. [Citation Graph (0, 0)][DBLP ] SPIN, 2006, pp:108-125 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Visualization, 2000, pp:457-460 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Visualization, 2001, pp:- [Conf ] Robert M. Kirby , H. Marmanis , David H. Laidlaw Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting. [Citation Graph (0, 0)][DBLP ] IEEE Visualization, 1999, pp:333-340 [Conf ] Allen R. Sanderson , Chris R. Johnson , Robert M. Kirby Display of Vector Fields Using a Reaction-Diffusion Model. [Citation Graph (0, 0)][DBLP ] IEEE Visualization, 2004, pp:115-122 [Conf ] Robert Palmer , Steve Barrus , Yu Yang , Ganesh Gopalakrishnan , Robert M. Kirby Gauss: A Framework for Verifying Scientific Computing Software. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:95-106 [Journal ] Robert M. Kirby , George E. Karniadakis Selecting the Numerical Flux in Discontinuous Galerkin Methods for Diffusion Problems. [Citation Graph (0, 0)][DBLP ] J. Sci. Comput., 2005, v:22, n:1, pp:385-411 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Vis. Comput. Graph., 2005, v:11, n:1, pp:59-70 [Journal ] Blake Nelson , Robert M. Kirby Ray-Tracing Polymorphic Multidomain Spectral/hp Elements for Isosurface Rendering. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Vis. Comput. Graph., 2006, v:12, n:1, pp:114-125 [Journal ] Ganesh Gopalakrishnan , Robert M. Kirby Formal Analysis for Debugging and Performance Optimization of MPI. [Citation Graph (0, 0)][DBLP ] IPDPS, 2007, pp:1-6 [Conf ] Salman Pervez , Ganesh Gopalakrishnan , Robert M. Kirby , Robert Palmer , Rajeev Thakur , William Gropp Practical Model-Checking Method for Verifying Correctness of MPI Programs. [Citation Graph (0, 0)][DBLP ] PVM/MPI, 2007, pp:344-353 [Conf ] Yu Yang , Xiaofang Chen , Ganesh Gopalakrishnan , Robert M. Kirby Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. [Citation Graph (0, 0)][DBLP ] SPIN, 2007, pp:58-75 [Conf ] Miriah Meyer , Robert M. Kirby , Ross T. Whitaker Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Vis. Comput. Graph., 2007, v:13, n:6, pp:1704-1711 [Journal ] Miriah Meyer , Blake Nelson , Robert M. Kirby , Ross T. Whitaker Particle Systems for Efficient and Accurate High-Order Finite Element Visualization. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Vis. Comput. Graph., 2007, v:13, n:5, pp:1015-1026 [Journal ] Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. [Citation Graph (, )][DBLP ] Reduced Execution Semantics of MPI: From Theory to Practice. [Citation Graph (, )][DBLP ] Incorporating Patient Breathing Variability into a Stochastic Model of Dose Deposition for Stereotactic Body Radiation Therapy. [Citation Graph (, )][DBLP ] Runtime verification methods for MPI. [Citation Graph (, )][DBLP ] Semantics driven dynamic partial-order reduction of MPI-based parallel programs. [Citation Graph (, )][DBLP ] Scheduling considerations for building dynamic verification tools for MPI. [Citation Graph (, )][DBLP ] Formal specification of the MPI-2.0 standard in TLA+. [Citation Graph (, )][DBLP ] ISP: a tool for model checking MPI programs. [Citation Graph (, )][DBLP ] A symbolic verifier for CUDA programs. [Citation Graph (, )][DBLP ] Formal verification of practical MPI programs. [Citation Graph (, )][DBLP ] A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. [Citation Graph (, )][DBLP ] Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. [Citation Graph (, )][DBLP ] Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. [Citation Graph (, )][DBLP ] Practical Formal Verification of MPI and Thread Programs. [Citation Graph (, )][DBLP ] How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. [Citation Graph (, )][DBLP ] Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). [Citation Graph (, )][DBLP ] Estimation of Probability Density Functions for Parameter Sensitivity Analyses. [Citation Graph (, )][DBLP ] Efficient Stateful Dynamic Partial Order Reduction. [Citation Graph (, )][DBLP ] An Approach to Formalization and Analysis of Message Passing Libraries. [Citation Graph (, )][DBLP ] The Need for Verifiable Visualization. [Citation Graph (, )][DBLP ] Parallelization and scalability of a spectral element channel flow solver for incompressible Navier-Stokes equations. [Citation Graph (, )][DBLP ] Formal Methods for MPI Programs. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.310secs