Warren A. Hunt

According to our database, Warren A. Hunt authored at least 10 papers between 1986 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Sound and Automated Verification of Real-World RTL Multipliers.

Mertcan Temel, Warren A. Hunt

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Automated and Scalable Verification of Integer Multipliers.

Mertcan Temel, Anna Slobodová, Warren A. Hunt

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2011

The area perspective transform: A homogeneous transform for efficient in-volume queries.

Warren A. Hunt, Gregory S. Johnson

ACM Trans. Graph., 2011

Razor: An architecture for dynamic multiresolution ray tracing.

Peter Djeu, Warren A. Hunt, Rui Wang, Ikrima Elhassan, Gordon Stoll, William R. Mark

ACM Trans. Graph., 2011

2009

State of the Art in Ray Tracing Animated Scenes.

Ingo Wald, William R. Mark, Johannes Günther, Solomon Boulos, Thiago Ize, Warren A. Hunt, Steven G. Parker, Peter Shirley

Comput. Graph. Forum, 2009

Soft irregular shadow mapping: fast, high-quality, and robust soft shadows.

Gregory S. Johnson, Warren A. Hunt, Allen Hux, William R. Mark, Christopher A. Burns, Stephen Junkins

Proceedings of the 2009 Symposium on Interactive 3D Graphics, 2009

Accelerating shadow rays using volumetric occluders and modified kd-tree traversal.

Peter Djeu, Sean Keely, Warren A. Hunt

Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on High Performance Graphics 2009, 2009

2007

IStar: A Raster Representation for Scalable Image and Volume Data.

Joe Kniss, Warren A. Hunt, Kristin Potter, Pradeep Sen

IEEE Trans. Vis. Comput. Graph., 2007

2004

Resource Analysis for Question Answering.

Lucian Vlad Lita, Warren A. Hunt, Eric Nyberg

Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics, Barcelona, Spain, July 21-26, 2004, 2004

1986

Abstracts in software engineering - reports.

Robert S. Boyer, J Strother Moore, Warren A. Hunt, Richard M. Cohen, Richard C. Holt

ACM SIGSOFT Softw. Eng. Notes, 1986