Enhancing Split Computing and Early Exit Applications through Predefined Sparsity
Capogrosso, Luigi, Fraccaroli, Enrico, Petrozziello, Giulio, Setti, Francesco, Chakraborty, Samarjit, Fummi, Franco, Cristani, Marco
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
Multi-objective preference-free exact design space exploration of static DSP on multicore platforms
Jordao, Rodolfo, Bahrami, Fahimeh, Yang, Yu, Becker, Matthias, Sander, Ingo, Rosvall, Kathrin
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
Cross-domain Analog Fault Injection for Designing Robust Smart Systems
Tosoni, Francesco, Dall'Ora, Nicola, Fraccaroli, Enrico, Vinco, Sara, Fummi, Franco
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs
Klemmer, Lucas, Grose, Daniel
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
Automatic Parallelization of Embedded Software via Hierarchical Process Network Transformations
Bahrami, Fahimeh, Jordao, Rodolfo, Sander, Ingo, Ungureanu, George
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
Exploring Multidomain Faults in Digital Twin: A Gaming Engine Perspective : Wild-and-Crazy-Idea Paper
Tosoni, Francesco, Amin, Muhammad Ihtisham, Dall'Ora, Nicola, Fraccaroli, Enrico, Fummi, Franco
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
Improving PSS Test Generation Using Model Checking and Conformance Testing
Ledent, Philippe, Mateescu, Radu, Serwe, Wendelin
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
A Quantitative Type Approach to Formal Component-Based System Design
Chen, Rui, Sander, Ingo
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
Timing enclaves for performance in Lingua Franca
Robledo, Julian, Menard, Christian, Jellum, Erling, Lee, Edward A., Castrillon, Jeronimo
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding
Mining signal temporal logic specifications for hybrid systems
Nicoletti, Daniele, Germiniani, Samuele, Pravadelli, Graziano
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Published in 2024 Forum on Specification & Design Languages (FDL) (04.09.2024)
Get full text
Conference Proceeding