Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 676
  1. Vladimir Herdt; Sören Tempel; Daniel Große; Rolf Drechsler

    Mutation-based Compliance Testing for RISC-V

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  2. System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  3. Marcel Walter; Winston Haaswijk; Robert Wille; Frank Sill Torres; Rolf Drechsler

    One-pass Synthesis for Field-coupled Nanocomputing Technologies

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  4. Mehran Goli; Rolf Drechsler

    ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs

    In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

  5. System Level verification of Phase-Locked Loop using Metamorphic Relations

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual, 2021.

  6. The Mesh Tools Package -- Introducing Annotated 3D Triangle Maps in ROS

    In: Karsten Berns; Maria Gini; Jun Ota (Hrsg.). Robotics and Autonomous Systems (RAS), Vol. 138, Page 103688, Elsevier, 4/2021.

  7. Tobias Dreesbach; Matthias Berg; Henning Gösling; Tobias Walter; Oliver Thomas; Julia Knopf

    A Methodology to Enhance Learning Processes with Augmented Reality Glasses

    In: Wirtschaftsinformatik 2021 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2021), March 9-11, Duisburg / Essen, Germany, WI2021, …

  8. Erste Schritte zu einer kontextsensitiven Navigation in einem langzeitautonomen Field-Monitoring-System

    In: Informatik in der Land-, Forst- und Ernährungswirtschaft -- Referate der 41. GIL-Jahrestagung. GIL-Jahrestagung (GIL-2021), March 8-9, Potsdam, …

  9. Oliver Gutermuth; Constantin Houy; Peter Fettke

    Robotic Process Automation for Public Administration Enhancement

    In: Christian Czarnecki; Peter Fettke (Hrsg.). Robotic Process Automation - Management, Technology, Applications. Pages 1-19, ISBN 978-3-11-067668-6, …

  10. Wissensverarbeitung in der Landwirtschaft mit regelbasierten Inferenzsystemen und Begründungsverwaltung

    In: Informatik in der Land-, Forst- und Ernährungswirtschaft -- Referate der 41. GIL-Jahrestagung. Gesellschaft für Informatik in der Land-, Forst- …