CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020563 0 0 0 0 0 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.535 187 277 227 665 174 5 0 0 0 0 0 0
Totale 11.787