|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Cignarale, Giorgio ; Kuznets, Roman ; Schlögl, Thomas | Minimizing Agents’ State Corruption Resulting from Leak-Free Epistemic Communication Modeling | Inproceedings Konferenzbeitrag  | 29-Mar-2024 |
| 2 | | Kuznets, Roman | What Proof Theory Can Do for You | Presentation Vortrag | 17-Jan-2024 |
| 3 |  | Hue, Jerome | Interprocedural Constant Loop Bound Propagation for Patmos Architecture | Thesis Hochschulschrift   | 2024 |
| 4 |  | Fellner, David | Data Driven Detection of Misconfigurations in Power Distribution Systems | Thesis Hochschulschrift | 2024 |
| 5 |  | Müllner, Markus | Modeling Resource Utilization for Spiking Neural Networks in FPGAs | Thesis Hochschulschrift | 2024 |
| 6 |  | Walser, Stefan | Time-aware container-based virtualization | Thesis Hochschulschrift | 2024 |
| 7 | | Hunold, Sascha ; Xie, Biwei ; Shu, Kai | Benchmarking, Measuring, and Optimizing : 15th BenchCouncil International Symposium, Bench 2023, Revised Selected Papers | Proceedings Tagungsband | 2024 |
| 8 |  | Spitzer, Julian | HW Accelerator for Fault-Injection Experiments in QDI Circuits | Thesis Hochschulschrift | 2024 |
| 9 |  | Salzmann, Josef | Waveform Prediction of Digital Circuits by Sigmoidal Approximation | Thesis Hochschulschrift | 2024 |
| 10 |  | Tabassam, Zaheer | Utilizing and Extending the Inherent Fault Tolerance Properties of Asynchronous QDI Circuits | Thesis Hochschulschrift | 2024 |
| 11 |  | Hanif, Muhammad Abdullah | Robust and Energy Efficient Deep Learning Systems | Thesis Hochschulschrift | 2024 |
| 12 | | Hunold, Sascha | Unveiling the Complexities of Performance Analysis and Optimization in HPC Systems | Presentation Vortrag | 8-Dec-2023 |
| 13 | | di Angelo, Monika ; Salzer, Gernot | Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts | Inproceedings Konferenzbeitrag | 5-Dec-2023 |
| 14 | | Ostrowski, Erik ; Shafique, Muhammad | ISLE: A Framework for Image Level Semantic Segmentation Ensemble | Inproceedings Konferenzbeitrag | 3-Dec-2023 |
| 15 | | Prabakaran, Bharath Srinivas ; Ostrowski, Erik ; Shafique, Muhammad | ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images | Inproceedings Konferenzbeitrag | 1-Dec-2023 |
| 16 | | Prabakaran, Bharath Srinivas ; Mrazek, Vojtech ; Vasicek, Zdenek ; Sekanina, Lukas ; Shafique, Muhammad | Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems | Inproceedings Konferenzbeitrag | 30-Nov-2023 |
| 17 |  | Hunold, Sascha | Verifying Performance Guidelines for MPI Collectives at Scale | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 18 |  | Swartvagher, Philippe ; Hunold, Sascha ; Träff, Jesper Larsson ; Vardas, Ioannis | Using Mixed-Radix Decomposition to Enumerate Computational Resources of Deeply Hierarchical Architectures | Inproceedings Konferenzbeitrag | 12-Nov-2023 |
| 19 | | Monika di Angelo ; Durieux, Thomas ; Ferreira João F. ; Gernot Salzer | SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
| 20 | | Tundo, Alessandro ; Mobilio, Marco ; Ilager, Shashikant Shankar ; Brandic, Ivona ; Bartocci, Ezio ; Mariani, Leonardo | An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge | Inproceedings Konferenzbeitrag | 8-Nov-2023 |
