Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3178 Entries
2021
-
Design For Agility: A Modular Reconfigurable Platform for Heterogeneous Many-Core Architectures , 2021, 2021 31st International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 265-266, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Development, characterisation, and deployment of the SNO plus liquid scintillator , 2021, In: Journal of instrumentation. 16, 23 p., P05009Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Digitale Gesundheitsanwendungen – Forderungen für deren Entwicklung, Implementierung und begleitende Evaluation , 2021, In: Monitor Versorgungsforschung. p. 58-62Research output: Contribution to journal > Research article
-
Distributed Sparse Block Grids on GPUs , 2021, High Performance Computing: 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings. Chamberlain, B. L., Varbanescu, A., Ltaief, H. & Luszczek, P. (eds.). Springer, Berlin [u. a.], p. 272-290, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Double-Layer Energy Efficient Synchronous-Asynchronous Circuit-Switched NoC , 2021, In: Electronics (Switzerland). 15Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
EduInf - Education in Informatics. , 2021, p. 1645-1648Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Efficient Accuracy Recovery in Approximate Neural Networks by Systematic Error Modelling. , 2021, ASP-DAC. p. 365-371, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Emergent design challenges for embedded systems and paths forward: mixed-criticality, energy, reliability and security perspectives. , 2021, CODES+ISSS. p. 1-10, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Enabling and Optimizing MACsec for Industrial Environments , 2021, In: IEEE transactions on industrial informatics. 17, 11, p. 7599-7606, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Enabling Performance Analysis of Kokkos Applications with Score-P , 2021, Tools for High Performance Computing 2018/2019. Springer, Cham, p. 169-182, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Energy Efficiency Aspects of the AMD Zen 2 Architecture , 2021, p. 562-571, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Energy-Efficient Low-Latency Signed Multiplier for FPGA-Based Hardware Accelerators. , 2021, In: IEEE Embed. Syst. Lett.. 13, 2, p. 41-44, 4 p., 2Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
ExPAN(N)D: Exploring Posits for Efficient Artificial Neural Network Design in FPGA-Based Systems. , 2021, In: IEEE access. 9, p. 103691-103708, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Exploiting Resiliency for Kernel-Wise CNN Approximation Enabled by Adaptive Hardware Design. , 2021, 2021 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE Xplore, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Exploring Effects of Gamified Collaborative Face-to-Face Learning of Regular Expressions. , 2021, p. 114-118Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Exploring Physical Synthesis for Circuits based on Emerging Reconfigurable Nanotechnologies. , 2021, ICCAD. p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures , 2021, Proceedings of the 28th International Conference on Automated Deduction (CADE’21). p. 291–308Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract) , 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021) Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Finite Model Theory of the Triguarded Fragment and Related Logics. , 2021, LICS. p. 1-13, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). , 2021, Description LogicsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
FIRESTARTER 2: Dynamic Code Generation for Processor Stress Tests , 2021, p. 582-590, 9 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
FPGA-Based Acceleration of THz SAR Imaging , 2021, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Fragment Forwarding in Lossy Networks , 2021, In: IEEE access. 9, p. 143969-143987, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
From Domain-Specific Languages to Memory-Optimized Accelerators for Fluid Dynamics , 2021, 2021 IEEE International Conference on Cluster Computing (CLUSTER). IEEE Xplore, p. 759-766, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
From Verification to Explanation (Track Introduction) , 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, Berlin [u. a.], p. 1-7, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution