Follow
Nicola Bombieri
Title
Cited by
Cited by
Year
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
1092018
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
772015
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
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
702010
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
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
612013
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
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
552020
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
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
452007
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
442007
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
392009
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
352010
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
352008
Human genetic diversity alters off-target outcomes of therapeutic gene editing
S Cancellieri, J Zeng, LY Lin, M Tognon, MA Nguyen, J Lin, N Bombieri, ...
Nature genetics 55 (1), 34-43, 2023
332023
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
322014
Advances in GPU research and practice
H Sarbazi-Azad
Morgan Kaufmann, 2016
312016
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
282017
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
272006
The system can't perform the operation now. Try again later.
Articles 1–20