Autor der Publikation

qMC: A Formal Model Checking Verification Framework For Superconducting Logic.

, , , , und . ACM Great Lakes Symposium on VLSI, Seite 259-264. ACM, (2021)

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

Standard cell library based layout characterization and power analysis for 10nm gate-all-around (GAA) transistors., , , , und . SoCC, Seite 253-258. IEEE, (2016)TEI-power: Temperature Effect Inversion-Aware Dynamic Thermal Management., , , , , und . ACM Trans. Design Autom. Electr. Syst., 22 (3): 51:1-51:25 (2017)Negotiation-based task scheduling to minimize user's electricity bills under dynamic energy prices., , , , und . OnlineGreenComm, Seite 1-6. IEEE, (2014)Normalization and dropout for stochastic computing-based deep convolutional neural networks., , , , , , , , , und . Integr., (2019)qMC: A Formal Model Checking Verification Framework For Superconducting Logic., , , , und . ACM Great Lakes Symposium on VLSI, Seite 259-264. ACM, (2021)S4oC: A Self-Optimizing, Self-Adapting Secure System-on-Chip Design Framework to Tackle Unknown Threats - A Network Theoretic, Learning Approach., und . ISCAS, Seite 1-8. IEEE, (2020)XIDEN: Crosstalk Target Identification Framework., , , , und . ITC, Seite 365-374. IEEE Computer Society, (2002)Prediction-based fast thermoelectric generator reconfiguration for energy harvesting from vehicle radiators., , , , , , , , , und . DATE, Seite 877-880. IEEE, (2018)Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations., , , , und . DATE, Seite 638-641. IEEE, (2019)qCG: A Low-Power Multi-Domain SFQ Logic Design and Verification Framework., , und . ICCD, Seite 446-449. IEEE, (2019)