Seguir
Nicola Bombieri
Título
Citado por
Citado por
Año
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
1232018
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
882015
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
792008
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
732023
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
702013
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
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2010
652010
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
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
622020
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
552014
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
492007
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
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
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
372019
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
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
342014
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
342008
Advances in GPU research and practice
H Sarbazi-Azad
Morgan Kaufmann, 2016
332016
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
292017
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
282006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20