Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 4681 bis 4690 von 14699.

  1. José de Gea Fernández; Christian Ott; Bilal Wehbe

    Machine Learning and Dynamic Whole Body Control for Underwater Manipulation

    In: Frank Kirchner; Sirko Straube; Daniel Kuehn; Nina Hoyer. AI Technology for Underwater Robots. Pages 107-115, ISBN 978-3-030-30683-0, Springer International Publishing, 10/2020.

  2. Wei Jiang; Mathias Strufe; Hans Dieter Schotten

    Long-Range Fading Channel Prediction Using Recurrent Neural Network

    In: IEEE Consumer Communications and Networking Conference. IEEE Consumer Communications and Networking Conference (CCNC-2020), January 10-13, Las Vegas, Nevada, USA, IEEE, 2020.

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

    Towards Specification and Testing of RISC-V ISA Compliance

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

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

    Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes

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

  5. Alireza Mahzoon; Daniel Große; Christoph Scholl; Rolf Drechsler

    Towards Formal Verification of Optimized and Industrial Multipliers

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

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

    Fuzz-Testing RISC-V Simulators

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2020), March 19-20, Stuttgart, Germany, 2020.

  7. Rahel Flechtner; Katharina Lorenz; Gesche Joost

    Designing a Wearable Soft-Robotic Orthosis: A Body-Centered Approach

    In: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction. International Conference on Tangible, Embedded and Embodied Interaction (TEI-2020), Future Bodies, Future Technologies, February 9-12, Sydney, OZ, Australia, Pages 863-875, ACM, 2020.

  8. Thorsten Schoormann; Simon Hagen; Jonas Brinker; Sebastian Wildau; Oliver Thomas; Ralf Knackstedt

    Towards Aligning Business Models with Business Processes: A Tool-based Approach

    In: Dominik Bork; Dimitris Karagiannis; Heinrich C. Mayr (Hrsg.). Modellierung 2020. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), February 19-21, Vienna, Austria, Pages 12-27, ISBN 978-3-88579-696-1, Gesellschaft für Informatik e.V. Bonn, 2020.

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

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

Jahr

Mehr Optionen