Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in conjunction. To this end, we propose a method for static detection of deadlock in Java libraries. Our goal is to determine whether client code exists that may deadlock a library,… (More)
The computational bottleneck in a ray tracer using bounding volume hierarchies is often the ray intersection routine with axis-aligned bounding boxes. We describe a version of this routine that uses IEEE numerical properties to ensure that those tests are both robust and efficient. Sample source code is available online.
Estimates suggest that one third of United States health care spending results from overuse or misuse of tests, procedures, and therapies. The American Board of Internal Medicine Foundation, in partnership with Consumer Reports, initiated the "Choosing Wisely" campaign to identify areas in patient care and resource use most open to improvement. Nine… (More)