TY - GEN A1 - Musch, Thomas A1 - Hübner, Michael A1 - Gebhardt, Patrick A1 - Abrolat, Jan Christoph A1 - Gevers, Martin A1 - Vogt, Michael T1 - Tomografische Verfahren für intelligente Sensoren in der Prozessautomatisierung T2 - atp plus : das Magazin der Automatisierungstechnik : Sonderausgabe Y1 - 2016 SN - 2510-3911 VL - 1 SP - 34 EP - 41 ER - TY - GEN A1 - Fernandes dos Santos, Fernando A1 - Brandalero, Marcelo A1 - Rech Junior, Rubens Luiz A1 - Hübner, Michael A1 - Rech, Paolo A1 - Sullivan, Michael A1 - Martins Basso, Pedro A1 - Carro, Luigi T1 - Reduced Precision DWC: an Efficient Hardening Strategy for Mixed-Precision Architectures T2 - IEEE Transactions on Computers N2 - Duplication with Comparison (DWC) is an effective software-level solution to improve the reliability of computing devices. However, it introduces significant performance and energy consumption overheads that could render the protected application unsuitable for high-performance computing or real-time safety-critical applications. Modern computing architectures offer the possibility to execute operations in various precisions, and recent NVIDIA GPUs even feature dedicated functional units for computing with programmable accuracy. In this work, we propose Reduced-Precision Duplication with Comparison (RP-DWC) as a means to leverage the available mixed-precision hardware resources to implement software-level fault detection with reduced overheads. We discuss the benefits and challenges associated with RP-DWC and show that the intrinsic difference between the mixed-precision copies allows for the detection of most, but not all, errors. However, as the undetected faults are the ones that fall into the difference between precisions, they are the ones that produce a much smaller impact in the application output. We investigate, through fault injection and beam experiment campaigns, using three microbenchmarks and two real applications on Volta GPUs, RP-DWC impact into fault detection, performance, and energy consumption. We show that RP-DWC achieves an excellent coverage (up to 86%) with minimal overheads (0.1% time and 24% energy consumption overhead). Y1 - 2021 U6 - https://doi.org/10.1109/TC.2021.3058872 SN - 0018-9340 VL - 71(2022) IS - 3 SP - 573 EP - 586 ER - TY - GEN A1 - Fricke, Florian A1 - Brandalero, Marcelo A1 - Liehr, Sascha A1 - Kern, Simon A1 - Meyer, Klas A1 - Kowarik, Stefan A1 - Hierzegger, Robin A1 - Westerdick, Stephan A1 - Maiwald, Michael A1 - Hübner, Michael T1 - Artificial Intelligence for Mass Spectrometry and Nuclear Magnetic Resonance Spectroscopy Using a Novel Data Augmentation Method T2 - IEEE Transactions on Emerging Topics in Computing Y1 - 2022 U6 - https://doi.org/10.1109/TETC.2021.3131371 SN - 2168-6750 VL - 10 IS - 1 SP - 87 EP - 98 ER - TY - GEN A1 - Silva, Raul A1 - Korol, Guilherme dos Santos A1 - Jordan, Michael Guilherme A1 - Brandalero, Marcelo A1 - Hübner, Michael A1 - Pereira, Monica A1 - Rutzig, Mateus Beck A1 - Beck, Antonio Carlos Schneider T1 - A Management Technique for Concurrent Access to a Reconfigurable Accelerator T2 - 33rd Symposium on Integrated Circuits and Systems Design (SBCCI) Y1 - 2020 SN - 978-1-7281-9625-1 SN - 978-1-7281-9626-8 U6 - https://doi.org/10.1109/SBCCI50935.2020.9189927 ER - TY - GEN A1 - Al Kadi, Muhammed Soubhi A1 - Janßen, Benedikt A1 - Mori Alves da Silva, Jones Yudi A1 - Hübner, Michael T1 - General-Purpose Computing with Soft GPUs on FPGAs T2 - ACM Transactions on Reconfigurable Technology and Systems Y1 - 2018 U6 - https://doi.org/10.1145/3173548 SN - 1936-7406 VL - 11 IS - 1 ER - TY - GEN A1 - Mönks, Uwe A1 - Dörksen, Helene A1 - Lohweg, Volker A1 - Hübner, Michael T1 - Information Fusion of Conflicting Input Data T2 - Sensors Y1 - 2016 SN - 1424-8220 VL - 16 IS - 11 ER - TY - GEN A1 - Schwiegelshohn, Fynn A1 - Ossovski, Eugen A1 - Hübner, Michael T1 - A resampling method for parallel particle filter architectures T2 - Microprocessors & Microsystems Y1 - 2016 U6 - https://doi.org/10.1016/j.micpro.2016.07.017 SN - 0141-9331 VL - 47, B SP - 314 EP - 320 ER - TY - GEN A1 - Grimm, Tomas A1 - Hübner, Michael A1 - Lettnin, Djones T1 - A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip T2 - Electronics Y1 - 2018 U6 - https://doi.org/10.3390/electronics7060081 SN - 2079-9292 VL - 7 IS - 6 ER - TY - GEN A1 - Glock, Thomas A1 - Hillenbrand, Martin A1 - Hübner, Michael T1 - Smarte Sensoren in der Feldebene T2 - atp edition Y1 - 2015 SN - 2364-3137 VL - 57 IS - 11 SP - 32 EP - 42 ER - TY - GEN A1 - Korte, Jan A1 - Hübner, Michael T1 - Reactive current compensation method for PFC applications based on SOGI-PLL T2 - VLSI Circuits and Systems Letter Y1 - 2019 VL - 5 IS - 2 ER -