Skip to main content Skip to main navigation

Publications

Displaying results 301 to 310 of 15202.

  1. Vladimir Herdt; Daniel Große; Jonas Wloka; Tim Güneysu; Rolf Drechsler

    Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Peking, China, 2020.

  2. Niklas Bruns; Daniel Große; Rolf Drechsler

    Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Beijing, China, 2020.

  3. Vladimir Herdt; Daniel Große; Pascal Pieper; Rolf Drechsler

    RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level

    In: Journal of Systems Architecture: Embedded Software Design (JSA), Pages o.A-o.A. Elsevier, 2020.

  4. Filip Fatz; Philip Hake; Peter Fettke

    Blockchain-based Decentralized Validation of Tax Processes

    In: Judith Michael; Dominik Bork (Hrsg.). Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers co-located with Modellierung 2020. International Workshop on Conceptual Modeling for Distributed Ledger Technologies (MOD-DLT-2020), located at Modellierung 2020, Vienna, Austria, Pages 48-50, CEUR-WS, Vol. 2542, CEUR Workshop Proceedings, 2/2020.

  5. Adrian Rebmann; Alexander Beuther; Steffen Schuhmann; Peter Fettke

    Hands-on Process Discovery with Python - Utilizing Jupyter Notebook for the Digital Assistance in Higher Education

    In: Judith Michael; Dominik Bork (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), Modellierung in der Hochschullehre, located at Modellierung 2020, February 19-21, Vienna, Austria, Pages 65-76, CEUR, 2020.

  6. Thierry Declerck; Melanie Siegel; Dagmar Gromann

    OntoLex-Lemon as a Possible Bridge between WordNets and Full Lexical Descriptions

    In: Christiane Fellbaum; Piek Vossen; Ewa Rudnicka; Marek Maziarz; Maciej Piasecki (Hrsg.). Proceedings of the Tenth Global Wordnet Conference. Global WordNet Conference (GWC-2019), July 23-27, Wrocław, Poland, Pages 264-271, ISBN 978-83-7493-108-3, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, 7/2019.

  7. Mathias Jenny; Niels Will; Gerd Dellbrügge; Antonia Meißner; Anna Lena Nowak; Andreas Kruse; Sebastian Glende

    Perspektiven der Künstlichen Intelligenz für den Einzelhandel in Deutschland

    Studie im Auftrag des Bundesministeriums für Wirtschaft und Energie, 1/2020.

  8. Christos Kotselidis; Sotiris Diamantopoulos; Orestis Akrivopoulos; Viktor Rosenfeld; Katerina DOka; Hazeef Mohammed; Georgios Mylonas; Vassilis Spitadakis; Will Morgan; Juan Fumero; Foivos S. Zakkak; Michail Papadimitriou; Maria Xekalaki; Nikos Foutris; Athanasios Stratikopoulos; Nectarios Koziris; Ioannis Konstantinou; Ioannis Mytilinis; Constatinos Bitsakos; Christos Tsalidis; Christos Tselios; Nikolaos Kanakis; Clemens Lutz; Sebastian Breß; Volker Markl

    Efficient Compilation and Execution of JVM-Based Data Processing Frameworks on Heterogeneous Co-Processors

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, IEEE, 2020.

  9. Vladimir Herdt; Daniel Große; Rolf Drechsler

    Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side

    In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

  10. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes

    In: 57th Design Automation Conference. Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

Year

More options