Autor der Publikation

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

, , , und . Great Lakes Symposium on VLSI, Seite 11-14. IEEE, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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