Warren A. Hunt

11 papers B 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2021 B conf
Sound and Automated Verification of Real-World RTL Multipliers.
FMCAD
Mertcan Temel, Warren A. Hunt
2020 — conf
Automated and Scalable Verification of Integer Multipliers.
CAV (1)
Mertcan Temel, Anna Slobodová, Warren A. Hunt
2011 J jnl
Razor: An architecture for dynamic multiresolution ray tracing.
ACM Trans. Graph.
Peter Djeu, Warren A. Hunt, Rui Wang, Ikrima Elhassan, Gordon Stoll, William R. Mark
2011 J jnl
The area perspective transform: A homogeneous transform for efficient in-volume queries.
ACM Trans. Graph.
Warren A. Hunt, Gregory S. Johnson
2009 — conf
Accelerating shadow rays using volumetric occluders and modified kd-tree traversal.
High Performance Graphics
Peter Djeu, Sean Keely, Warren A. Hunt
2009 — conf
Soft irregular shadow mapping: fast, high-quality, and robust soft shadows.
SI3D
Gregory S. Johnson, Warren A. Hunt, Allen Hux, William R. Mark, Christopher A. Burns, Stephen Junkins
2009 J jnl
State of the Art in Ray Tracing Animated Scenes.
Comput. Graph. Forum
Ingo Wald, William R. Mark, Johannes Günther, Solomon Boulos, Thiago Ize, Warren A. Hunt, Steven G. Parker, Peter Shirley
2007 J jnl
IStar: A Raster Representation for Scalable Image and Volume Data.
IEEE Trans. Vis. Comput. Graph.
Joe Kniss, Warren A. Hunt, Kristin Potter, Pradeep Sen
2007 — conf
State of the Art in Ray Tracing Animated Scenes.
Eurographics (State of the Art Reports)
Ingo Wald, William R. Mark, Johannes Günther, Solomon Boulos, Thiago Ize, Warren A. Hunt, Steven G. Parker, Peter Shirley
2004 — conf
Resource Analysis for Question Answering.
ACL (Poster and Demonstration)
Lucian Vlad Lita, Warren A. Hunt, Eric Nyberg
1986 J jnl
Abstracts in software engineering - reports.
ACM SIGSOFT Softw. Eng. Notes
Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt