PORTO @ Archivio Istituzionale della Ricerca

CABODI, Gianpiero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 21.742
NA - Nord America 15.794
AS - Asia 6.118
SA - Sud America 522
AF - Africa 81
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 9
Totale 44.282
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.647
IT - Italia 9.459
GB - Regno Unito 3.782
DE - Germania 2.624
FR - Francia 2.548
CN - Cina 2.051
SG - Singapore 1.963
UA - Ucraina 880
RU - Federazione Russa 528
TR - Turchia 510
BR - Brasile 460
KR - Corea 345
NL - Olanda 331
JP - Giappone 310
IE - Irlanda 292
AT - Austria 258
SE - Svezia 256
IL - Israele 247
CH - Svizzera 229
FI - Finlandia 193
HK - Hong Kong 163
JO - Giordania 139
CA - Canada 106
BE - Belgio 94
MY - Malesia 87
IN - India 78
VN - Vietnam 67
EU - Europa 50
ID - Indonesia 35
RO - Romania 29
BD - Bangladesh 27
GH - Ghana 24
AE - Emirati Arabi Uniti 20
BG - Bulgaria 20
ES - Italia 19
PL - Polonia 19
TW - Taiwan 19
CR - Costa Rica 18
PK - Pakistan 18
AR - Argentina 16
IR - Iran 14
MX - Messico 14
AU - Australia 13
ZA - Sudafrica 13
DK - Danimarca 12
EE - Estonia 12
PH - Filippine 12
SN - Senegal 12
CL - Cile 11
CO - Colombia 10
UZ - Uzbekistan 9
AP - ???statistics.table.value.countryCode.AP??? 8
CZ - Repubblica Ceca 8
EC - Ecuador 8
EG - Egitto 8
HR - Croazia 8
IQ - Iraq 8
KZ - Kazakistan 7
LU - Lussemburgo 7
MA - Marocco 7
AL - Albania 6
SA - Arabia Saudita 6
TH - Thailandia 6
BY - Bielorussia 5
PT - Portogallo 5
TN - Tunisia 5
VE - Venezuela 5
GR - Grecia 4
PE - Perù 4
PY - Paraguay 4
AZ - Azerbaigian 3
ET - Etiopia 3
HU - Ungheria 3
KW - Kuwait 3
LT - Lituania 3
NG - Nigeria 3
NP - Nepal 3
NZ - Nuova Zelanda 3
SY - Repubblica araba siriana 3
UY - Uruguay 3
AM - Armenia 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
GE - Georgia 2
HN - Honduras 2
KE - Kenya 2
LV - Lettonia 2
NO - Norvegia 2
QA - Qatar 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
TJ - Tagikistan 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
BO - Bolivia 1
CU - Cuba 1
DZ - Algeria 1
JM - Giamaica 1
KG - Kirghizistan 1
LB - Libano 1
Totale 44.274
Salva come PNG Salva come JPEG
Città #
Ashburn 3.957
Southend 3.479
Torino 3.340
Seattle 1.550
Turin 1.427
Fairfield 1.244
Singapore 1.187
Chandler 677
Woodbridge 676
Boardman 508
Ann Arbor 502
Santa Clara 492
Houston 484
Princeton 469
Cambridge 462
Jacksonville 431
Wilmington 421
Dallas 391
San Ramon 383
Milan 361
Beijing 338
Hefei 328
Izmir 308
Dublin 283
Berlin 276
Umatate 255
Bern 208
Vienna 201
Zhengzhou 190
Chicago 181
Saint Petersburg 166
Helsinki 163
Shanghai 153
San Donato Milanese 147
Tel Aviv 141
Tongling 141
Zaporozhye 127
Istanbul 124
Hong Kong 123
Rome 101
Baltimore 100
Pennsylvania Furnace 91
Bremen 89
Overberg 84
Jerusalem 82
Nuremberg 80
Seoul 80
Brussels 78
Bologna 75
Monopoli 75
Council Bluffs 74
Hangzhou 71
Munich 71
Guangzhou 66
New York 65
Herkenbosch 64
Mountain View 62
Buffalo 61
Des Moines 61
Amsterdam 57
Toronto 57
Fremont 56
Padua 51
Malatya 45
Lecce 44
Dearborn 42
Novara 42
San Diego 42
Redwood City 41
Los Angeles 39
Norwalk 36
San Francisco 36
Moscow 34
Rotterdam 34
San Jose 34
Frankfurt 31
São Paulo 31
Falls Church 30
Jakarta 29
Andover 28
Columbus 27
London 27
Washington 27
Genova 26
Ho Chi Minh City 25
Augusta 24
Naples 24
Nürnberg 24
Modena 23
San Antonio 23
Nanjing 22
Palermo 22
Paris 22
Turku 22
Florence 20
Piscataway 19
Fortaleza 18
Genoa 18
Tokyo 18
Imola 17
Totale 29.111
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.714
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.056
TPDL*: Extended Temporal Profile Description Language 683
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 610
Expressing logical and temporal conditions in simulation environments: TPDL* 607
C_TPDL* : adapting TPDL* to concurrent simulation environments 605
A new model for improving symbolic Product Machine traversal 597
Sequential circuit diagnosis based on formal verification techniques 592
The General Product Machine: a New Model for Symbolic FSM Traversal 577
Testability measures with concurrent good simulation 574
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 567
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques 544
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 530
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions 509
Experiences in Prolog based DFT rule checking 504
Interpolation Sequences Revisited 497
Transforming boolean relations by symbolic encoding 474
Accurate and Efficient Visual Search on Embedded Systems 460
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 425
Embedded Systems Secure Path Verification at the HW/SW Interface 405
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 404
Algoritmi e programmazione in pratica. Da specifiche a codice C 400
Formal Methods in Computer-Aided Design (FMCAD), 2012 397
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 391
Thread-based multi-engine model checking for multicore platforms 390
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications 388
Strengthening Model Checking Techniques with Inductive Invariants 379
Special issue on FMCAD 2012 376
SAT solver management strategies in IC3: an experimental approach 366
Scalable FPGA Graph model to detect routing faults 365
Secure Path Verification 362
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 361
Dal problema al programma. Introduzione al problem-solving in linguaggio C 357
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 355
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 352
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 350
Formal Verification of Embedded Systems for Remote Attestation 349
Secure Embedded Architectures: Taint Properties Verification 346
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers 343
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 338
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 336
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 325
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform 324
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 322
Optimization techniques for craig interpolant compaction in unbounded model checking 316
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 316
A Transputer-based gate-level fault simulator 315
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 315
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 313
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 313
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform 312
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 308
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform 305
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 301
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 299
Boosting the role of inductive invariants in model checking 296
Gabor Filter based Image Representation for Object Classification 294
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 293
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 292
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 289
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 288
A Parallel System for Test Pattern Generation 288
Computing Timed Transition Relations for Sequential cycle-based simulation 287
Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs 286
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 285
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 280
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 280
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 276
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 275
Are BDDs Still Alive within Sequential Verification? 275
Improving symbolic reachability analysis by means of activity profiles 274
Memory Optimization in Function and Set Manipulation with BDDs 273
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT 273
Biasing symbolic search by means of dynamic activity profiles 270
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 270
Optimized model checking of multiple properties 267
Efficient Complex High-Precision Computations on GPUs without Precision Loss 267
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 266
Advancements in Mixed BDD and SAT Techniques 264
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 262
A data parallel approach to Boolean function manipulation using BDDs 262
Stepping Forward with Interpolants in Unbounded Model Checking 259
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 257
Boolean Function Manipulation on Massively Parallel Computers 257
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 256
GPGPU based concurrent classification using trained model of handwritten digits 254
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi 253
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 253
Can BDDs compete with SAT solvers on Bounded Model Checking? 252
Efficient State Space Pruning in Symbolic Backward Traversal 251
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 251
BDD-Based Hardware Verification 250
Interpolation-based learning as a mean to speed-up Bounded Model Checking 249
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation 248
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 246
Enhancing FSM Traversal by Temporary Re-Encoding 245
Auxiliary variables for extending symbolic traversal techniques to data paths 243
Symbolic Traversals of Data Paths with Auxiliary Variables 240
Fast Differential Fault Simulation by Dynamic Fault Ordering 240
Comparative analysis of models and performance indicators for optimal service facility location 240
Totale 36.595
Salva come PNG Salva come JPEG
Categoria #
all - tutte 106.210
article - articoli 40.841
book - libri 7.234
conference - conferenze 54.001
curatela - curatele 1.329
other - altro 658
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.147
Totale 212.420
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.226 0 0 0 430 156 292 187 293 241 293 232 102
2021/20222.021 155 160 56 121 98 135 102 116 178 189 304 407
2022/20232.839 240 435 63 278 296 394 192 182 376 37 110 236
2023/20241.179 65 71 88 99 107 173 56 74 64 63 138 181
2024/20254.971 104 469 236 470 369 446 146 529 731 162 460 849
2025/20262.156 498 755 825 78 0 0 0 0 0 0 0 0
Totale 44.531