From post

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.

 

Другие публикации лиц с тем же именем

Hybrid Techniques for Fast Functional Simulation., , и . DAC, стр. 664-667. ACM Press, (1998)Optimizing Designs Containing Black Boxes., , , и . DAC, стр. 113-116. ACM Press, (1997)The Hazard-Free Superscalar Pipeline Fast Fourier Transform Architecture and Algorithm., , и . VLSI-SoC (Selected Papers), том 291 из IFIP, стр. 1-22. Springer, (2007)An Abstraction Algorithm for the Verification of Generalized C-Slow Designs., , , , и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 5-19. Springer, (2000)Verifying Continuous Time Markov Chains., , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 269-276. Springer, (1996)The hazard-free superscalar pipeline fast fourier transform algorithm and architecture., , и . VLSI-SoC, стр. 194-199. IEEE, (2007)VIS: A System for Verification and Synthesis., , , , , , , , , и 6 other автор(ы). CAV, том 1102 из Lecture Notes in Computer Science, стр. 428-432. Springer, (1996)SIVA: A System for Coverage-Directed State Space Search., , , , и . J. Electron. Test., 17 (1): 11-27 (2001)Theory of safe replacements for sequential circuits., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (2): 249-265 (2001)Understanding Scaling Laws for Recommendation Models., , , , и . CoRR, (2022)