Archivio Istituzionale della RicercaPATTI, DENIS
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.017 secondi).
Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills
2020 Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking
2018 Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano
A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform
2017 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad
Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform
2017 Rizvi, Syed; Patti, Denis; Bjorklund, TOMAS PER ROLF; Cabodi, Gianpiero; Francini, Gianluca
GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform
2016 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Francini, Gianluca
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks
2016 Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.
QEbu: an advanced graphical editor for the EBU Core metadata set
2013 Pasini, Paolo; Patti, Denis; Levra, Mauro; Pessiva, Giovanni; Ricossa, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills / Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D. - In: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION. - ISSN 0949-149X. - 36:5(2020), pp. 1505-1528. | 1-gen-2020 | Cabodi, GCamurati, PPasini, PPatti, DVendraminetto, D | 09_ijee3962.pdf |
| To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 20:(2018), pp. 313-325. [10.1007/s10009-017-0451-8] | 1-gen-2018 | CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, Stefano | Cabodi2018_Article_ToSplitOrToGroupFromDivide-and.pdf |
| A General-Purpose Graphics Processing Unit (GPGPU)-Accelerated Robotic Controller Using a Low Power Mobile Platform / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad. - In: JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS. - ISSN 2079-9268. - 7:2(2017), pp. 1-16. [10.3390/jlpea7020010] | 1-gen-2017 | RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPatti, Denis + | jlpea-07-00010.pdf |
| Deep Classifiers-Based License Plate Detection, Localization and Recognition on GPU-Powered Mobile Platform / Rizvi, Syed; Patti, Denis; Bjorklund, TOMAS PER ROLF; Cabodi, Gianpiero; Francini, Gianluca. - In: FUTURE INTERNET. - ISSN 1999-5903. - ELETTRONICO. - 9:4(2017), p. 66. [10.3390/fi9040066] | 1-gen-2017 | Patti, DenisBJORKLUND, TOMAS PER ROLFCABODI, Gianpiero + | futureinternet-09-00066.pdf |
| GPGPU Accelerated Deep Object Classification on a Heterogeneous Mobile Platform / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Francini, Gianluca. - In: ELECTRONICS. - ISSN 2079-9292. - 5:4(2016). [10.3390/electronics5040088] | 1-gen-2016 | RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPATTI, DENIS + | electronics-05-00088.pdf |
| Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks / Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - ELETTRONICO. - 9:(2016), pp. 135-172. | 1-gen-2016 | CABODI, GianpieroLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOQUER, StefanoPATTI, DENISVENDRAMINETTO, DANILO + | - |
| QEbu: an advanced graphical editor for the EBU Core metadata set / Pasini, Paolo; Patti, Denis; Levra, Mauro; Pessiva, Giovanni; Ricossa, Stefano. - In: EBU TECHNICAL REVIEW. - ISSN 1609-1469. - ELETTRONICO. - Q2 2013:(2013), pp. 1-13. | 1-gen-2013 | PASINI, PAOLOPATTI, DENIS + | - |