CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 181 a 200 di 374
Titolo Data di pubblicazione Autore(i) File
Flexible Energy-Aware Simulation of Heterogeneous Wireless Sensor Networks 1-gen-2009 Acquaviva, Andrea; Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide
On the Functional Qualification of a Platform Model 1-gen-2009 Fummi, Franco; Pravadelli, Graziano; DI GUGLIELMO, Luigi
On the Mutation Analysis of SystemC TLM-2.0 Standard 1-gen-2009 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Networked Embedded System Applications Design Driven by an Middleware Environment 1-gen-2009 Fummi, Franco; Perbellini, Giovanni; N., Roncolato
Correct-by-construction generation of device drivers based on RTL testbenches 1-gen-2009 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara
Mutation analysis with high-level decision diagrams 1-gen-2010 Hantson, H.; Raik, J.; Jenihhin, M.; Chepurov, A.; Ubar, R.; DI GUGLIELMO, Giuseppe; Fummi, Franco
Modeling of communication infrastructure for design-space exploration 1-gen-2010 Fummi, Franco; Lovato, G.; Quaglia, Davide; Stefanni, Francesco
Effective EFSM generation for HW/SW-design verification 1-gen-2010 Bertasi, M.; DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano
RTOS-aware refinement for TLM2.0-based HW/SW designs 1-gen-2010 Becker, M.; DI GUGLIELMO, Giuseppe; Fummi, Franco; Mueller, W.; Pravadelli, Graziano; Xie, T.
Exploration of network alternatives for middleware-centric embedded system design 1-gen-2010 Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Trenti, R.
Abstraction of RTL IPs into Embedded Software 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Network-adaptive management of computation energy in wireless sensor networks 1-gen-2010 Mulas, F.; Acquaviva, A.; Carta, S.; Fenu, G.; Quaglia, Davide; Fummi, Franco
Vacuity Analysis for Property Qualification by Mutation of Checkers 1-gen-2010 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
Semi-Formal Functional Verification by EFSM traversing via NuSMV 1-gen-2010 DI GUGLIELMO, Giuseppe; Fummi, Franco; Pravadelli, Graziano; Soffia, S.; Roveri, M.
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
System/Network Design Space Exploration based on TLM for Networked Embedded Systems 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
DDPSL: an Easy Way of Defining Properties 1-gen-2010 DI GUGLIELMO, Luigi; Fummi, Franco; Orlandi, Nicola; Pravadelli, Graziano
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.
Mostrati risultati da 181 a 200 di 374
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