Configuration-Specific Test Pattern Extraction for Field Programmable Gate Arrays
1997-01-01 F., Ferrandi; Fummi, Franco; L., Pozzi; M. G., Sami
Implicit Test Pattern Generation Constrained to Cellular Automata Embedding
1997-01-01 Fummi, Franco; D., Sciuto
Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems
1997-01-01 Fummi, Franco; M. G., Sami; F., Tartarini
How an Evolving Fault Model Improves the Behavioral Test Generation
1997-01-01 G., Buonanno; F., Ferrandi; L., Ferrandi; Fummi, Franco; D., Sciuto
Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels
1997-01-01 M., Bacis; G., Buonanno; F., Ferrandi; Fummi, Franco; L., Gerli; D., Sciuto
Voci di Britannia: microstorie di latinizzazione
2018-01-01 Cotugno, Francesca
Unsupervised Domain Adaptation for Video Transformers in Action Recognition
2022-01-01 Turrisi da Costa, V. G.; Zara, G.; Rota, P.; Oliveira-Santos, T.; Sebe, N.; Murino, V.; Ricci, E.
Mixing Zero-Shot Learning Up: Learning Unseen Classes from Mixed Features
2022-01-01 Ivan Davila Carrazco, Julio; Morerio, Pietro; Del Bue, Alessio; Murino, Vittorio
The Challenges of Coupling Digital-Twins with Multiple Classes of Faults
2022-01-01 Tosoni, Francesco; Dall'Ora, Nicola; Fraccaroli, Enrico; Fummi, Franco
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era
2022-01-01 Boldo, Michele; Bombieri, Nicola; Centomo, Stefano; DE MARCHI, Mirco; Demrozi, Florenc; Pravadelli, Graziano; Quaglia, Davide; Turetta, Cristian
Implicit test Generation for Behavioral VHDL Models
1998-01-01 F., Ferrandi; Fummi, Franco; D., Sciuto
A Complete Test Strategy Based on Interacting and Hierarchical FSMs
1997-01-01 Fummi, Franco; D., Sciuto
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques
1996-01-01 F., Ferrandi; Fummi, Franco; E., Macii; M., Poncino; D., Sciuto
Symbolic Functional Vector Generation for VHDL Specifications
1999-01-01 F., Ferrandi; Fummi, Franco; L., Gerli; D., Sciuto
Sequential Test Compaction for Test Embedding
1996-01-01 R., Bevacqua; F., Ferrandi; Fummi, Franco; L., Guerrazzi
Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: a Mixed Functional/Structural Method
1994-01-01 Fummi, Franco; D., Sciuto; M., Serra
Power Estimation of Behavioral Descriptions
1998-01-01 F., Ferrandi; Fummi, Franco; E., Macii; M., Poncino; D., Sciuto
Biblioteche scolastiche, biblioterapia e benessere: quale benefici, quale formazione?
2023-01-01 Formiga, Federica
Improving learning abilities and inclusion through movement: the Movi-Mente© method
2023-01-01 Traina, Ivan; Sangalli, Luigi; Tognon, Fabio; Lascioli, Angelo
Aldo Neppi Modona e gli antichisti italiani nei carteggi del Gabinetto Vieusseux. Gli anni 1933-1940
2022-01-01 Bianchi, Edoardo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Contributo in atti di convegno14019
Data di pubblicazione
- In corso di stampa41
- 2020 - 20261509
- 2010 - 20194108
- 2000 - 20095809
- 1990 - 19991751
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer265
- IEEE219
- Springer-Verlag68
- ACM57
- SPRINGER INTERNATIONAL PUBLISHING AG46
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE247
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS59
- LEIBNIZ INTERNATIONAL PROCEEDINGS...28
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- ADVANCES IN INTELLIGENT SYSTEMS A...9
- COMMUNICATIONS IN COMPUTER AND IN...9
Keyword
- pattern recognition63
- Verona62
- CdTe51
- abstract interpretation50
- Italia48
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8597
- ita4512
- fre162
- ger107
- spa86
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12256
- open882
- restricted594
- reserved283
- embargoed2
- mixed1
- partially open1