VINCO, Sara

VINCO, Sara  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 23 (tempo di esecuzione: 0.052 secondi).
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
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
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
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
RTL IP abstraction into optimized embedded software 1-gen-2013 Bombieri, Nicola; D., Forrini; Fummi, Franco; M., Laurenzi; Vinco, Sara
SAGA: SystemC acceleration on GPU architectures 1-gen-2012 Vinco, Sara; Debapriya, Chatterjee; Valeria, Bertacco; Fummi, Franco