CATALOGO DEI PRODOTTI DELLA RICERCA

GUARNIERI, Valerio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.648
EU - Europa 1.175
AS - Asia 892
SA - Sud America 66
AF - Africa 17
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.801
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.626
RU - Federazione Russa 469
SG - Singapore 348
CN - Cina 256
GB - Regno Unito 211
IT - Italia 116
VN - Vietnam 95
HK - Hong Kong 78
SE - Svezia 70
FI - Finlandia 67
FR - Francia 63
DE - Germania 62
BR - Brasile 52
KR - Corea 47
IE - Irlanda 44
UA - Ucraina 20
BE - Belgio 16
BD - Bangladesh 15
CA - Canada 9
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
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.801
Salva come PNG Salva come JPEG
Città #
Singapore 209
Chandler 199
Ashburn 157
Moscow 157
Southend 154
Jacksonville 151
Dallas 145
San Jose 129
Woodbridge 127
Houston 96
Ann Arbor 87
Hong Kong 78
Verona 65
The Dalles 57
Beijing 45
Dublin 44
Ho Chi Minh City 27
Council Bluffs 24
Lawrence 24
Princeton 24
Seoul 24
Wilmington 24
Los Angeles 23
Hanoi 22
New York 21
Nanjing 18
Brussels 16
Santa Clara 16
Jinan 15
Columbus 14
Milan 12
Hebei 11
Helsinki 11
Boardman 10
Lancaster 10
Dong Ket 9
Munich 9
San Francisco 9
Washington 9
Guangzhou 8
Tianjin 8
Buffalo 7
Jiaxing 7
Norwalk 7
São Paulo 7
Cagliari 6
Changsha 6
Frankfurt am Main 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
Haiphong 3
Lappeenranta 3
London 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
Florence 2
Guayaquil 2
Karlsruhe 2
Kent 2
Lanzhou 2
Lima 2
Totale 2.526
Salva come PNG Salva come JPEG
Nome #
Automatic HDL Conversion and Abstraction Methodologies 217
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 207
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 174
An Optimized CLP-based Technique for Generating Propagation Sequences 169
Energy Aware TLM Platform Simulation via RTL Abstraction 166
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 165
Design and simulation of an integrated optical CMOS heart rate sensor 160
Design Domains and Abstraction Levels for Effective Smart System Simulation 158
On the Reuse of TLM Mutation Analysis at RTL 156
Design and Verification Techniques for TLM-based Design Flows 156
Reusing RTL assertion checkers for verification of SystemC TLM models 156
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 155
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 153
Mutation Analysis for SystemC Designs at TLM 151
From RTL IP to functional system-level models with extra-functional properties 150
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 145
Code Manipulation for Virtual Platform Integration 145
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 139
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 139
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 136
Testbench qualification of SystemC TLM protocols through Mutation Analysis 134
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 128
Totale 3.828
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.029
article - articoli 3.482
book - libri 0
conference - conferenze 7.588
curatela - curatele 0
other - altro 483
patent - brevetti 0
selected - selezionate 0
volume - volumi 476
Totale 24.058
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202117 0 0 0 0 0 0 0 0 0 0 0 17
2021/2022165 8 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
Totale 3.828