Skip to main content Skip to main navigation

Publications

Displaying results 3221 to 3230 of 14427.

  1. Guilherme Maeda; Marco Ewerton; Rudolf Lioutikov; Heni Ben Amor; Jan Peters; Gerhard Neumann

    Learning interaction for collaborative tasks with probabilistic movement primitives

    In: 14th IEEE-RAS International Conference on Humanoid Robots. IEEE-RAS International Conference on Humanoid Robots (Humanoids-2014), November 18-20, Madrid, Spain, Pages 527-534, IEEE, 2014.

  2. Elmar Rueckert; Max Mindt; Jan Peters; Gerhard Neumann

    Robust policy updates for stochastic optimal control

    In: 14th IEEE-RAS International Conference on Humanoid Robots. IEEE-RAS International Conference on Humanoid Robots (Humanoids-2014), November 18-20, Madrid, Spain, Pages 388-393, IEEE, 2014.

  3. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification exploiting Constant Cutwidth

    In: 34th International Workshop on Rapid System Prototyping (RSP). International Symposium on Rapid System Protoyping (RSP-2023), September 21, Hamburg, Germany, 2023.

  4. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    RC-IJTAG: A Methodology for Designing Remotely-Controlled IEEE 1687 Scan Networks

    In: 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT). IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2023), October 3-5, Juan-Les-Pins, France, 2023.

  5. Weiyan Zhang; Mehran Goli; Muhammad Hassan; Rolf Drechsler

    Efficient ML-Based Performance Estimation Approach across Different Microarchitectures for RISC-V Processors

    In: Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2023), September 6-8, Durres, Albania, 2023.

  6. Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

    ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

    In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

  7. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Toward System-Level Assertions for Heterogeneous Systems

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

  8. Marcel Merten; Mohammed E. Djeridane; Sebastian Huhn; Rolf Drechsler

    SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 83-94, Springer, 2023.

  9. Khushboo Qayyum; Alireza Mahzoon; Rolf Drechsler

    Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 115-169, Springer, 2023.

  10. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Carry Look-Ahead Adders

    In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.

Year

More options