Подписаться
Nicola Bombieri
Nicola Bombieri
University of Verona
Подтвержден адрес электронной почты в домене univr.it
Название
Процитировано
Процитировано
Год
Hornet: An efficient data structure for dynamic sparse graphs and matrices on gpus
F Busato, O Green, N Bombieri, DA Bader
2018 IEEE High Performance extreme Computing Conference (HPEC), 1-7, 2018
982018
A mutation model for the SystemC TLM 2.0 communication interfaces
N Bombieri, F Fummi, G Pravadelli
Proceedings of the conference on Design, automation and test in Europe, 396-401, 2008
762008
An efficient implementation of the Bellman-Ford algorithm for Kepler GPU architectures
F Busato, N Bombieri
IEEE Transactions on Parallel and Distributed Systems 27 (8), 2222-2233, 2015
742015
HIFSuite: Tools for HDL code conversion and manipulation
N Bombieri, G Di Guglielmo, M Ferrari, F Fummi, G Pravadelli, F Stefanni, ...
EURASIP Journal on Embedded Systems 2010, 1-20, 2010
682010
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL
N Bombieri, F Fummi, G Pravadelli
Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006
642006
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2010
612010
Grapes: A software for parallel searching on biological graphs targeting multi-core architectures
R Giugno, V Bonnici, N Bombieri, A Pulvirenti, A Ferro, D Shasha
PloS one 8 (10), e76911, 2013
582013
BFS-4K: an Efficient Implementation of BFS for Kepler GPU Architectures
NB Federico Busato
IEEE Transactions on Parallel and Distributed Systems 26 (7), 1826 - 1838, 2014
532014
CRISPRitz: rapid, high-throughput and variant-aware in silico off-target site identification for CRISPR genome editing
S Cancellieri, MC Canver, N Bombieri, R Giugno, L Pinello
Bioinformatics 36 (7), 2001-2008, 2020
492020
Incremental ABV for functional validation of TL-to-RTL design refinement
N Bombieri, F Fummi, G Pravadelli
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
462007
Towards equivalence checking between TLM and RTL models
N Bombieri, F Fummi, G Pravadelli, J Marques-Silva
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
422007
Functional qualification of TLM verification
N Bombieri, F Fummi, G Pravadelli, M Hampton, F Letombe
2009 Design, Automation & Test in Europe Conference & Exhibition, 190-195, 2009
402009
Integrating RTL IPs into TLM designs through automatic transactor generation
N Bombieri, N Deganello, F Fummi
Proceedings of the conference on Design, automation and test in Europe, 15-20, 2008
362008
System/network design-space exploration based on TLM for networked embedded systems
N Bombieri, F Fummi, D Quaglia
ACM Transactions on Embedded Computing Systems (TECS) 9 (4), 1-32, 2010
342010
Advances in GPU research and practice
H Sarbazi-Azad
Morgan Kaufmann, 2016
332016
Comprehensive reconstruction and visualization of non-coding regulatory networks in human
V Bonnici, F Russo, N Bombieri, A Pulvirenti, R Giugno
Frontiers in bioengineering and biotechnology 2, 69, 2014
312014
On PSL properties re-use in SoC design flow based on Transaction Level Modeling
N Bombieri, A Fedeli, F Fummi
2005 Sixth International Workshop on Microprocessor Test and Verification …, 2005
302005
Quickly finding a truss in a haystack
O Green, J Fox, E Kim, F Busato, N Bombieri, K Lakhotia, S Zhou, ...
2017 IEEE High Performance Extreme Computing Conference (HPEC), 1-7, 2017
262017
A methodology for abstracting RTL designs into TL descriptions
N Bombieri, F Fummi, G Pravadelli
Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006
262006
Data flow ORB-SLAM for real-time performance on embedded GPU boards
S Aldegheri, N Bombieri, DD Bloisi, A Farinelli
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019
252019
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20