Author of the publication

Maximizing power state cross coverage in firmware-based power management.

, , , and . ASP-DAC, page 335-340. ACM, (2019)

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

Maximizing power state cross coverage in firmware-based power management., , , and . ASP-DAC, page 335-340. ACM, (2019)An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization., , , and . GECCO, page 1232-1239. ACM, (2017)Synthesis of Reversible Circuits Using Decision Diagrams., and . ISED, page 1-5. IEEE, (2012)T-depth Optimization for Fault-Tolerant Quantum Circuits., , and . ISMVL, page 108-113. IEEE, (2019)Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen., , and . Künstliche Intelligenz im Gesundheitswesen, Springer Fachmedien Wiesbaden, (2022)The SyReC hardware description language: Enabling scalable synthesis of reversible circuits., and . MWSCAS, page 1063-1066. IEEE, (2013)A compact and efficient SAT encoding for quantum circuits., , and . AFRICON, page 1-6. IEEE, (2013)LAT-UP: Exposing Layout-Level Analog Hardware Trojans Using Contactless Optical Probing., , , , , , and . ISVLSI, page 1-6. IEEE, (2023)Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes., , and . DDECS, page 73-78. IEEE, (2023)Towards Polynomial Formal Verification of Complex Arithmetic Circuits., , and . DDECS, page 1-6. IEEE, (2022)