Donald S. Fussell

Paul A. Navrátil

IEEE Trans. Vis. Comput. Graph., 2022

2021

LOOM: Interweaving tightly coupled visualization and numeric simulation framework.

[BibT_eX]

[DOI]

Proceedings of the ISAV@SC 21: In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization, 2021

A fast work-efficient SSSP algorithm for GPUs.

[BibT_eX]

[DOI]

Kai Wang

Calvin Lin

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2020

A Methodology for Principled Approximation in Visual SLAM.

[BibT_eX]

[DOI]

Proceedings of the PACT '20: International Conference on Parallel Architectures and Compilation Techniques, 2020

2019

Proteus: Language and Runtime Support for Self-Adaptive Software Development.

[BibT_eX]

[DOI]

IEEE Softw., 2019

An elementary introduction to Kalman filtering.

[BibT_eX]

[DOI]

Commun. ACM, 2019

Fast Fine-Grained Global Synchronization on GPUs.

[BibT_eX]

[DOI]

Kai Wang

Calvin Lin

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

SLAMBooster: An Application-Aware Online Controller for Approximation in Dense SLAM.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018

SLAMBooster: An Application-aware Controller for Approximation in SLAM.

[BibT_eX]

[DOI]

CoRR, 2018

Fluid brush.

[BibT_eX]

[DOI]

Sarah Abraham

Etienne Vouga

Proceedings of the 7th Joint Symposium on Computational Aesthetics, 2018

SpRay: Speculative Ray Scheduling for Large Data Visualization.

[BibT_eX]

[DOI]

Hyungman Park

Paul A. Navrátil

Proceedings of the 8th IEEE Symposium on Large Data Analysis and Visualization, 2018

2017

Capri: A Control System for Approximate Programs.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Proactive Control of Approximate Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Increasing Behavioral Complexity for Evolved Virtual Creatures with the ESP Method.

[BibT_eX]

[DOI]

CoRR, 2015

Priority-based cache allocation in throughput processors.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on High Performance Computer Architecture, 2015

2014

Exploring the Spectrum of Dynamic Scheduling Algorithms for Scalable Distributed-MemoryRay Tracing.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2014

Smoke Brush.

[BibT_eX]

[DOI]

Sarah Abraham

Proceedings of the 12th International Symposium on Non-Photorealistic Animation and Rendering, 2014

Arbitrary Modulus Indexing.

[BibT_eX]

[DOI]

Jeffrey R. Diamond

Stephen W. Keckler

Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture, 2014

Trading control intelligence for physical intelligence: muscle drives in evolved virtual creatures.

[BibT_eX]

[DOI]

Dan Lessin

Risto Miikkulainen

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Adopting Morphology to Multiple Tasks in Evolved Virtual Creatures.

[BibT_eX]

[DOI]

Dan Lessin

Risto Miikkulainen

Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

2013

Open-ended behavioral complexity for evolved virtual creatures.

[BibT_eX]

[DOI]

Dan Lessin

Risto Miikkulainen

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

2012

Real-Time Visualization of a Sparse Parametric Mixture Model for BTF Rendering.

[BibT_eX]

[DOI]

Nuno Silva

Luís Paulo Santos

Proceedings of the Advances in Visual Computing - 8th International Symposium, 2012

Dynamic Scheduling for Large-Scale Distributed-Memory Ray Tracing.

[BibT_eX]

[DOI]

Proceedings of the 12th Eurographics Symposium on Parallel Graphics and Visualization, 2012

2011

Frankenrigs: Building Character Rigs from Multiple Sources.

[BibT_eX]

[DOI]

Christian Miller

Okan Arikan

IEEE Trans. Vis. Comput. Graph., 2011

2010

Increasing Hardware Utilization for Peta-Scale Visualization.

[BibT_eX]

Paul A. Navrátil

Calvin Lin

Proceedings of the 6th High-End Visualization Workshop, 2010

2009

A line-space analysis of light-field representations.

[BibT_eX]

[DOI]

Emilio Camahort

Francisco Abad

Graph. Model., 2009

Fast, Exact, Linear Booleans.

[BibT_eX]

[DOI]

Gilbert Bernstein

Comput. Graph. Forum, 2009

2007

Parametric Kernels for Sequence Data Analysis.

[BibT_eX]

[DOI]

Young-In Shin

