scispace - formally typeset
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.