PORTO @ Archivio Istituzionale della Ricerca

CABODI, Gianpiero
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 23.414
NA - Nord America 17.466
AS - Asia 11.194
SA - Sud America 728
AF - Africa 138
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 10
Totale 52.970
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.258
IT - Italia 9.794
GB - Regno Unito 3.839
SG - Singapore 3.433
FR - Francia 2.699
DE - Germania 2.682
CN - Cina 2.469
VN - Vietnam 2.245
RU - Federazione Russa 1.427
UA - Ucraina 894
BR - Brasile 588
TR - Turchia 530
HK - Hong Kong 499
KR - Corea 449
JP - Giappone 355
NL - Olanda 354
IE - Irlanda 296
AT - Austria 263
SE - Svezia 262
IN - India 252
IL - Israele 251
FI - Finlandia 243
CH - Svizzera 236
JO - Giordania 146
CA - Canada 136
BE - Belgio 96
MY - Malesia 96
PH - Filippine 78
TH - Thailandia 64
BD - Bangladesh 60
TW - Taiwan 58
ID - Indonesia 54
EU - Europa 50
IQ - Iraq 41
AR - Argentina 40
PK - Pakistan 35
RO - Romania 34
ES - Italia 31
MX - Messico 31
PL - Polonia 27
AE - Emirati Arabi Uniti 24
GH - Ghana 24
CR - Costa Rica 23
ZA - Sudafrica 23
BG - Bulgaria 20
CO - Colombia 20
CL - Cile 19
IR - Iran 19
SN - Senegal 18
VE - Venezuela 18
AU - Australia 16
UZ - Uzbekistan 15
EC - Ecuador 14
EG - Egitto 14
MA - Marocco 14
PT - Portogallo 14
DK - Danimarca 13
EE - Estonia 12
KE - Kenya 12
KZ - Kazakistan 12
SA - Arabia Saudita 12
CZ - Repubblica Ceca 11
LT - Lituania 11
NP - Nepal 10
TN - Tunisia 10
AL - Albania 9
ET - Etiopia 9
PE - Perù 9
PY - Paraguay 9
AP - ???statistics.table.value.countryCode.AP??? 8
AZ - Azerbaigian 8
HR - Croazia 8
BY - Bielorussia 7
LU - Lussemburgo 7
UY - Uruguay 7
HU - Ungheria 6
PA - Panama 6
DO - Repubblica Dominicana 5
DZ - Algeria 4
GR - Grecia 4
SY - Repubblica araba siriana 4
BO - Bolivia 3
GE - Georgia 3
KW - Kuwait 3
LB - Libano 3
LV - Lettonia 3
NG - Nigeria 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
RS - Serbia 3
SI - Slovenia 3
SK - Slovacchia (Repubblica Slovacca) 3
AM - Armenia 2
CI - Costa d'Avorio 2
HN - Honduras 2
PS - Palestinian Territory 2
QA - Qatar 2
TJ - Tagikistan 2
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
Totale 52.950
Salva come PNG Salva come JPEG
Città #
Ashburn 4.252
Southend 3.479
Torino 3.340
Singapore 2.182
Turin 1.584
Seattle 1.551
Fairfield 1.245
San Jose 740
Chandler 677
Woodbridge 676
Ho Chi Minh City 612
Hanoi 528
Santa Clara 513
Boardman 508
Ann Arbor 502
Houston 486
Hefei 470
Princeton 469
Cambridge 462
Jacksonville 431
Wilmington 422
Dallas 421
Hong Kong 406
Beijing 394
Milan 393
San Ramon 383
Izmir 308
Dublin 286
Berlin 277
Umatate 255
Bern 208
Vienna 203
Zhengzhou 190
Moscow 187
Chicago 182
Helsinki 182
Saint Petersburg 166
Shanghai 158
Seoul 154
San Donato Milanese 147
Tel Aviv 143
Tongling 141
Lauterbourg 134
Istanbul 133
Los Angeles 129
Zaporozhye 127
Rome 111
Da Nang 105
Baltimore 100
Munich 98
Council Bluffs 91
New York 91
Pennsylvania Furnace 91
Bremen 89
Nuremberg 85
Overberg 84
Jerusalem 82
Bologna 81
Brussels 79
Buffalo 76
Monopoli 75
Haiphong 72
Hangzhou 72
Guangzhou 71
Toronto 67
Amsterdam 66
Herkenbosch 64
Mountain View 62
Des Moines 61
Fremont 56
Padua 51
London 50
Turku 50
Malatya 45
Lecce 44
São Paulo 44
Dearborn 42
Novara 42
San Diego 42
Orem 41
Redwood City 41
North Bergen 40
Tokyo 40
San Francisco 37
Norwalk 36
Rotterdam 34
Naples 33
Jakarta 32
Frankfurt 31
Hải Dương 31
Falls Church 30
Andover 28
Biên Hòa 28
Washington 28
Columbus 27
Bangkok 26
Genova 26
Modena 25
Paris 25
Augusta 24
Totale 33.838
Salva come PNG Salva come JPEG
Nome #
Dal problema al programma: introduzione al problem-solving in linguaggio C 1.865
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C 1.158
TPDL*: Extended Temporal Profile Description Language 727
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques 656
Expressing logical and temporal conditions in simulation environments: TPDL* 651
Sequential circuit diagnosis based on formal verification techniques 649
A new model for improving symbolic Product Machine traversal 647
C_TPDL* : adapting TPDL* to concurrent simulation environments 647
The General Product Machine: a New Model for Symbolic FSM Traversal 625
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis 618
Testability measures with concurrent good simulation 609
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques 595
Interpolation Sequences Revisited 575
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification 574
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions 574
Accurate and Efficient Visual Search on Embedded Systems 569
Experiences in Prolog based DFT rule checking 540
Transforming boolean relations by symbolic encoding 534
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization 487
Algoritmi e programmazione in pratica. Da specifiche a codice C 484
SAT solver management strategies in IC3: an experimental approach 474
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C 473
Embedded Systems Secure Path Verification at the HW/SW Interface 470
Secure Path Verification 470
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking 455
Formal Methods in Computer-Aided Design (FMCAD), 2012 451
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications 448
Scalable FPGA Graph model to detect routing faults 446
Thread-based multi-engine model checking for multicore platforms 444
Strengthening Model Checking Techniques with Inductive Invariants 436
Formal Verification of Embedded Systems for Remote Attestation 430
Secure Embedded Architectures: Taint Properties Verification 426
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills 424
Dal problema al programma. Introduzione al problem-solving in linguaggio C 422
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints 421
Special issue on FMCAD 2012 421
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks 420
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking 416
Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening 413
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties 409
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers 407
Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking 406
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform 401
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 398
A Symbolic Approach for the Combined Solution of Scheduling and Allocation 396
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking 391
Optimization techniques for craig interpolant compaction in unbounded model checking 390
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification 389
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem 384
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform 381
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals 379
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking 376
Efficient Complex High-Precision Computations on GPUs without Precision Loss 375
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform 374
A Transputer-based gate-level fault simulator 367
Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking 364
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits 363
Optimized Deep Neural Networks for Real-Time Object Classification on Embedded GPUs 362
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems 353
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking 353
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal 352
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 352
Evaluation of optimal charging station location for electric vehicles: an Italian case-study 352
Improving SAT-based Bounded Model Checking by Means of BDD-Based Approximate Traversals. 350
Gabor Filter based Image Representation for Object Classification 350
Boosting the role of inductive invariants in model checking 343
Are BDDs Still Alive within Sequential Verification? 343
Stepping Forward with Interpolants in Unbounded Model Checking 338
Comparative analysis of models and performance indicators for optimal service facility location 333
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks 333
A Parallel System for Test Pattern Generation 331
Computing Timed Transition Relations for Sequential cycle-based simulation 329
BDD-Based Hardware Verification 329
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems 329
Introduzione alla programmazione in linguaggio C.Nozioni fondamentali, esempi ed esercizi 328
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT 328
A Parallel Approach to Symbolic Traversal Based on Set Partitioning 324
Memory Optimization in Function and Set Manipulation with BDDs 322
Detecting hard faults with combined approximate forward / backwardsymbolic techniques 322
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems 321
GPGPU based concurrent classification using trained model of handwritten digits 320
Interpolation-based learning as a mean to speed-up Bounded Model Checking 318
A data parallel approach to Boolean function manipulation using BDDs 317
Improving symbolic reachability analysis by means of activity profiles 316
Optimized model checking of multiple properties 315
Advancements in Mixed BDD and SAT Techniques 314
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars 314
Boolean Function Manipulation on Massively Parallel Computers 310
Biasing symbolic search by means of dynamic activity profiles 305
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance 303
Auxiliary variables for extending symbolic traversal techniques to data paths 303
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions 298
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits 296
Fault Simulation in a Multilevel Environment: the MOZART Approach 295
Reachability Analysis of Large Circuits Using Disjunctive Partitioning and Partial Iterative Squaring 293
Can BDDs compete with SAT solvers on Bounded Model Checking? 292
Symbolic Traversals of Data Paths with Auxiliary Variables 291
Efficient State Space Pruning in Symbolic Backward Traversal 287
Enhancing FSM Traversal by Temporary Re-Encoding 285
Implicit Manipulation of Equivalence Classes for Large Finite State Machines 282
Totale 42.925
Salva come PNG Salva come JPEG
Categoria #
all - tutte 121.683
article - articoli 46.771
book - libri 8.119
conference - conferenze 62.026
curatela - curatele 1.503
other - altro 768
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.496
Totale 243.366
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021334 0 0 0 0 0 0 0 0 0 0 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/202610.848 498 755 825 679 655 821 1.645 1.084 2.234 1.403 249 0
Totale 53.223