Publikationen

Zeige Ergebnisse 1 bis 10 von 90

In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015) October 12-15 Shanghai China Lecture Notes in Computer Science (LNCS) Springer 2015.

Zur Publikation

In: 29th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2019) May 9-11 Washington DC United States 2019.

Zur Publikation

In: 1st International ESWEEK Workshop on Resiliency in Embedded Electronic Systems. International ESWEEK Workshop on Resiliency in Embedded Electronic Systems 1st October 8 Amsterdam Netherlands 2015.

Zur Publikation

In: Proceedings of the 15th International Symposium on Applied Reconfigurable Computing (ARC). International Symposium on Applied Reconfigurable Computing (ARC-2019) April 9-11 Darmstadt Germany 2019.

Zur Publikation

In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24) 24th January 21-24 Tokyo Japan 2019.

Zur Publikation

In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24) 24th January 21-24 Tokyo Japan 2019.

Zur Publikation

In: Design and Verification Conference and Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe-2018) October 24-25 München Germany 2018.

Zur Publikation

In: International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-2018) November 5-8 San Diego United States 2018.

Zur Publikation

In: 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-21) April 25-27 Budapest Hungary 2018.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence