Archivio Istituzionale della RicercaVINCO, SARA
VINCO, SARA
Dipartimento di Automatica e Informatica
032283
AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications
2007 F., Fummi; G., Perbellini; Quaglia, Davide; Vinco, Sara
A SystemC-centric Approach for Simulation and Generation of WSN Applications Targeted to ZigBee
2009 F., Fummi; G., Perbellini; Quaglia, Davide; Vinco, Sara
Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations
2009 Acquaviva, Andrea; Bombieri, N; Fummi, F; Vinco, Sara
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform
2009 Fummi, F.; Perbellini, G.; Quaglia, Davide; Saggin, S.; Vinco, Sara
Correct-by-construction generation of device drivers based on RTL testbenches
2009 N., Bombieri; F., Fummi; G., Pravadelli; Vinco, Sara
Automatic interface generation for component reuse in HW-SW partitioning
2011 N., Bombieri; F., Fummi; Quaglia, Davide; Vinco, Sara
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation
2011 N., Bombieri; F., Fummi; V., Guarnieri; F., Stefanni; Vinco, Sara
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design
2011 Di Guglielmo, L.; Fummi, F.; Pravadelli, G.; Stefanni, F.; Vinco, Sara
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
2012 N., Bombieri; F., Fummi; V., Guarnieri; F., Stefanni; Vinco, Sara
SystemC simulation on GP-GPUs: CUDA vs. OpenCL
2012 N., Bombieri; Vinco, Sara; V., Bertacco; D., Chatterje
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis
2012 N., Bombieri; F., Fummi; V., Guarnieri; G., Pravadelli; Vinco, Sara
The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous Embedded Systems
2012 Diego, Braga; Franco, Fummi; Graziano, Pravadelli; Vinco, Sara
SAGA: SystemC acceleration on GPU architectures
2012 Vinco, Sara; Debapriya, Chatterjee; Valeria, Bertacco; Franco, Fummi
A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems
2012 Francesco, Stefanni; Graziano, Pravadelli; Franco, Fummi; Luigi Di, Guglielmo; Vinco, Sara
On the automatic synthesis of parallel SW from RTL models of hardware IPs
2012 Acquaviva, Andrea; N., Bombieri; F., Fummi; Vinco, Sara
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
2012 M., Becker; G. B., Gnokam Defo; W., Mueller; F., Fummi; G., Pravadelli; Vinco, Sara
Reuse and Integration of Heterogeneous Components for Efficient Embedded Software Generation
2013 Vinco, Sara
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development
2013 Acquaviva, Andrea; N., Bombieri; F., Fummi; Vinco, Sara
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration
2013 Luigi Di, Guglielmo; Franco, Fummi; Graziano, Pravadelli; Francesco, Stefanni; Vinco, Sara
On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications
2013 V., Bertacco; D., Chatterjee; N., Bombieri; F., Fummi; Vinco, Sara; A. M., Kaushik; H. D., Patel
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| AME: an Abstract Middleware Environment for Validating Networked Embedded Systems Applications / F., Fummi; G., Perbellini; Quaglia, Davide; Vinco, Sara. - (2007), pp. 187-194. (Intervento presentato al convegno IEEE High-Level Design and Test Workshop (HLDVT) tenutosi a Irvine, CA, USA nel Nov. 7-9) [10.1109/HLDVT.2007.4392812]. | 1-gen-2007 | QUAGLIA, DavideVINCO, SARA + | - |
| A SystemC-centric Approach for Simulation and Generation of WSN Applications Targeted to ZigBee / F., Fummi; G., Perbellini; Quaglia, Davide; Vinco, Sara. - (2009), pp. 320-321. (Intervento presentato al convegno IEEE International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous) tenutosi a Toronto, Canada nel 13-16 July) [10.4108/ICST.MOBIQUITOUS2009.6934]. | 1-gen-2009 | QUAGLIA, DavideVINCO, SARA + | - |
| Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations / Acquaviva, Andrea; Bombieri, N; Fummi, F; Vinco, Sara. - (2009), pp. 173-182. (Intervento presentato al convegno CODES-ISSS tenutosi a Grenoble, FR nel October 13-16, 2009) [10.1145/1629435.1629460]. | 1-gen-2009 | ACQUAVIVA, ANDREAVINCO, SARA + | - |
| Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform / Fummi, F.; Perbellini, G.; Quaglia, Davide; Saggin, S.; Vinco, Sara. - (2009), pp. 471-476. (Intervento presentato al convegno IEEE Microprocessor Test and Verification (MTV) tenutosi a Austin nel 07-08 Dicembre 2009) [10.1109/MTV.2009.13]. | 1-gen-2009 | QUAGLIA, DavideVINCO, SARA + | - |
| Correct-by-construction generation of device drivers based on RTL testbenches / N., Bombieri; F., Fummi; G., Pravadelli; Vinco, Sara. - (2009), pp. 1500-1505. (Intervento presentato al convegno ACM/IEEE Design, Automation and Test in Europe (DATE) tenutosi a Nice, France nel 20-24 April, 2009) [10.1109/DATE.2009.5090900]. | 1-gen-2009 | VINCO, SARA + | - |
| Automatic interface generation for component reuse in HW-SW partitioning / N., Bombieri; F., Fummi; Quaglia, Davide; Vinco, Sara. - (2011), pp. 793-796. (Intervento presentato al convegno IEEE EUROMICRO Conference on Digital System Design (DSD) tenutosi a Oulu, Finland nel August 31 - September 2, 2011) [10.1109/DSD.2011.105]. | 1-gen-2011 | QUAGLIA, DavideVINCO, SARA + | - |
| Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation / N., Bombieri; F., Fummi; V., Guarnieri; F., Stefanni; Vinco, Sara. - (2011), pp. 142-148. (Intervento presentato al convegno IEEE Forum for Design Languages (FDL) tenutosi a Oldenburg, Germany nel 13-15 September). | 1-gen-2011 | VINCO, SARA + | - |
| UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design / Di Guglielmo, L.; Fummi, F.; Pravadelli, G.; Stefanni, F.; Vinco, Sara. - (2011), pp. 33-40. (Intervento presentato al convegno IEEE International High Level Design Validation and Test Workshop (HLDVT) tenutosi a Napa Valley, CA, USA nel November 9-11, 2011) [10.1109/HLDVT.2011.6114163]. | 1-gen-2011 | VINCO, SARA + | - |
| HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels / N., Bombieri; F., Fummi; V., Guarnieri; F., Stefanni; Vinco, Sara. - In: DESIGN AUTOMATION FOR EMBEDDED SYSTEMS. - ISSN 0929-5585. - 16:2(2012), pp. 115-135. [10.1007/s10617-012-9092-z] | 1-gen-2012 | VINCO, SARA + | - |
| SystemC simulation on GP-GPUs: CUDA vs. OpenCL / N., Bombieri; Vinco, Sara; V., Bertacco; D., Chatterje. - (2012), pp. 343-352. (Intervento presentato al convegno ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) tenutosi a Tampere, Finland nel 7-12 October) [10.1145/2380445.2380500]. | 1-gen-2012 | VINCO, SARA + | - |
| Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis / N., Bombieri; F., Fummi; V., Guarnieri; G., Pravadelli; Vinco, Sara. - (2012), pp. 76-81. (Intervento presentato al convegno IEEE International Workshop on Microprocessor Test and Verification (MTV) tenutosi a Austin, TX, USA nel 10-12 December 2012) [10.1109/MTV.2012.21]. | 1-gen-2012 | VINCO, SARA + | - |
| The Strange Pair: IP-XACT and UNIVERCM to Integrate Heterogeneous Embedded Systems / Diego, Braga; Franco, Fummi; Graziano, Pravadelli; Vinco, Sara. - (2012), pp. 76-83. (Intervento presentato al convegno IEEE International High Level Design Validation and Test Workshop (HLDVT) tenutosi a Huntington Beach, CA nel 9-10 November 2012) [10.1109/HLDVT.2012.6418246]. | 1-gen-2012 | VINCO, SARA + | - |
| SAGA: SystemC acceleration on GPU architectures / Vinco, Sara; Debapriya, Chatterjee; Valeria, Bertacco; Franco, Fummi. - (2012), pp. 115-120. (Intervento presentato al convegno IEEE/ACM Design Automation Conference (DAC) tenutosi a San Francisco, USA nel June 2-6) [10.1145/2228360.2228382]. | 1-gen-2012 | VINCO, SARA + | - |
| A Formal Support for Homogeneous Simulation of Heterogeneous Embedded Systems / Francesco, Stefanni; Graziano, Pravadelli; Franco, Fummi; Luigi Di, Guglielmo; Vinco, Sara. - (2012), pp. 211-219. (Intervento presentato al convegno IEEE International Symposium on Industrial Embedded Systems tenutosi a Karlsruhe, Germany nel 20-22 June) [10.1109/SIES.2012.6356587]. | 1-gen-2012 | VINCO, SARA + | - |
| On the automatic synthesis of parallel SW from RTL models of hardware IPs / Acquaviva, Andrea; N., Bombieri; F., Fummi; Vinco, Sara. - (2012), pp. 71-74. (Intervento presentato al convegno ACM Great lakes symposium on VLSI (GLSVLSI) tenutosi a Salt Lake City, UT, USA nel 3-4 May) [10.1145/2206781.2206800]. | 1-gen-2012 | ACQUAVIVA, ANDREAVINCO, SARA + | - |
| MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution / M., Becker; G. B., Gnokam Defo; W., Mueller; F., Fummi; G., Pravadelli; Vinco, Sara. - (2012), pp. 296-299. (Intervento presentato al convegno ACM/IEEE Design, Automation and Test in Europe (DATE) tenutosi a Dresden, Germany nel 12-16 March) [10.1109/DATE.2012.6176482]. | 1-gen-2012 | VINCO, SARA + | - |
| Reuse and Integration of Heterogeneous Components for Efficient Embedded Software Generation / Vinco, Sara. - (2013). | 1-gen-2013 | VINCO, SARA | - |
| Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development / Acquaviva, Andrea; N., Bombieri; F., Fummi; Vinco, Sara. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 32:9(2013), pp. 1293-1306. [10.1109/TCAD.2013.2257924] | 1-gen-2013 | ACQUAVIVA, ANDREAVINCO, SARA + | - |
| UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration / Luigi Di, Guglielmo; Franco, Fummi; Graziano, Pravadelli; Francesco, Stefanni; Vinco, Sara. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - 62:(2013), pp. 225-241. [10.1109/TC.2012.156] | 1-gen-2013 | VINCO, SARA + | - |
| On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications / V., Bertacco; D., Chatterjee; N., Bombieri; F., Fummi; Vinco, Sara; A. M., Kaushik; H. D., Patel. - (2013), pp. 1357-1366. (Intervento presentato al convegno ACM/IEEE Design, Automation and Test in Europe (DATE) tenutosi a Grenoble, France nel 18-22 March) [10.7873/DATE.2013.279]. | 1-gen-2013 | VINCO, SARA + | - |