Sfoglia per Autore
The role of parallel simulation in functional verification
2008-01-01 DI GUGLIELMO, Giuseppe; Fummi, Franco; M., Hampton; Pravadelli, Graziano; Stefanni, Francesco
Network fault model for dependability assessment of networked embedded systems
2008-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
A SystemC-based framework for modeling and simulation of networked embedded systems
2008-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Time-varying network fault model for the design of dependable networked embedded systems
2009-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
SystemC Simulation of Networked Embedded Systems
2009-01-01 Stefanni, Francesco; Quaglia, Davide; Fummi, Franco
Modeling of communication infrastructure for design-space exploration
2010-01-01 Fummi, Franco; Lovato, G.; Quaglia, Davide; Stefanni, Francesco
HIFSuite: Tools for HDL Code Conversion and Manipulation
2010-01-01 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
2010-01-01 Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A.
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design
2011-01-01 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara
Communication-aware design flow for dependable networked embedded systems
2011-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Communication-aware middleware-based design-space exploration for networked embedded systems
2011-01-01 Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
A design and verification methodology for networked embedded systems
2011-01-01 Stefanni, Francesco
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation
2011-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Enabling tools for virtual platforms
2012-01-01 Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola
Refinement of UML/MARTE models for the design of networked embedded systems
2012-01-01 Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems
2012-01-01 M., Lazarescu; P., Sayyah; Quaglia, Davide; Stefanni, Francesco
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
2012-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
Automatic HDL Conversion and Abstraction Methodologies
2013-01-01 Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter
Automatic Network Protocol Synthesis from UML Sequence Diagrams
2013-01-01 Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
The role of parallel simulation in functional verification | 1-gen-2008 | DI GUGLIELMO, Giuseppe; Fummi, Franco; M., Hampton; Pravadelli, Graziano; Stefanni, Francesco | |
Network fault model for dependability assessment of networked embedded systems | 1-gen-2008 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
A SystemC-based framework for modeling and simulation of networked embedded systems | 1-gen-2008 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
Time-varying network fault model for the design of dependable networked embedded systems | 1-gen-2009 | Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
SystemC Simulation of Networked Embedded Systems | 1-gen-2009 | Stefanni, Francesco; Quaglia, Davide; Fummi, Franco | |
Modeling of communication infrastructure for design-space exploration | 1-gen-2010 | Fummi, Franco; Lovato, G.; Quaglia, Davide; Stefanni, Francesco | |
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. | |
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design | 1-gen-2011 | DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; 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 | |
A design and verification methodology for networked embedded systems | 1-gen-2011 | Stefanni, Francesco | |
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara | |
Enabling tools for virtual platforms | 1-gen-2012 | Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola | |
Refinement of UML/MARTE models for the design of networked embedded systems | 1-gen-2012 | Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco | |
SystemC Model Generation for Realistic Simulation of Networked Embedded Systems | 1-gen-2012 | M., Lazarescu; P., Sayyah; Quaglia, Davide; Stefanni, Francesco | |
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 | |
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
Automatic HDL Conversion and Abstraction Methodologies | 1-gen-2013 | Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter | |
Automatic Network Protocol Synthesis from UML Sequence Diagrams | 1-gen-2013 | Ebeid, Emad Samuel Malki; Fummi, Franco; Quaglia, Davide; Stefanni, Francesco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile