S
Steve Barrus
Researcher at University of Utah
Publications - 3
Citations - 165
Steve Barrus is an academic researcher from University of Utah. The author has contributed to research in topics: Bounding interval hierarchy & Bounding volume. The author has an hindex of 3, co-authored 3 publications receiving 150 citations.
Papers
More filters
Journal ArticleDOI
An Efficient and Robust Ray-Box Intersection Algorithm
TL;DR: A version of this routine that uses IEEE numerical properties to ensure that those tests are both robust and efficient is described.
Proceedings ArticleDOI
An efficient and robust ray-box intersection algorithm
TL;DR: A version of this routine that uses IEEE numerical properties to ensure that those tests are both robust and efficient is described.
Journal ArticleDOI
Gauss: A Framework for Verifying Scientific Computing Software
TL;DR: A model extractor is built that extracts from MPI C programs a formal model consisting of communicating processes represented in Microsoft's Zing modeling language, which allows for formal analysis on the models to detect bugs in the MPI programs being analyzed.