Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 45
Titolo Data di pubblicazione Autore(i) File
Optimization of assertion placement in time-constrained embedded systems 1-gen-2011 Izosimov, Viacheslav; Peng, Zebo; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Giuseppe
Time-Constraint-Aware Optimization of Assertions in Embedded Software 1-gen-2012 Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M.
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 1-gen-2013 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 1-gen-2013 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara
On the reuse of RTL IPs for SysML model generation 1-gen-2013 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
Homogeneous Simulation: the Effective Integration Solution for Smart Systems 1-gen-2014 Fummi, Franco; Lora, Michele; Dimitrios, Trachanis; Jan Van, Hese; Sara, Vinco
Hardware Synthesis from Software-Oriented UML Descriptions 1-gen-2014 Lora, Michele; Martinelli, Francesco; Fummi, Franco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 1-gen-2014 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
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
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology 1-gen-2014 Dimitrios, Drogoudis; Fummi, Franco; Lora, Michele; Dimitrios, Trachanis; Sara, Vinco
On the Reuse of RTL assertions in Systemc TLM Verification 1-gen-2014 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
Multi-Level Modeling of Wireless Embedded Systems 1-gen-2014 Fangyan, Li; Eric, Dekneuvel; Gilles, Jacquemod; Quaglia, Davide; Lora, Michele; Francois, Pecheux; Rémi, Butaud
Simulation Alternatives for Modeling Networked Cyber-Physical Systems 1-gen-2014 Lora, Michele; Muradore, Riccardo; Riccardo, Reffato; Fummi, Franco
Conservative behavioural modelling in systemc-AMS 1-gen-2015 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems 1-gen-2015 Lora, Michele; Muradore, Riccardo; Quaglia, Davide; Fummi, Franco
Reusing RTL assertion checkers for verification of SystemC TLM models 1-gen-2015 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia
SystemC-AMS Simulation of Conservative Behavioral Descriptions 1-gen-2016 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Design Domains and Abstraction Levels for Effective Smart System Simulation 1-gen-2016 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco
A Fast Simulation Environment for Smart Systems Validation in presence of Electromagnetic Interferences 1-gen-2016 Fraccaroli, Enrico; Lora, Michele; Fummi, Franco; Montuschi, Paolo
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems 1-gen-2016 Lora, Michele
Mostrati risultati da 1 a 20 di 45
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