7 Einträge gefunden

1. Runtime Monitoring of c-LTL Specifications on FPGAs Using HLS

   1. Martino, Gianluca
   2. Fey, Görschwin

   2022 - TUHH Open Research
2. CNN Implementation and Analysis on Xilinx Versal ACAP at European XFEL

   1. Al-Zoubi, Ahmad
   2. Martino, Gianluca
   3. Bahnsen, Fin H.
   4. Zhu, Jun
   5. Schlarb, Holger
   6. Fey, Görschwin

   2022 - TUHH Open Research
3. Comparative evaluation of semi-supervised anomaly detection algorithms on high-integrity digital systems

   1. Martino, Gianluca
   2. Grünhagen, Arne
   3. Branlard, Julien
   4. Eichler, Annika
   5. Fey, Görschwin
   6. Schlarb, Holger

   2021 - TUHH Open Research
4. Metrics for the evaluation of approximate sequential streaming circuits

   1. Plambeck, Swantje
   2. Martino, Gianluca
   3. Fey, Görschwin

   2021 - TUHH Open Research
5. Revisiting Explicit Enumeration for Exact Synthesis

   1. Martino, Gianluca
   2. Riener, Heinz
   3. Fey, Görschwin

   2020 - TUHH Open Research
6. Syntax-guided enumeration of temporal properties

   1. Martino, Gianluca
   2. Fey, Görschwin

   2019 - TUHH Open Research
7. Design Understanding: From Logic to Specification*

   1. Fey, Görschwin
   2. Ghasempouri, Tara
   3. Jacobs, Swen
   4. Martino, Gianluca
   5. Raik, Jaan
   6. Riener, Heinz

   2018 - TUHH Open Research