Author of the publication

Efficient Algorithmic Circuit Verification Using Indexed BDDs.

, , , , and . FTCS, page 266-275. IEEE Computer Society, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

SLAMBooster: An Application-Aware Online Controller for Approximation in Dense SLAM, , , and . 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019, Seattle, WA, USA, September 23-26, 2019, page 296--310. (2019)Pipelined Diagnosis of Wafer-Scale Linear Arrays., , and . J. Parallel Distributed Comput., 20 (2): 212-223 (1994)Interactive lesion segmentation on dynamic contrast enhanced breast MRI using a Markov model., , , , and . Medical Imaging: Image Processing, volume 6144 of SPIE Proceedings, page 61444M. SPIE, (2006)A Methodology for Principled Approximation in Visual SLAM., , , and . PACT, page 373-386. ACM, (2020)Uniformly Sampled Light Fields., , and . Rendering Techniques, page 117-130. Springer, (1998)On Mapping Homogeneous Graphs on a Linear Array-Processor Model., , and . ICPP, page 440-447. IEEE Computer Society, (1983)Adaptive mesh generation for global diffuse illumination., and . SIGGRAPH, page 155-164. ACM, (1990)Fully asynchronous, robust, high-throughput arithmetic structures., and . VLSI Design, page 141-145. IEEE Computer Society, (1995)A Biased Non-Two-Phase Locking Protocol., , and . JCDKB, page 337-361. Academic Press, (1982)Efficient Algorithmic Circuit Verification Using Indexed BDDs., , , , and . FTCS, page 266-275. IEEE Computer Society, (1994)