|
| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina | Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties | Inproceedings Konferenzbeitrag  | 2023 |
| 62 | | Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti | Property-Based Mutation Testing | Inproceedings Konferenzbeitrag | 2023 |
| 63 | | Hunold, Sascha ; Steiner, Sebastian | OMPICollTune: Autotuning MPI Collectives by Incremental Online Learning | Inproceedings Konferenzbeitrag | 2023 |
| 64 | | Brandstatter, Andreas ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish ; Grosu, Radu | Multi-Agent Spatial Predictive Control with Application to Drone Flocking | Inproceedings Konferenzbeitrag | 2023 |
| 65 | | Voloder, Ammar ; di Angelo, Monika | Comparison of Smart Contract Platforms from the Perspective of Developers | Inproceedings Konferenzbeitrag | 2023 |
| 66 | | Träff, Jesper Larsson ; Hunold, Sascha ; Vardas, Ioannis ; Funk, Nikolaus Manes | Uniform Algorithms for Reduce-scatter and (most) other Collectives for MPI | Inproceedings Konferenzbeitrag | 2023 |
| 67 | | Öhlinger, Daniel ; Schmid, Ulrich | A Digital Delay Model Supporting Large Adversarial Delay Variations | Inproceedings Konferenzbeitrag | 2023 |
| 68 | | Ferdowsi, Arman ; Schmid, Ulrich ; Salzmann, Josef | Accurate Hybrid Delay Models for Dynamic Timing Analysis | Inproceedings Konferenzbeitrag | 2023 |
| 69 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | ShapeShifter: Protecting FPGAs from Side-Channel Attacks with Isofunctional Heterogeneous Modules | Inproceedings Konferenzbeitrag | 2023 |
| 70 | | Putra, Rachmad Vidya Wicaksana ; Shafique, Muhammad | TopSpark: A Timestep Optimization Methodology for Energy-Efficient Spiking Neural Networks on Autonomous Mobile Agents | Inproceedings Konferenzbeitrag | 2023 |
| 71 | | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation | Inproceedings Konferenzbeitrag | 2023 |
| 72 | | Ostrowski, Erik ; Prabakaran, Bharath Srinivas ; Shafique, Muhammad | SILOP: An Automated Framework for Semantic Segmentation Using Image Labels Based on Object Perimeters | Inproceedings Konferenzbeitrag | 2023 |
| 73 | | Marchisio, Alberto ; Dura, Davide ; Capra, Maurizio ; Martina, Maurizio ; Masera, Guido ; Shafique, Muhammad | SwiftTron: An Efficient Hardware Accelerator for Quantized Transformers | Inproceedings Konferenzbeitrag | 2023 |
| 74 | | Naseer, Mahum ; Shafique, Muhammad | Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs | Inproceedings Konferenzbeitrag | 2023 |
| 75 | | Forsell, Martti ; Roivainen, Jussi ; Leppänen, Ville ; Träff, Jesper Larsson | Preliminary Performance and Memory Access Scalability Study of Thick Control Flow Processors | Inproceedings Konferenzbeitrag | 2023 |
| 76 | | Hunold, Sascha ; Kraßnitzer, Klaus Dieter Vincenz | A Quantitative Analysis of OpenMP Task Runtime Systems | Inproceedings Konferenzbeitrag | 2023 |
| 77 |  | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Decidability of intuitionistic S4 | Inproceedings Konferenzbeitrag   | 2023 |
| 78 |  | Hunold, Sascha ; Vardas, Ioannis ; Ibis, Gökhan ; Langer, Thierry | Massively Scaling Molecular Screening Workloads on EuroHPC Supercomputers | Inproceedings Konferenzbeitrag | 2023 |
| 79 |  | Hunold, Sascha ; Hagn, Maximilian | MPI is Good, Control is Better: Checking Performance Guidelines of Collectives | Inproceedings Konferenzbeitrag | 2023 |
| 80 |  | Swartvagher, Philippe ; Vardas, Ioannis ; Hunold, Sascha ; Träff, Jesper Larsson | Rank Reordering within MPI Communicators to Exploit Deep Hierarchal Architectures of Supercomputers | Inproceedings Konferenzbeitrag | 2023 |