Proceedings of the IJCAI 2007, 2007

2006

Interactive lesion segmentation on dynamic contrast enhanced breast MRI using a Markov model.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging 2006: Image Processing, 2006

2005

Real-time rendering systems in 2010.

[BibT_eX]

[DOI]

William R. Mark

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2005

2002

Lossless Subdivision-Based Multiresolution Representation of Arbitrary Triangle Meshes Using Kite Trees.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2002

Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2002

1999

An efficient filter-based approach for combinational verification.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

1998

Multiresolution of arbitrary triangular meshes.

[BibT_eX]

[DOI]

Wei Xu

Proceedings of the ACM SIGGRAPH 98 Conference Abstracts and Applications, 1998

Uniformly Sampled Light Fields.

[BibT_eX]

[DOI]

Emilio Camahort

Apostolos Lerios

Proceedings of the Rendering Techniques '98, Proceedings of the Eurographics Workshop in Vienna, Austria, June 29, 1998

1997

Automatic verification of implementations of large circuits against HDL specifications.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1997

Forward dynamics based realistic animation of rigid bodies.

[BibT_eX]

[DOI]

Jihun Park

Comput. Graph., 1997

Model simplification using directional clustering.

[BibT_eX]

[DOI]

Dana Marshall

A. T. Campbell III

Proceedings of the ACM SIGGRAPH 97 Visual Proceedings: The art and interdisciplinary programs of SIGGRAPH '97, 1997

Multiresolution BSP Trees Applied to Terrain, Transparency, and General Objects.

[BibT_eX]

Proceedings of the Graphics Interface 1997 Conference, 1997

Multiresolution Rendering of Complex Botanical Scenes.

[BibT_eX]

Dana Marshall

A. T. Campbell III

Proceedings of the Graphics Interface 1997 Conference, 1997

Delay Insensitive Logic for RSFQ Superconductor Technology.

[BibT_eX]

[DOI]

Stanislav Polonsky

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996

Hinted quad trees for VLSI geometry DRC based on efficient searching for neighbors.

[BibT_eX]

[DOI]

Glenn G. Lai

Martin D. F. Wong

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

On More Efficient Combinational ATPG Using Functional Learning.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

Efficient Delay-Insensitive RSFQ Circuits.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

1995

Fully asynchronous, robust, high-throughput arithmetic structures.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

Efficient variable ordering and partial representation algorithm.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

Power-efficient delay-insensitive codes for data transmission.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Energy-efficient instruction set architecture for CMOS microprocessors.

[BibT_eX]

[DOI]

John D. Bunda

William C. Athas

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Automated verification of temporal properties specified as state machines in VHDL.

[BibT_eX]

[DOI]

Yatin Vasant Hoskote

Jacob A. Abraham

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

1994

Pipelined Diagnosis of Wafer-Scale Linear Arrays.

[BibT_eX]

[DOI]

Miroslaw Malek

J. Parallel Distributed Comput., 1994

Verification of Circuits Described in VHDL through Extraction of Design Intent.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on VLSI Design, 1994

A new scheme to compute variable orders for binary decision diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fourth Great Lakes Symposium on Design Automation of High Performance VLSI Systems, 1994

Abstraction of data path registers for multilevel verification of large circuits.

[BibT_eX]

[DOI]

Proceedings of the Fourth Great Lakes Symposium on Design Automation of High Performance VLSI Systems, 1994

Efficient Algorithmic Circuit Verification Using Indexed BDDs.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS/24, 1994

Efficient building blocks for delay insensitive circuits.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1993

Finding Triconnected Components by Local Replacement.

[BibT_eX]

[DOI]

Vijaya Ramachandran

SIAM J. Comput., 1993

System-Wide Multiresolution.

[BibT_eX]

Robert L. Read

Proceedings of the NGITS' 93, 1993

16-Bit vs. 32-Bit Instructions for Pipelined Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual International Symposium on Computer Architecture, 1993

HV/VH Trees: A New Spatial Data Structure for Fast Region Queries.

[BibT_eX]

[DOI]

Glenn G. Lai

D. F. Wong

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

Topological channel routing [VLSI].

[BibT_eX]

[DOI]

Shinichiro Haruyama

Martin D. F. Wong

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992

Diagnosing Arbitrarily Connected Parallel Computers with High Probability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

