CATALOGO DEI PRODOTTI DELLA RICERCA

BOMBIERI, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.703
EU - Europa 4.231
AS - Asia 1.895
AF - Africa 48
OC - Oceania 22
SA - Sud America 21
Continente sconosciuto - Info sul continente non disponibili 3
Totale 10.923
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.658
CN - Cina 1.028
GB - Regno Unito 987
IT - Italia 962
SE - Svezia 459
RU - Federazione Russa 358
FR - Francia 342
IE - Irlanda 317
SG - Singapore 294
DE - Germania 291
FI - Finlandia 236
VN - Vietnam 198
KR - Corea 79
UA - Ucraina 77
ID - Indonesia 73
BE - Belgio 47
HK - Hong Kong 46
JP - Giappone 43
CA - Canada 40
IN - India 31
TG - Togo 28
PH - Filippine 26
TW - Taiwan 25
AT - Austria 24
NL - Olanda 21
AU - Australia 20
DZ - Algeria 19
CH - Svizzera 18
ES - Italia 16
GR - Grecia 15
TR - Turchia 15
CZ - Repubblica Ceca 14
IR - Iran 14
IL - Israele 11
PL - Polonia 9
NO - Norvegia 8
AR - Argentina 7
BR - Brasile 7
DK - Danimarca 5
PT - Portogallo 5
MX - Messico 4
PK - Pakistan 4
RO - Romania 4
AE - Emirati Arabi Uniti 3
EE - Estonia 3
BG - Bulgaria 2
CL - Cile 2
CO - Colombia 2
EU - Europa 2
HU - Ungheria 2
LU - Lussemburgo 2
LV - Lettonia 2
NZ - Nuova Zelanda 2
PE - Perù 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
BD - Bangladesh 1
EC - Ecuador 1
EG - Egitto 1
GP - Guadalupe 1
HR - Croazia 1
KH - Cambogia 1
KZ - Kazakistan 1
RS - Serbia 1
SI - Slovenia 1
Totale 10.923
Salva come PNG Salva come JPEG
Città #
Chandler 885
Southend 852
Woodbridge 576
Jacksonville 549
Verona 401
Ann Arbor 333
Ashburn 312
Dublin 311
Singapore 220
Beijing 188
Houston 146
New York 130
Lawrence 125
Princeton 125
Dong Ket 119
Wilmington 112
Nanjing 83
Jinan 73
Milan 73
Shenyang 68
Jakarta 65
Helsinki 62
Boardman 61
Seoul 55
Sindelfingen 48
Brussels 47
Hebei 38
Washington 33
Lomé 28
Jiaxing 27
Tianjin 26
Chions 25
Dallas 25
Haikou 25
Changsha 24
Seattle 24
Hong Kong 23
Las Pinas 23
Naples 23
Norwalk 23
Taiyuan 23
Zhengzhou 23
Vienna 22
Des Moines 21
Ningbo 21
Redwood City 21
Nanchang 20
Chicago 19
Hangzhou 19
Santa Clara 19
Boydton 18
Tokyo 18
Falls Church 15
Fuzhou 15
Guangzhou 15
Munich 15
San Francisco 15
Taizhou 15
Zurich 15
Champaign 14
Kent 14
Los Angeles 14
Fairfield 13
Lancaster 13
Redmond 12
Shanghai 12
Tappahannock 12
Bolzano 11
Rome 11
Toronto 11
Algiers 10
New Taipei 10
Cambridge 9
Warsaw 9
Amsterdam 8
Boston 8
Kyiv 8
Melbourne 8
Waterloo 8
Auburn Hills 7
Centrale 7
Moscow 7
Turin 7
Wuhan 7
Ankara 6
Atlanta 6
Berkeley 6
Bovolone 6
Brno 6
Coimbatore 6
Columbus 6
Frankfurt am Main 6
Hamburg 6
Lanzhou 6
London 6
Newark 6
San Jose 6
Semarang 6
Taipei 6
Tel Aviv 6
Totale 7.081
Salva come PNG Salva come JPEG
Nome #
Arena-Idb: a platform to build human non-coding RNA interaction networks 207
Hardware Design and Simulation for Verification 159
CRISPRme: Population and personal off-target sitecharacterization for CRISPR genome editing 133
Parametric Multi-Step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components 122
Modelling, Simulation, and Tuning of Metabolic Networks Through Electronic Design Automation 119
BFS-4K: an Efficient Implementation of BFS for Kepler GPU Architectures 117
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 116
A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology 116
On the reuse of RTL IPs for SysML model generation 114
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation 112
An Improved Electronic Design Automation Methodology for modelling Leukocyte Integrin Activation 108
APPAGATO: an APproximate PArallel and stochastic GrAph querying TOol for biological networks 107
On the Automatic Generation of GPU‐oriented Software Applications from RTL IPs 106
Real-Time Multi-Person Identification and Tracking via HPE and IMU Data Fusion 104
SMAC: Smart Systems Co-Design 103
On the Reuse of RTL assertions in Systemc TLM Verification 103
Graph Algorithms on GPUs 100
CRISPRitz: rapid, high-throughput, and variant-aware in silico off-target site identification for CRISPR genome editing 100
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework 99
HIFSuite: Tools for HDL Code Conversion and Manipulation 97
cuRnet: an R package for graph traversing on GPU 96
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology 94
SystemC simulation on GP-GPUs: CUDA vs. OpenCL 94
A Design Flow based on Docker and Kubernetes for ROS-based Robotic Software Applications 91
An efficient implementation of the Bellman-Ford algorithm for Kepler GPU architectures 91
Fast and Power-efficient Embedded Software Implementation of Digital Image Stabilization for Low-cost Autonomous Boats 91
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 90
Reusing RTL assertion checkers for verification of SystemC TLM models 89
CRISPRitz: rapid, high-throughput, and variant-aware in silico off-target site identification for CRISPR genome editing 88
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions 87
An Efficient Approach for Accelerating Bucket Elimination on GPUs 87
On the Reuse of TLM Mutation Analysis at RTL 86
On the Use of GP-GPUs for Accelerating Compute-intensive EDA Applications 86
A Framework for the Design and Simulation of Embedded Vision Applications Based on OpenVX and ROS 86
CUBE: A CUDA approach for Bucket Elimination on GPUs 86
Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows 85
Automatic interface generation for component reuse in HW-SW partitioning 85
MIPP: A Microbenchmark Suite for Performance, Power, and Energy Consumption Characterization of GPU architectures 85
At-Speed Functional Verification of Programmable Devices 84
From RTL IP to functional system-level models with extra-functional properties 84
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation 84
An Enhanced Profiling Framework for the Analysis and Development of Parallel Primitives for GPUs 84
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 84
Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations 83
A Container-based Design Methodology for Robotic Applications on Kubernetes Edge-Cloud architectures 83
TLM/Network Design Space Exploration for Networked Embedded Systems 82
Mutation Analysis for SystemC Designs at TLM 81
Power-aware Performance Tuning of GPU Applications Through Microbenchmarking 81
Testbench qualification of SystemC TLM protocols through Mutation Analysis 80
SyQUAL: a Platform for Qualitative Modelling and Simulation of Biological Systems 80
Enhancing Performance of Computer Vision Applications on Low-Power Embedded Systems Through Heterogeneous Parallel Programming 80
On the Automatic Transactor Generation in TLM-based Design Flows 79
Exploiting GPU Architectures for Dynamic Invariant Mining 79
HIFSuite: Tools for HDL Code Conversion and Manipulation 79
Functional Verification of Networked Embedded Systems 78
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 78
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 78
A TLM Design for Verification Methodology 77
A Methodology for Abstracting RTL Designs into TL Descriptions 77
Correct-by-construction generation of device drivers based on RTL testbenches 77
Pro++: A Profiling Framework for Primitive-based GPU Programming 77
Real-time Human Pose Estimation at the Edge for Gait Analysis at a Distance 76
On the Property-based Verification in SoC Design Flow Founded on Transaction Level Modeling 76
Automatic Transactor Generation in TLM by Exploiting EFSMs 76
A dynamic approach for workload partitioning on GPU architectures 76
Quickly Finding a Truss in a Haystack 76
On the automatic synthesis of parallel SW from RTL models of hardware IPs 76
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 75
Configuring Graph Traversal Applications for GPUs: Analysis of Implementation Strategies and their Correlation with Graph Characteristics 75
Incremental ABV for Functional Validation of TL-to-RTL Design Refinement 74
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 74
Energy Aware TLM Platform Simulation via RTL Abstraction 74
On the Load Balancing Techniques for GPU Applications Based on Prefix-scan 74
On the Task Mapping and Scheduling for DAG-based Embedded Vision Applications on Heterogeneous Multi/Many-core Architectures 74
RTL property abstraction for TLM assertion-based verification 74
A Fine-grained Performance Model for GPU Architectures 74
Incremental ABV for TL-to-RTL Design Refinement 73
An Efficient Implementation of a Subgraph Isomorphism Algorithm for GPUs. 73
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 73
SystemC implementation of Stochastic Petri Nets for Simulation and Parametrization of Biological Networks 73
Human genetic diversity alters therapeutic gene editing off-target outcomes 73
System/Network Design Space Exploration based on TLM for Networked Embedded Systems 72
On the Containerization and Orchestration of RISC-V architectures for Edge-Cloud computing 71
Reuse and Optimization of Testbenches and Properties in a TLM-to-RTL Design Flow 71
Addressing the Smart Systems Design Challenge: The SMAC Platform 71
Data Flow ORB-SLAM for Real-time Performance on Embedded GPU Boards 71
Efficient ROS-Compliant CPU-iGPU Communication on Embedded Platforms 71
On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL 70
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling 70
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development 70
A Method to Abstract RTL IP Blocks into C++ Code and Enable High-Level Synthesis 70
Hornet: An Efficient Data Structure for Dynamic Sparse Graphs and Matrices on GPUs 70
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces 69
Comprehensive reconstruction and visualization of non-coding regulatory networks in human 69
Containerization and Orchestration of Software for Autonomous Mobile Robots: a Case Study of Mixed-Criticality Tasks across Edge-Cloud Computing Platforms 68
A performance, power, and energy efficiency analysis of load balancing techniques for GPUs 67
Rapid Prototyping of Embedded Vision Systems: Embedding Computer Vision Applications into Low-Power Heterogeneous Architectures 66
Efficient Simulation and Parametrization of Stochastic Petri Nets in SystemC: A Case study from Systems Biology 66
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications 66
GPU-Accelerated BFS for Dynamic Networks 65
Totale 8.590
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.295
article - articoli 10.910
book - libri 229
conference - conferenze 26.109
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.047
Totale 76.590
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020780 0 0 0 83 134 125 77 48 44 92 64 113
2020/20211.199 79 148 57 111 131 200 20 60 64 17 93 219
2021/20221.031 57 252 15 121 78 50 18 48 48 31 85 228
2022/20232.673 179 247 296 424 241 557 66 157 352 59 48 47
2023/20241.861 62 97 222 136 210 320 128 112 21 131 276 146
2024/20251.029 187 277 227 338 0 0 0 0 0 0 0 0
Totale 11.281