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
1102018
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
782015
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
782008
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
652006
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
632013
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2010
632010
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
582020
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
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
472007
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
452007
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
412023
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
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
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
332014
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
312005
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20