RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Uncovering hidden vulnerabilities in CNNs through evolutionary-based Image Test Libraries
2023 Turco, V.; Ruospo, A.; Gavarini, G.; Sanchez, E.; Sonza Reorda, M.
Understanding the Effects of Permanent Faults in GPU's Parallelism Management and Control Units
2023 Guerrero-Balaguera, Juan-David; Rodriguez Condia, Josie E.; dos Santos, Fernando F.; Sonza, Matteo; Rech, Paolo
Untestable faults identification in GPGPUs for safety-critical applications
2019 Condia, Josie E. Rodriguez; Da Silva, Felipe A.; Hamdioui, S.; Sauer, C.; Reorda, M. Sonza
Using Formal Methods to Support the Development of STLs for GPUs
2022 Deligiannis, Nikolaos; Faller, Tobias; RODRIGUEZ CONDIA, JOSIE ESTEBAN; Cantoro, Riccardo; Becker, Bernd; SONZA REORDA, Matteo
Using Hardware Performance Counters to support in-field GPU Testing
2021 Juan-David, Guerrero-Balaguera; Rodriguez Condia, Josie E.; SONZA REORDA, Matteo
Using Infrastructure IPs to support SW-based Self-Test of Processor Cores
2004 Bernardi, Paolo; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Using parallel genetic algorithms for solving the Min-Cut problem
1996 G., Godza; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Using symbolic techniques to find the maximum clique in very large sparse graphs
1995 Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
Validation and robustness assessment of an automotive system
2013 Desogus, Marco; SONZA REORDA, Matteo; Sterpone, Luca; Avantaggiati, V. A.; Audisio, G.; Sabatini, M.
Validation of the dependability of CAN-based networked systems
2004 Corno, Fulvio; J., Perez; M., Ramasso; SONZA REORDA, Matteo; Violante, Massimo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Uncovering hidden vulnerabilities in CNNs through evolutionary-based Image Test Libraries / Turco, V.; Ruospo, A.; Gavarini, G.; Sanchez, E.; Sonza Reorda, M.. - (2023). (Intervento presentato al convegno International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems tenutosi a Juan-Les-Pins (FR) nel 03-05 October 2023) [10.1109/DFT59622.2023.10313530]. | 1-gen-2023 | V. TurcoA. RuospoG. GavariniE. SanchezM. Sonza Reorda | Uncovering_hidden_vulnerabilities_in_CNNs_through_evolutionary-based_Image_Test_Libraries.pdf |
Understanding the Effects of Permanent Faults in GPU's Parallelism Management and Control Units / Guerrero-Balaguera, Juan-David; Rodriguez Condia, Josie E.; dos Santos, Fernando F.; Sonza, Matteo; Rech, Paolo. - ELETTRONICO. - (2023), pp. 1-14. (Intervento presentato al convegno SC23: International Conference for High Performance Computing, Networking, Storage and Analysis tenutosi a Denver CO (USA) nel November 12 - 17, 2023) [10.1145/3581784.3607086]. | 1-gen-2023 | Juan-David Guerrero-BalagueraJosie E. Rodriguez CondiaMatteo SonzaPaolo Rech + | sc_2023_nvbitpermfi.pdf; 3581784.3607086.pdf |
Untestable faults identification in GPGPUs for safety-critical applications / Condia, Josie E. Rodriguez; Da Silva, Felipe A.; Hamdioui, S.; Sauer, C.; Reorda, M. Sonza. - ELETTRONICO. - (2019), pp. 570-573. (Intervento presentato al convegno 2019 26th IEEE International Conference on Electronics, Circuits and Systems (ICECS) tenutosi a Genova nel 27-29 Nov. 2019) [10.1109/ICECS46596.2019.8964677]. | 1-gen-2019 | Condia, Josie E. RodriguezHamdioui, S.Reorda, M. Sonza + | camera ready version.pdf; 08964677.pdf |
Using Formal Methods to Support the Development of STLs for GPUs / Deligiannis, Nikolaos; Faller, Tobias; RODRIGUEZ CONDIA, JOSIE ESTEBAN; Cantoro, Riccardo; Becker, Bernd; SONZA REORDA, Matteo. - (2022), pp. 84-89. (Intervento presentato al convegno Asian Test Symposium (ATS) tenutosi a Taiwan nel 21-24 November 2022) [10.1109/ATS56056.2022.00027]. | 1-gen-2022 | Nikolaos DeligiannisJosie Esteban RodriguezRiccardo CantoroMatteo Sonza Reorda + | _ATS2022__Using_Formal_Methods_to_Support_the_Development_of_STLs_for_GPUs.pdf; Using_Formal_Methods_to_Support_the_Development_of_STLs_for_GPUs.pdf |
Using Hardware Performance Counters to support in-field GPU Testing / Juan-David, Guerrero-Balaguera; Rodriguez Condia, Josie E.; SONZA REORDA, Matteo. - (2021), pp. 1-4. (Intervento presentato al convegno 28th IEEE International Conference on Electronics Circuits and Systems tenutosi a Dubai nel 28 november-1 december 2021) [10.1109/ICECS53924.2021.9665511]. | 1-gen-2021 | Juan-David Guerrero-BalagueraJosie E. Rodriguez CondiaMatteo Sonza Reorda | GPU_Hardware_Performance_Counters.pdf; Using_Hardware_Performance_Counters_to_support_infield_GPU_Testing.pdf |
Using Infrastructure IPs to support SW-based Self-Test of Processor Cores / Bernardi, Paolo; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - (2004), pp. 22-27. (Intervento presentato al convegno MTV'04: 5th International Workshop on Microprocessor Test and Verification tenutosi a Austin (TX), USA nel 9-10 settembre 2004). | 1-gen-2004 | BERNARDI, PAOLOREBAUDENGO, MaurizioSONZA REORDA, Matteo | - |
Using parallel genetic algorithms for solving the Min-Cut problem / G., Godza; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - 1067:(1996), pp. 985-986. (Intervento presentato al convegno High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996 tenutosi a Brussels (BEL) nel April 15–19, 1996) [10.1007/3-540-61142-8_674]. | 1-gen-1996 | REBAUDENGO, MaurizioSONZA REORDA, Matteo + | - |
Using symbolic techniques to find the maximum clique in very large sparse graphs / Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1995). (Intervento presentato al convegno European Design and Test Conference, 1995. ED&TC 1995) [10.1109/EDTC.1995.470377]. | 1-gen-1995 | CORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo | - |
Validation and robustness assessment of an automotive system / Desogus, Marco; SONZA REORDA, Matteo; Sterpone, Luca; Avantaggiati, V. A.; Audisio, G.; Sabatini, M.. - ELETTRONICO. - (2013). (Intervento presentato al convegno 8th IEEE International Design & Test Symposium (IDT) tenutosi a Marrakech nel 16-18 Dicembre 2013). | 1-gen-2013 | DESOGUS, MARCOSONZA REORDA, MatteoSTERPONE, Luca + | - |
Validation of the dependability of CAN-based networked systems / Corno, Fulvio; J., Perez; M., Ramasso; SONZA REORDA, Matteo; Violante, Massimo. - (2004), pp. 161-164. (Intervento presentato al convegno IEEE High-level Design Validation and Test Workshop) [10.1109/HLDVT.2004.1431262]. | 1-gen-2004 | CORNO, FulvioSONZA REORDA, MatteoVIOLANTE, MASSIMO + | - |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 472
- 4 Contributo in Atti di Convegno ... 468
- 4 Contributo in Atti di Convegno ... 2
- 4 Contributo in Atti di Convegno ... 2
Data di pubblicazione
- In corso di stampa 2
- 2020 - 2023 70
- 2010 - 2019 130
- 2000 - 2009 167
- 1990 - 1999 99
- 1988 - 1989 4
Editore
- IEEE 131
- IEEE Computer Society 44
- Springer 25
- Institute of Electrical and Elect... 19
- IEEE - INST ELECTRICAL ELECTRONIC... 17
- ACM Press 7
- IEEE-INST ELECTRICAL ELECTRONICS ... 6
- IEEE / Institute of Electrical an... 4
- ACM 3
- ieee 3
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 22
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 2
- ... IEEE ... INTERNATIONAL SYMPOS... 1
- IFIP ADVANCES IN INFORMATION AND ... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
- PROCEEDINGS IEEE COMPUTER SOCIETY... 1
Keyword
- Reliability 12
- SBST 12
- Safety 10
- Electrical and Electronic Enginee... 9
- Graphics Processing Units (GPUs) 9
- Hardware and Architecture 8
- Reliability and Quality 7
- Risk 7
- software-based self-test 7
- Fault Injection 6
Lingua
- eng 287
- ger 1
- ita 1
Accesso al fulltext
- no fulltext 361
- partially open 52
- reserved 36
- open 21
- mixed 2