Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 101 bis 110 von 599
  1. 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.

  2. 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.

  3. 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 …

  4. 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 …

  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. André Müller; Bertil Schmidt; Andreas Hildebrandt; Richard Membarth; Roland Leißa; Matthis Kruse; Sebastian Hack

    AnySeq: A High Performance Sequence Alignment Library based on Partial Evaluation

    In: Proceedings of the 34th IEEE International Parallel & Distributed Processing Symposium (IPDPS). IEEE International Parallel & Distributed …

  10. Philipp Woock; Nina F. Heide; Daniel Kuehn

    Robotersysteme für die Dekontamination in menschenfeindlichen Umgebungen

    In: Proceeding at Leipziger Deponiefachtagung 2020. Leipziger Deponiefachtagung (LDFT-2020), March 3-4, Leipzig, Germany, n.n. 2020.