default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th FDL 2023: Turin, Italy
- Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023. IEEE 2023, ISBN 979-8-3503-0737-5
- Daniele Jahier Pagliari
, Matteo Risso, Beatrice Alessandra Motetti, Alessio Burrello:
PLiNIO: A User-Friendly Library of Gradient-Based Methods for Complexity-Aware DNN Optimization. 1-8 - Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler:
Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. 1-8 - Luigi 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:
Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper. 1-4 - Markus P. Plattner, Chedi Fassi, Florian Kreiner, Jintin Frank, Philipp Radecker, Markus Zimmermann:
Satellite Payload Design for Optimized Thermal Management Using a Distributed Processor System. 1-7 - Jeremy Pope, Carl-Johan H. Seger:
Bifröst: Creating Hardware With Building Blocks. 1-8 - Jan Zielasko, Rolf Drechsler:
Virtual Prototype Driven Application Specific Hardware Optimization. 1-8 - Hokeun Kim:
Secure Programming Platform for Edge-Based IoT: Wild-and-Crazy-Idea Paper. 1-4 - Marcel Christian Werner, Klaus Schneider:
Formal Methods-Based Optimization of Dataflow Models with Translation to Synchronous Models. 1-8 - Alessandro Beghi, Nicola Dall'Ora, Davide Dalle Pezze, Franco Fummi, Chiara Masiero, Stefano Spellini, Gian Antonio Susto, Francesco Tosoni:
VIR2EM: VIrtualization and Remotization for Resilient and Efficient Manufacturing: Project-Dissemination Paper. 1-8 - Felix Böseler, Jörg Walter:
A Flexible Graph Language for a Model-Based Semi-Automatic CGRA Compilation Flow. 1-8 - Vivek Govindasamy, Rainer Dömer:
Instruction-Level Modeling and Evaluation of a Cache-Less Grid of Processing Cells. 1-8 - Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler:
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. 1-8 - Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Große:
Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. 1-8 - Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler:
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. 1-8
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
