CATALOGO DEI PRODOTTI DELLA RICERCA

GUARNIERI, Valerio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.680
EU - Europa 1.179
AS - Asia 898
SA - Sud America 67
Continente sconosciuto - Info sul continente non disponibili 28
AF - Africa 17
OC - Oceania 2
Totale 3.871
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.657
RU - Federazione Russa 469
SG - Singapore 351
CN - Cina 257
GB - Regno Unito 211
IT - Italia 119
VN - Vietnam 95
HK - Hong Kong 78
SE - Svezia 70
FI - Finlandia 67
DE - Germania 63
FR - Francia 63
BR - Brasile 52
KR - Corea 48
IE - Irlanda 44
UA - Ucraina 20
BD - Bangladesh 16
BE - Belgio 16
CA - Canada 10
ID - Indonesia 8
AT - Austria 7
MX - Messico 7
ES - Italia 6
IN - India 6
JP - Giappone 6
AR - Argentina 5
IQ - Iraq 5
PL - Polonia 5
ZA - Sudafrica 5
GR - Grecia 4
NG - Nigeria 4
NL - Olanda 4
TR - Turchia 4
EC - Ecuador 3
KZ - Kazakistan 3
PE - Perù 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BG - Bulgaria 2
EE - Estonia 2
HU - Ungheria 2
IL - Israele 2
MA - Marocco 2
MY - Malesia 2
PA - Panama 2
PH - Filippine 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
AU - Australia 1
CO - Colombia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
GT - Guatemala 1
GY - Guiana 1
IR - Iran 1
LT - Lituania 1
NI - Nicaragua 1
NO - Norvegia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
TN - Tunisia 1
TW - Taiwan 1
TZ - Tanzania 1
UZ - Uzbekistan 1
YE - Yemen 1
Totale 3.844
Salva come PNG Salva come JPEG
Città #
Singapore 209
Chandler 199
Ashburn 159
Moscow 157
Southend 154
Jacksonville 151
Dallas 145
San Jose 129
Woodbridge 127
Houston 96
Ann Arbor 87
Hong Kong 78
Verona 66
The Dalles 57
Beijing 45
Dublin 44
Council Bluffs 42
Ho Chi Minh City 27
Seoul 25
Lawrence 24
Princeton 24
Wilmington 24
Los Angeles 23
Hanoi 22
New York 22
Nanjing 18
Santa Clara 17
Brussels 16
Jinan 15
Columbus 14
Milan 12
Hebei 11
Helsinki 11
Washington 11
Boardman 10
Lancaster 10
Dong Ket 9
Munich 9
San Francisco 9
Guangzhou 8
Tianjin 8
Buffalo 7
Frankfurt am Main 7
Jiaxing 7
Norwalk 7
São Paulo 7
Cagliari 6
Changsha 6
Haikou 6
Ningbo 6
Orem 6
Taizhou 6
Brooklyn 5
Hangzhou 5
Jakarta 5
Redondo Beach 5
Rome 5
Seattle 5
Shanghai 5
Sindelfingen 5
Warsaw 5
Abuja 4
Atlanta 4
Auburn Hills 4
Chicago 4
Denver 4
Fuzhou 4
Johannesburg 4
Nuremberg 4
Poplar 4
Shenyang 4
Stockholm 4
Taiyuan 4
Tokyo 4
Turku 4
Athens 3
Dongguan 3
Florence 3
Haiphong 3
Lappeenranta 3
London 3
Phoenix 3
Saint-martin-d'heres 3
Shenzhen 3
Almaty 2
Ankara 2
Augusta 2
Baku 2
Biên Hòa 2
Boston 2
Cambridge 2
Chions 2
Da Nang 2
Delft 2
Dubai 2
Falkenstein 2
Guayaquil 2
Karlsruhe 2
Kent 2
Lanzhou 2
Totale 2.555
Salva come PNG Salva come JPEG
Nome #
Automatic HDL Conversion and Abstraction Methodologies 220
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 215
On the Reuse of RTL assertions in Systemc TLM Verification 188
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 181
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 175
An Optimized CLP-based Technique for Generating Propagation Sequences 170
Energy Aware TLM Platform Simulation via RTL Abstraction 167
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 166
Design and simulation of an integrated optical CMOS heart rate sensor 165
Design and Verification Techniques for TLM-based Design Flows 158
Design Domains and Abstraction Levels for Effective Smart System Simulation 158
On the Reuse of TLM Mutation Analysis at RTL 157
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 157
Reusing RTL assertion checkers for verification of SystemC TLM models 156
From RTL IP to functional system-level models with extra-functional properties 154
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 154
Mutation Analysis for SystemC Designs at TLM 153
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 148
Code Manipulation for Virtual Platform Integration 146
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 140
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 140
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 137
Testbench qualification of SystemC TLM protocols through Mutation Analysis 136
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 130
Totale 3.871
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.454
article - articoli 3.603
book - libri 0
conference - conferenze 7.867
curatela - curatele 0
other - altro 495
patent - brevetti 0
selected - selezionate 0
volume - volumi 489
Totale 24.908
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022157 0 45 0 13 12 3 6 10 2 8 19 39
2022/2023472 31 52 31 109 43 89 9 26 54 6 17 5
2023/2024218 11 18 17 12 28 50 3 15 4 24 24 12
2024/2025485 36 46 13 105 19 22 6 30 60 23 53 72
2025/20261.520 106 48 147 211 431 116 173 61 64 110 21 32
2026/202743 18 25 0 0 0 0 0 0 0 0 0 0
Totale 3.871