Sfoglia per Autore
Optimization of assertion placement in time-constrained embedded systems
2011-01-01 Izosimov, Viacheslav; Peng, Zebo; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Giuseppe
Time-Constraint-Aware Optimization of Assertions in Embedded Software
2012-01-01 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
2013-01-01 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2013-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara
On the reuse of RTL IPs for SysML model generation
2013-01-01 Bombieri, Nicola; Ebeid, Emad Samuel Malki; Fummi, Franco; Lora, Michele
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2014-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
Hardware Synthesis from Software-Oriented UML Descriptions
2014-01-01 Lora, Michele; Martinelli, Francesco; Fummi, Franco
Homogeneous Simulation: the Effective Integration Solution for Smart Systems
2014-01-01 Fummi, Franco; Lora, Michele; Dimitrios, Trachanis; Jan Van, Hese; Sara, Vinco
Multi-Level Modeling of Wireless Embedded Systems
2014-01-01 Fangyan, Li; Eric, Dekneuvel; Gilles, Jacquemod; Quaglia, Davide; Lora, Michele; Francois, Pecheux; Rémi, Butaud
Simulation/Co-Simulation Alternatives for Multi-Domain, Multi- Level, Multi-Language Design of Smart Sensor: The SMAC Methodology
2014-01-01 Dimitrios, Drogoudis; Fummi, Franco; Lora, Michele; Dimitrios, Trachanis; Sara, Vinco
Simulation Alternatives for Modeling Networked Cyber-Physical Systems
2014-01-01 Lora, Michele; Muradore, Riccardo; Riccardo, Reffato; Fummi, Franco
On the Reuse of RTL assertions in Systemc TLM Verification
2014-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
Moving from co-simulation to simulation for effective smart systems design
2014-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Dimitrios, Trachanis; Jahn, Vanhese; Sara, Vinco
Reusing RTL assertion checkers for verification of SystemC TLM models
2015-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems
2015-01-01 Lora, Michele; Muradore, Riccardo; Quaglia, Davide; Fummi, Franco
Conservative behavioural modelling in systemc-AMS
2015-01-01 Vinco, Sara; Lora, Michele; Zwolinski, Mark
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems
2016-01-01 Lora, Michele
SystemC-AMS Simulation of Conservative Behavioral Descriptions
2016-01-01 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems
2016-01-01 Fraccaroli, Enrico; Lora, Michele; Vinco, S.; Quaglia, Davide; Fummi, Franco
A Unifying Flow to Ease Smart Systems Integration
2016-01-01 Lora, Michele; Vinco, Sara; Fummi, Franco
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 | |
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity | 1-gen-2014 | Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco | |
Hardware Synthesis from Software-Oriented UML Descriptions | 1-gen-2014 | Lora, Michele; Martinelli, Francesco; Fummi, Franco | |
Homogeneous Simulation: the Effective Integration Solution for Smart Systems | 1-gen-2014 | Fummi, Franco; Lora, Michele; Dimitrios, Trachanis; Jan Van, Hese; Sara, Vinco | |
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/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 | |
Simulation Alternatives for Modeling Networked Cyber-Physical Systems | 1-gen-2014 | Lora, Michele; Muradore, Riccardo; Riccardo, Reffato; Fummi, Franco | |
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 | |
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 | |
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 | |
Simulation Alternatives for the Verification of Networked Cyber-Physical Systems | 1-gen-2015 | Lora, Michele; Muradore, Riccardo; Quaglia, Davide; Fummi, Franco | |
Conservative behavioural modelling in systemc-AMS | 1-gen-2015 | Vinco, Sara; Lora, Michele; Zwolinski, Mark | |
A Unifying Platform-Based Approach for the Design of Heterogeneous Systems | 1-gen-2016 | Lora, Michele | |
SystemC-AMS Simulation of Conservative Behavioral Descriptions | 1-gen-2016 | Vinco, Sara; Lora, Michele; Zwolinski, Mark | |
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems | 1-gen-2016 | Fraccaroli, Enrico; Lora, Michele; Vinco, S.; Quaglia, Davide; Fummi, Franco | |
A Unifying Flow to Ease Smart Systems Integration | 1-gen-2016 | Lora, Michele; Vinco, Sara; Fummi, Franco |
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