From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Average-Case Optimized Technology Mapping of One-Hot Domino CircuitsAverage-Case Optimized Transistor-Level Technology Mapping of Extended Burst-Mode Circuits.

W. Chou, P. Beerel, R. Ginosar, R. Kol, C. Myers, S. Rotem, K. Stevens, и K. Yun. ASYNC, стр. 80-. IEEE Computer Society, (1998)

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.

Benjamin Myers

Adrian Myers

Margaret Myers

Jeffrey Myers

Annette Myers

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

Synthetic Biology Open Language (SBOL) Version 2.2.0.R. III, C. Madsen, J. McLaughlin, T. Nguyen, N. Roehner, B. Bartley, J. Beal, M. Bissell, K. Choi, K. Clancy и 13 other автор(ы). J. Integr. Bioinform., (2018)The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core.M. Hucka, F. Bergmann, A. Dräger, S. Hoops, S. Keating, N. Novère, C. Myers, B. Olivier, S. Sahle, J. Schaff и 3 other автор(ы). J. Integr. Bioinform., (2018)LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits.A. Fisher, S. Batchu, K. Jones, D. Kulkarni, S. Little, D. Walter, и C. Myers. MWSCAS, стр. 1017-1020. IEEE, (2014)An Improvement in Partial Order Reduction Using Behavioral Analysis.Y. Zhang, E. Rodriguez, H. Zheng, и C. Myers. ISVLSI, стр. 100-107. IEEE Computer Society, (2012)Symbolic Model Checking of Analog/Mixed-Signal Circuits.D. Walter, S. Little, N. Seegmiller, C. Myers, и T. Yoneda. ASP-DAC, стр. 316-323. IEEE Computer Society, (2007)A new verification method for embedded systems.R. Thacker, C. Myers, K. Jones, и S. Little. ICCD, стр. 193-200. IEEE Computer Society, (2009)Verification of analog/mixed-signal circuits using labeled hybrid petri nets.S. Little, N. Seegmiller, D. Walter, C. Myers, и T. Yoneda. ICCAD, стр. 275-282. ACM, (2006)STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.R. Roberts, T. Neupane, L. Buecherl, C. Myers, и Z. Zhang. VMCAI, том 13182 из Lecture Notes in Computer Science, стр. 319-331. Springer, (2022)Synthetic biology open language visual (SBOL Visual) version 2.3.H. Baig, P. Fontanarossa, V. Kulkarni, J. McLaughlin, P. Vaidyanathan, B. Bartley, S. Bhakta, S. Bhatia, M. Bissell, K. Clancy и 26 other автор(ы). J. Integr. Bioinform., (2021)A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper).N. Hamada, Y. Shiga, H. Saito, T. Yoneda, C. Myers, и T. Nanya. ACSD, стр. 50-55. IEEE, (2008)

BibSonomy

Disambiguation