VINCO, Sara
VINCO, Sara
DIPARTIMENTO DI INFORMATICA
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012-01-01 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara
A SystemC-centric Approach for Simulation and Generation of WSN Applications Targeted to ZigBee
2009-01-01 Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Vinco, Sara
A Unifying Flow to Ease Smart Systems Integration
2016-01-01 Lora, Michele; Vinco, Sara; Fummi, Franco
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications
2007-01-01 Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Vinco, Sara
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms
2018-01-01 Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco
Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations
2009-01-01 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
Automatic interface generation for component reuse in HW-SW partitioning
2011-01-01 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide; Vinco, Sara
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity
2013-01-01 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara
Conservative behavioural modelling in systemc-AMS
2015-01-01 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Correct-by-construction generation of device drivers based on RTL testbenches
2009-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara
Design Domains and Abstraction Levels for Effective Smart System Simulation
2016-01-01 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation
2011-01-01 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Functionality and Fault Modeling of a DC Motor with Verilog-AMS
2020-01-01 Dall'Ora, Nicola; Vinco, Sara; Fummi, Franco
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
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform
2009-01-01 Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Saggin, Saul; Vinco, Sara
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
2012-01-01 M., Becker; G. B., Gnokam Defo; W., Mueller; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara
Multi-Discipline Fault Modeling with Verilog-AMS
2021-01-01 Dall'Ora, Nicola; Fraccaroli, Enrico; Vinco, Sara; Fummi, Franco
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs
2013-01-01 Bombieri, Nicola; Fummi, Franco; Vinco, Sara
On the automatic synthesis of parallel SW from RTL models of hardware IPs
2012-01-01 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications
2013-01-01 V., Bertacco; D., Chatterjee; Bombieri, Nicola; Fummi, Franco; Vinco, Sara; A. M., Kaushik; H. D., Patel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems | 1-gen-2012 | Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; Vinco, Sara | |
| A SystemC-centric Approach for Simulation and Generation of WSN Applications Targeted to ZigBee | 1-gen-2009 | Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Vinco, Sara | |
| A Unifying Flow to Ease Smart Systems Integration | 1-gen-2016 | Lora, Michele; Vinco, Sara; Fummi, Franco | |
| AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications | 1-gen-2007 | Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Vinco, Sara | |
| Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms | 1-gen-2018 | Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco | |
| Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations | 1-gen-2009 | A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara | |
| Automatic interface generation for component reuse in HW-SW partitioning | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Quaglia, Davide; Vinco, Sara | |
| Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity | 1-gen-2013 | Fummi, Franco; Lora, Michele; Stefanni, Francesco; Vinco, Sara | |
| Conservative behavioural modelling in systemc-AMS | 1-gen-2015 | Vinco, Sara; Lora, Michele; Zwolinski, Mark | |
| Correct-by-construction generation of device drivers based on RTL testbenches | 1-gen-2009 | Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara | |
| 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 | |
| Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation | 1-gen-2011 | Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara | |
| Functionality and Fault Modeling of a DC Motor with Verilog-AMS | 1-gen-2020 | Dall'Ora, Nicola; Vinco, Sara; Fummi, Franco | |
| 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 | |
| Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform | 1-gen-2009 | Fummi, Franco; Perbellini, Giovanni; Quaglia, Davide; Saggin, Saul; Vinco, Sara | |
| MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution | 1-gen-2012 | M., Becker; G. B., Gnokam Defo; W., Mueller; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara | |
| Multi-Discipline Fault Modeling with Verilog-AMS | 1-gen-2021 | Dall'Ora, Nicola; Fraccaroli, Enrico; Vinco, Sara; Fummi, Franco | |
| On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs | 1-gen-2013 | Bombieri, Nicola; Fummi, Franco; Vinco, Sara | |
| On the automatic synthesis of parallel SW from RTL models of hardware IPs | 1-gen-2012 | A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara | |
| On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications | 1-gen-2013 | V., Bertacco; D., Chatterjee; Bombieri, Nicola; Fummi, Franco; Vinco, Sara; A. M., Kaushik; H. D., Patel |