Abstract is missing.
- Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous ModelsMarcel Christian Werner, Klaus Schneider 0001. 1-8 [doi]
- Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal VerificationMilan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler. 1-8 [doi]
- Enhancing Compiler-Driven HDL Design with Automatic Waveform AnalysisFrans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große. 1-8 [doi]
- Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing CellsVivek Govindasamy, Rainer Dömer. 1-8 [doi]
- VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination PaperAlessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni 0002. 1-8 [doi]
- Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea PaperHokeun Kim. 1-4 [doi]
- Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor SystemMarkus Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann. 1-7 [doi]
- Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea PaperLuigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani. 1-4 [doi]
- Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture DesignChristopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler. 1-8 [doi]
- Bifröst: Creating Hardware With Building BlocksJeremy Pope, Carl-Johan H. Seger. 1-8 [doi]
- A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation FlowFelix Böseler, Jörg Walter 0001. 1-8 [doi]
- Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA ModelsSören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler. 1-8 [doi]
- Virtual Prototype Driven Application Specific Hardware OptimizationJan Zielasko, Rolf Drechsler. 1-8 [doi]
- PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN OptimizationDaniele Jahier Pagliari, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello. 1-8 [doi]