Skip to main content Skip to main navigation

Publications

Displaying results 1481 to 1490 of 8791.
  1. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

    MicroRV32: A SpinalHDL based RISC-V Implementation for FPGAs

    In: DATE 2021 University Booth-Proceedings. University Booth at Design, Automation and Test in Europe (DATE) (UBooth-2021), located at Design, Automation and Test in Europe (DATE 2021), February 2-4, Grenoble, France, 2021.

  2. Vladimir Herdt; Rolf Drechsler

    Efficient Techniques to Boost RISC-V Compliance Testing

    In: Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE). Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE-2021), located at Design, Automation and Test in Europe Conference (DATE), February 1-5, Grenoble, France, 2021.

  3. Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

    Verification Runtime Analysis: Get the Most Out of Partial Verification

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

  4. Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

    Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

    In: Slimane Hammoudi; Luís Ferreira Pires; Bran Selić (Hrsg.). 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020), February 25-27, Valletta, Malta, Springer, 2021.

  5. Zukünftige Technologien im Ackerbau -- KI und Robotik auf dem Weg zu vollautomatischen Prozessen

    In: KTBL-Tage 2021: Boden gut machen - neue Ackerbausysteme. KTBL-Tage, March 16-17, Virtual Conference, Pages 136-142, KTBL, 3/2021.

  6. Jakob Michael Schönborn; Pascal Reuss; Carsten Wenzel; Klaus-Dieter Althoff

    Towards a Case-Based Decision Support System for Recruiting Processes using T-Shapes

    In: Judith Michael; Dominik Bork; Ulrich Reimer; Peter Fettke; Marina Tropmann-Frick (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Workshop Models in Artificial Intelligence, located at Modellierung 2020, February 19-21, Vienna, Austria, Pages 165-171, Vol. 2542, CEUR, 2020.

  7. Klaus-Dieter Althoff; Kerstin Bach; Ralph Bergmann; Mirjam Minor

    The 27th International Conference on Case-Based Reasoning

    In: AI Magazine, Vol. 41, No. 1, Pages 101-102, AAAI, 4/2020.

  8. Viktor Eisenstadt; Christoph Langenhan; Klaus-Dieter Althoff; Andreas Dengel

    Improved and Visually Enhanced Case-Based Retrieval of Room Configurations for Assistance in Architectural Design Education

    In: Ian Watson; Rosina Weber (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR-2020), June 8-12, Salamance, Spain, Pages 213-228, Springer, 2020.

  9. Jochen Wollschläger; Rüdiger Röttgers; Wilhelm Petersen; Oliver Zielinski

    Stick or Dye: Evaluating a Solid Standard Calibration Approach for Point-Source Integrating Cavity Absorption Meters (PSICAM)

    In: Frontiers in Marine Science (FMarS), Vol. 5, No. 535, Pages 1-13, Frontiers Media SA, Lausanne, 2/2019.

  10. Hannelore Waska; J. Greskowiak; J. Ahrens; M. Beck; S. Ahmerkamp†; P. Böning; H. J. Brumsack; J. Degenhardt; C. Ehlert; B. Engelen; N. Grünenbaum; M. Holtappels; K. Pahnke; H. K. Marchant; G. Massmann; D. Meier; B. Schnetger; K. Schwalfenberg; H. Simon; V. Vandieken; Oliver Zielinski; T. Dittmar

    Spatial and Temporal Patterns of Pore Water Chemistry in the Inter-Tidal Zone of a High Energy Beach

    In: Frontiers in Marine Science (FMarS), Vol. 6, No. 154, Pages 1-16, Lausanne, Schweiz, 4/2019.