Probabilistic Verification of Boolean Functions.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1992

A Multi-Resolution Relational Data Model.

[BibT_eX]

[DOI]

Robert L. Read

Proceedings of the 18th International Conference on Very Large Data Bases, 1992

1991

Performance Advantages of Multithreaded Processors.

[BibT_eX]

Won Woo Park

Roy M. Jenevein

Proceedings of the International Conference on Parallel Processing, 1991

Rectifying corrupted files in distributed file systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Probabilistic Design Verification.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Probabilistic Diagnosis Algorithms Tailored to System Topology.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990

Successive Approximation in Parallel Graph Algorithms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

Built-In Testing of Integrated Circuit Wafers.

[BibT_eX]

[DOI]

Miroslaw Malek

IEEE Trans. Computers, 1990

Applying Space Subdivision Techniques to Volume Rendering.

[BibT_eX]

[DOI]

Kalpathi R. Subramanian

Proceedings of the 1st IEEE Visualization Conference, 1990

Adaptive mesh generation for global diffuse illumination.

[BibT_eX]

[DOI]

A. T. Campbell III

Proceedings of the 17th Annual Conference on Computer Graphics and Interactive Techniques, 1990

Topological Routing Using Geometric Information.

[BibT_eX]

[DOI]

Shinichiro Haruyama

D. F. Wong

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

1989

Illumination networks: fast realistic rendering with general reflectance functions.

[BibT_eX]

[DOI]

Chris Buchalew

Proceedings of the 16th Annual Conference on Computer Graphics and Interactive Techniques, 1989

Finding Triconnected Components by Local Replacements.

[BibT_eX]

[DOI]

Vijaya Ramachandran

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

Probabilistic diagnosis of multiprocessor systems with arbitrary connectivity.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

On the power of the frame buffer.

[BibT_eX]

[DOI]

Alain Fournier

ACM Trans. Graph., 1988

Topological channel routing.

[BibT_eX]

[DOI]

Shinichiro Haruyama

Martin D. F. Wong

Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988

A probabilistic method for fault diagnosis of multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

Separation Pair Detection.

[BibT_eX]

[DOI]

Proceedings of the VLSI Algorithms and Architectures, 3rd Aegean Workshop on Computing, 1988

1986

Mapping Homogeneous Graphs on Linear Arrays.

[BibT_eX]

[DOI]

I. V. Ramakrishnan

IEEE Trans. Computers, 1986

1985

Lock Conversion in Non-Two-Phase Locking Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1985

1984

Compatibility and Commutativity of Lock Modes

[BibT_eX]

[DOI]

C. Mohan

Inf. Control., April, 1984

A Robust Matrix-Multiplication Array.

[BibT_eX]

[DOI]

Peter J. Varman

I. V. Ramakrishnan

IEEE Trans. Computers, 1984

1983

Design of Robust Systolic Algorithms.

[BibT_eX]

Peter J. Varman

Proceedings of the International Conference on Parallel Processing, 1983

On Mapping Homogeneous Graphs on a Linear Array-Processor Model.

[BibT_eX]

I. V. Ramakrishnan

Proceedings of the International Conference on Parallel Processing, 1983

1982

Computer Rendering of Stochastic Models.

[BibT_eX]

[DOI]

Alain Fournier

Loren C. Carpenter

Commun. ACM, 1982

Compatibility and Commutativity in Non-two-phase Locking Protocols.

[BibT_eX]

[DOI]

C. Mohan

Proceedings of the ACM Symposium on Principles of Database Systems, 1982

A Biased Non-Two-Phase Locking Protocol.

[BibT_eX]

C. Mohan

Proceedings of the Second International Conference on Databases: Improving Database Usability and Responsiveness, 1982

Fault-tolerant wafer-scale architectures for VLSI.

[BibT_eX]

[DOI]

Peter J. Varman

Proceedings of the 9th International Symposium on Computer Architecture (ISCA 1982), 1982

1981

A Theory of Correct Locking Protocols for Database Systems

[BibT_eX]

Zvi M. Kedem

Proceedings of the Very Large Data Bases, 1981

Deadlock Removal Using Partial Rollback in Database Systems.

[BibT_eX]

[DOI]

Zvi M. Kedem

Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29, 1981

1980

Stochastic modeling in computer graphics.

[BibT_eX]

[DOI]

Alain Fournier