Autor der Publikation

Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits.

, und . it Inf. Technol., 64 (3): 99-107 (2022)

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

An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization., , , und . GECCO, Seite 1232-1239. ACM, (2017)Synthesis of Reversible Circuits Using Decision Diagrams., und . ISED, Seite 1-5. IEEE, (2012)Approximate hardware generation using symbolic computer algebra employing grobner basis., , und . DATE, Seite 889-892. IEEE, (2018)A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems., , und . ITC-Asia, Seite 115-120. IEEE, (2019)Verifying Instruction Set Simulators using Coverage-guided Fuzzing*., , , und . DATE, Seite 360-365. IEEE, (2019)Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing., , , und . DATE, Seite 602-605. IEEE, (2019)Verifying SystemC TLM peripherals using modern C++ symbolic execution tools., , , und . DAC, Seite 1177-1182. ACM, (2022)Coverage-Guided Fuzzing for Plan-Based Robotics., , und . ICAART (2), Seite 106-114. SCITEPRESS, (2023)Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes., , , , und . ACM Great Lakes Symposium on VLSI, Seite 101-106. ACM, (2020)Fast and Exact is Doable: Polynomial Algorithms in Test and Verification.. LATS, Seite 1-2. IEEE, (2022)