STEFANNI, Francesco

STEFANNI, Francesco  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
A design and verification methodology for networked embedded systems 1-gen-2011 Stefanni, Francesco
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 1-gen-2017 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
Automatic generation of self-adaptive transactors from PSL assertions 1-gen-2016 Stefanni, Francesco; Demrozi, Florenc; Pravadelli, Graziano
Automatic HDL Conversion and Abstraction Methodologies 1-gen-2013 Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 1-gen-2018 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
Automatic Network Protocol Synthesis from UML Sequence Diagrams 1-gen-2013 Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 1-gen-2014 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 1-gen-2013 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara
Communication-aware design flow for dependable networked embedded systems 1-gen-2011 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Communication-aware middleware-based design-space exploration for networked embedded systems 1-gen-2011 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Design and simulation of an integrated optical CMOS heart rate sensor 1-gen-2014 D., He; C., Liu; D., Trachanis; J. V., Hese; D., Drogoudis; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; S. P., Morgan; B. R., Hayes Gill
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 1-gen-2012 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
HIFSuite: Tools for HDL Code Conversion and Manipulation 1-gen-2010 Bombieri, Nicola; DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; M., Ferrari; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; A., Venturelli
HIFSuite: Tools for HDL Code Conversion and Manipulation 1-gen-2010 Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A.
Modeling of communication infrastructure for design-space exploration 1-gen-2010 Fummi, Franco; Lovato, G.; Quaglia, Davide; Stefanni, Francesco
Moving from co-simulation to simulation for effective smart systems design 1-gen-2014 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Dimitrios, Trachanis; Jahn, Vanhese; Sara, Vinco
Network fault model for dependability assessment of networked embedded systems 1-gen-2008 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Network Synthesis for Distributed Embedded Systems 1-gen-2018 Fraccaroli, Enrico; Stefanni, Francesco; Rizzi, Romeo; Quaglia, Davide; Fummi, Franco