CATALOGO DEI PRODOTTI DELLA RICERCA

GUARNIERI, Valerio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.360
EU - Europa 1.105
AS - Asia 658
SA - Sud America 54
AF - Africa 9
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.189
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.343
RU - Federazione Russa 437
SG - Singapore 250
CN - Cina 227
GB - Regno Unito 208
IT - Italia 88
HK - Hong Kong 75
SE - Svezia 70
FI - Finlandia 66
FR - Francia 63
DE - Germania 58
BR - Brasile 46
IE - Irlanda 44
VN - Vietnam 41
KR - Corea 29
UA - Ucraina 19
BE - Belgio 16
CA - Canada 8
AT - Austria 7
ID - Indonesia 7
MX - Messico 6
ES - Italia 5
PL - Polonia 5
ZA - Sudafrica 5
BD - Bangladesh 4
GR - Grecia 4
IN - India 4
JP - Giappone 4
NL - Olanda 4
AR - Argentina 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
EC - Ecuador 2
EE - Estonia 2
HU - Ungheria 2
IL - Israele 2
KZ - Kazakistan 2
PA - Panama 2
PE - Perù 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
AZ - Azerbaigian 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
EG - Egitto 1
GD - Grenada 1
GE - Georgia 1
IR - Iran 1
LT - Lituania 1
MA - Marocco 1
NO - Norvegia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PH - Filippine 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
TW - Taiwan 1
TZ - Tanzania 1
VE - Venezuela 1
Totale 3.189
Salva come PNG Salva come JPEG
Città #
Chandler 199
Southend 154
Jacksonville 151
Moscow 147
Dallas 141
Woodbridge 127
Singapore 116
Ashburn 106
Houston 94
Ann Arbor 87
Hong Kong 75
Dublin 44
Beijing 43
Verona 39
Lawrence 24
Princeton 24
Wilmington 24
Seoul 23
The Dalles 21
Los Angeles 20
Nanjing 18
New York 18
Brussels 16
Jinan 15
Columbus 14
Santa Clara 14
Milan 12
Hebei 11
Boardman 10
Helsinki 10
Lancaster 10
Dong Ket 9
Hanoi 9
Munich 9
San Francisco 8
Tianjin 8
Washington 8
Buffalo 7
Guangzhou 7
Jiaxing 7
Norwalk 7
São Paulo 7
Cagliari 6
Changsha 6
Council Bluffs 6
Haikou 6
Ho Chi Minh City 6
Ningbo 6
Taizhou 6
Brooklyn 5
Jakarta 5
Redondo Beach 5
Sindelfingen 5
Warsaw 5
Atlanta 4
Auburn Hills 4
Denver 4
Frankfurt am Main 4
Fuzhou 4
Johannesburg 4
Poplar 4
Rome 4
Seattle 4
Shanghai 4
Shenyang 4
Stockholm 4
Taiyuan 4
Turku 4
Athens 3
Dongguan 3
Hangzhou 3
Lappeenranta 3
London 3
Nuremberg 3
Orem 3
Saint-martin-d'heres 3
Almaty 2
Ankara 2
Augusta 2
Boston 2
Cambridge 2
Chicago 2
Chions 2
Delft 2
Dubai 2
Falkenstein 2
Florence 2
Guayaquil 2
Karlsruhe 2
Kent 2
Lanzhou 2
Lima 2
Milwaukee 2
Nettuno 2
Redwood City 2
Rio de Janeiro 2
Secaucus 2
Sofia 2
Tallinn 2
Tokyo 2
Totale 2.088
Salva come PNG Salva come JPEG
Nome #
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 178
Automatic HDL Conversion and Abstraction Methodologies 175
A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors 158
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 153
On the Reuse of RTL assertions in Systemc TLM Verification 152
An Optimized CLP-based Technique for Generating Propagation Sequences 146
Energy Aware TLM Platform Simulation via RTL Abstraction 142
Design Domains and Abstraction Levels for Effective Smart System Simulation 137
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 135
Design and Verification Techniques for TLM-based Design Flows 133
Mutation Analysis for SystemC Designs at TLM 132
Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection 131
On the Reuse of TLM Mutation Analysis at RTL 130
From RTL IP to functional system-level models with extra-functional properties 129
Design and simulation of an integrated optical CMOS heart rate sensor 129
Reusing RTL assertion checkers for verification of SystemC TLM models 125
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 120
Code Manipulation for Virtual Platform Integration 119
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 119
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 118
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 118
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 117
FAST-GP: An RTL Functional Verification Framework based on Fault Simulation on GP-GPUs 110
Testbench qualification of SystemC TLM protocols through Mutation Analysis 110
Totale 3.216
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.412
article - articoli 3.019
book - libri 0
conference - conferenze 6.556
curatela - curatele 0
other - altro 422
patent - brevetti 0
selected - selezionate 0
volume - volumi 415
Totale 20.824
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021130 0 0 0 0 34 25 9 14 7 4 20 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/2026908 106 48 147 211 396 0 0 0 0 0 0 0
Totale 3.216