BOMBIERI, Nicola

BOMBIERI, Nicola  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 95 (tempo di esecuzione: 0.053 secondi).
Titolo Data di pubblicazione Autore(i) File
Abstraction of RTL IPs into Embedded Software 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
At-Speed Functional Verification of Programmable Devices 1-gen-2004 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
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
Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation 1-gen-2019 Caligola, Simone; Carlucci, Tommaso; Fummi, Franco; Laudanna, Carlo; Constantin, Gabriela; Bombieri, Nicola; Giugno, Rosalba
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Automatic Transactor Generation in TLM by Exploiting EFSMs 1-gen-2007 Bombieri, Nicola; Fummi, Franco
Configuring Graph Traversal Applications for GPUs: Analysis of Implementation Strategies and their Correlation with Graph Characteristics 1-gen-2019 Busato, F.; Bombieri, N.
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 1-gen-2021 Lumpp, Francesco; Panato, Marco; Fummi, Franco; Bombieri, Nicola
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms 1-gen-2022 Lumpp, Francesco; Fummi, Franco; Patel, Hiren D.; Bombieri, Nicola
A containerized ROS-compliant verification environment for robotic systems 1-gen-2021 Aldegheri, S.; Bombieri, N.; Germiniani, S.; Moschin, F.; Pravadelli, G.
Correct-by-construction generation of device drivers based on RTL testbenches 1-gen-2009 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara
CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing 1-gen-2020 Cancellieri, Samuele; C Canver, Matthew; Bombieri, Nicola; Giugno, Rosalba; Pinello, Luca
CRISPRitz: rapid, high-throughput, and variant-aware in silico off-target site identification for CRISPR genome editing 1-gen-2019 Cancellieri, Samuele; C Canver, Matthew; Bombieri, Nicola; Giugno, Rosalba; Pinello, Luca
CRISPRme: Population and personal off-target sitecharacterization for CRISPR genome editing 1-gen-2020 Cancellieri, Samuele; Dirupo, Elia; Shen, Anne; Bauer, Daniel; Bombieri, Nicola; Giugno, Rosalba; Pinello, Luca
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 1-gen-2014 Guarnieri, Valerio; M., Petricca; A., Sassone; S., Vinco; Bombieri, Nicola; Fummi, Franco; E., Macii; M., Poncino
CUBE: A CUDA approach for Bucket Elimination on GPUs 1-gen-2016 Bistaffa, Filippo; Bombieri, Nicola; Farinelli, Alessandro
Data Flow ORB-SLAM for Real-time Performance on Embedded GPU Boards 1-gen-2019 Aldegheri, Stefano; Bombieri, Nicola; Bloisi, Domenico D.; Farinelli, Alessandro
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 1-gen-2014 Bombieri, Nicola; Distefano, Rosario; Scardoni, Giovanni; Fummi, Franco; Laudanna, Carlo; Giugno, Rosalba