VINCO, Sara

VINCO, Sara  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 31 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) File
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
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems 1-gen-2012 Stefanni, Francesco; Pravadelli, Graziano; Fummi, Franco; DI GUGLIELMO, Luigi; 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
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Vinco, Sara
Reuse and Integration of Heterogeneous Components for Efficient Embedded Software Generation 1-gen-2013 Vinco, Sara