CATALOGO DEI PRODOTTI DELLA RICERCA

GUARNIERI, Valerio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.852
EU - Europa 1.186
AS - Asia 907
SA - Sud America 69
Continente sconosciuto - Info sul continente non disponibili 28
AF - Africa 17
OC - Oceania 2
Totale 4.061
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.819
RU - Federazione Russa 469
SG - Singapore 355
CN - Cina 258
GB - Regno Unito 214
IT - Italia 120
VN - Vietnam 95
HK - Hong Kong 78
SE - Svezia 70
FI - Finlandia 67
DE - Germania 65
FR - Francia 63
BR - Brasile 54
KR - Corea 48
IE - Irlanda 44
UA - Ucraina 20
CA - Canada 17
BD - Bangladesh 16
BE - Belgio 16
ID - Indonesia 8
IN - India 8
MX - Messico 8
AT - Austria 7
JP - Giappone 7
ES - Italia 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
EE - Estonia 3
KZ - Kazakistan 3
PE - Perù 3
PH - Filippine 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
BG - Bulgaria 2
HU - Ungheria 2
IL - Israele 2
MA - Marocco 2
MY - Malesia 2
PA - Panama 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
AU - Australia 1
BB - Barbados 1
BZ - Belize 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 4.034
Salva come PNG Salva come JPEG
Città #
Ashburn 224
Singapore 212
Chandler 199
Dallas 162
Moscow 157
Southend 154
Jacksonville 152
San Jose 148
Woodbridge 127
Houston 97
Ann Arbor 87
Hong Kong 78
Verona 66
The Dalles 57
Beijing 45
Dublin 44
Council Bluffs 43
Ho Chi Minh City 27
Seoul 25
Lawrence 24
New York 24
Princeton 24
Wilmington 24
Los Angeles 23
Hanoi 22
Santa Clara 20
Nanjing 18
Washington 17
Brussels 16
Jinan 15
Columbus 14
Milan 12
Hebei 11
Helsinki 11
Munich 11
Boardman 10
Lancaster 10
Dong Ket 9
Norwalk 9
San Francisco 9
Guangzhou 8
São Paulo 8
Tianjin 8
Atlanta 7
Buffalo 7
Chicago 7
Denver 7
Frankfurt am Main 7
Jiaxing 7
Brooklyn 6
Cagliari 6
Changsha 6
Haikou 6
Ningbo 6
Orem 6
Taizhou 6
Hangzhou 5
Jakarta 5
Redondo Beach 5
Rome 5
Seattle 5
Shanghai 5
Sindelfingen 5
Tokyo 5
Warsaw 5
Abuja 4
Auburn Hills 4
Fuzhou 4
Johannesburg 4
Nuremberg 4
Phoenix 4
Poplar 4
Shenyang 4
Stockholm 4
Taiyuan 4
Turku 4
Athens 3
Dongguan 3
Florence 3
Haiphong 3
Lappeenranta 3
London 3
Saint-martin-d'heres 3
Shenzhen 3
Toronto 3
Almaty 2
Ankara 2
Augusta 2
Baku 2
Bengaluru 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
Totale 2.691
Salva come PNG Salva come JPEG
Nome #
Automatic HDL Conversion and Abstraction Methodologies 239
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 230
On the Reuse of RTL assertions in Systemc TLM Verification 193
Design and Verification Techniques for TLM-based Design Flows 191
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 183
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 180
An Optimized CLP-based Technique for Generating Propagation Sequences 173
Design and simulation of an integrated optical CMOS heart rate sensor 173
Energy Aware TLM Platform Simulation via RTL Abstraction 172
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 168
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 168
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 165
Design Domains and Abstraction Levels for Effective Smart System Simulation 165
From RTL IP to functional system-level models with extra-functional properties 162
Mutation Analysis for SystemC Designs at TLM 161
On the Reuse of TLM Mutation Analysis at RTL 161
Reusing RTL assertion checkers for verification of SystemC TLM models 159
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 156
Code Manipulation for Virtual Platform Integration 150
Testbench qualification of SystemC TLM protocols through Mutation Analysis 145
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 145
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 144
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 143
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 135
Totale 4.061
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.055
article - articoli 3.781
book - libri 0
conference - conferenze 8.217
curatela - curatele 0
other - altro 543
patent - brevetti 0
selected - selezionate 0
volume - volumi 514
Totale 26.110
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022112 0 0 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/2027233 18 31 64 120 0 0 0 0 0 0 0 0
Totale 4.061