( en | de | ru )

 

Disambiguierung von "Becker, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
New Techniques for the Automatic Identification of Uncontrollable Lines in a CPU Core.

, , , , und . VTS, Seite 1-7. IEEE, (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.

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

Bernd Becker

 

Weitere Publikationen von Autoren mit dem selben Namen

Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR., , , , , und . CoRR, (2021)On Secure Data Flow in Reconfigurable Scan Networks., , , , , , , und . DATE, Seite 1016-1021. IEEE, (2019)Characterization of possibly detected faults by accurately computing their detection probability., , und . DATE, Seite 385-390. IEEE, (2018)From DQBF to QBF by Dependency Elimination., , , , und . MBMV, Universität Tübingen, (2018)ICP and IC3 with Stronger Generalization., , , , , und . MBMV, Seite 1-12. VDE/IEEE, (2021)SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges., , , , und . ATS, Seite 433-438. IEEE, (2007)Delta-IDDQ Testing of Resistive Short Defects., , , , und . ATS, Seite 63-68. IEEE, (2006)How many decomposition types do we need? decision diagrams., und . ED&TC, Seite 438-443. IEEE Computer Society, (1995)Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving., , , , , , , und . SC²@SYNASC, Volume 1804 von CEUR Workshop Proceedings, Seite 32-38. CEUR-WS.org, (2016)Planung und Organisation der Planung in der öffentlichen Verwaltung. Verwaltungswissenschaftliche Fälle Kohlhammer, Stuttgart u.a., 1. Aufl Edition, (1978)