PATTI, DENIS

PATTI, DENIS  

031087  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.017 secondi).
Citazione Data di pubblicazione Autori File
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
Accurate and Efficient Visual Search on Embedded Systems / Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2015). ((Intervento presentato al convegno International conference on advanced in computing, communication and information technology tenutosi a Birmingham nel 26-27 Maggio 2015. 1-gen-2015 CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + -
Algoritmi e programmazione in pratica. Da specifiche a codice C / Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo; Cabodi, Gianpiero; Camurati, Paolo Enrico. - STAMPA. - (2018). 1-gen-2018 paolo pasinidenis pattidanilo vendraminettogianpiero cabodipaolo camurati -
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers / Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad Majid. - ELETTRONICO. - 13:(2016), pp. 10-15. ((Intervento presentato al convegno 13th International Conference on Development and Application Systems tenutosi a Suceava, Romania nel May 19-21, 2016 [10.1109/DAAS.2016.7492540]. 1-gen-2016 RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPATTI, DENIS + -
Dal problema al programma. Introduzione al problem-solving in linguaggio C / Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2016). 1-gen-2016 CAMURATI, Paolo EnricoPASINI, PAOLOCABODI, GianpieroPATTI, DENISVENDRAMINETTO, DANILO -
Dal problema al programma: introduzione al problem-solving in linguaggio C / Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2014), pp. 1-229. 1-gen-2014 CABODI, GianpieroCAMURATI, Paolo EnricoPASINI, PAOLOPATTI, DENISVENDRAMINETTO, DANILO libro_apogeo_20160207_pc.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
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. ((Intervento presentato al convegno Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) tenutosi a Grenoble, France nel March 2013 [10.7873/DATE.2013.170]. 1-gen-2013 LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, DANILO + con13-01.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 + riv16-01.pdf
Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C / Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2016). 1-gen-2016 CAMURATI, Paolo EnricoPASINI, PAOLOCABODI, GianpieroPATTI, 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 + -
Ricorsione e problem-solving: strategie algoritmiche in linguaggio C / Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, Danilo. - STAMPA. - (2015), pp. 1-205. 1-gen-2015 CABODI, GianpieroCAMURATI, Paolo EnricoPASINI, PAOLOPATTI, DENISVENDRAMINETTO, DANILO book.pdf
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 ijee2020_SchemaBased.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
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2014). ((Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) tenutosi a Lausanne, Switzerland nel October 20, 2014. 1-gen-2014 CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano wor14-01.pdf
Visual Analysis Algorithms for Embedded Systems / Patti, Denis. - (2018 Jun 06). 6-giu-2018 PATTI, DENIS -