Archivio Istituzionale della RicercaPATTI, DENIS
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 secondi).
Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers
2016 Rizvi, SYED TAHIR HUSSAIN; Cabodi, Gianpiero; Patti, Denis; Gulzar, Muhammad Majid
Accurate and Efficient Visual Search on Embedded Systems
2015 Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties
2014 Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties
2013 Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Comparison of GPGPU based Robotic Manipulator with other Embedded Controllers / Rizvi, S.T.H., Cabodi, G., Patti, D., Gulzar, M.M.. - ELETTRONICO. - 13:(2016), pp. 10-15. (13th International Conference on Development and Application Systems Suceava, Romania May 19-21, 2016) [10.1109/DAAS.2016.7492540]. | 1-gen-2016 | RIZVI, SYED TAHIR HUSSAINCABODI, GianpieroPATTI, DENIS + | - |
| Accurate and Efficient Visual Search on Embedded Systems / Massimo, B., Cabodi, G., Gianluca, F., Garbo, A., Loiacono, C., Patti, D., Quer, S.. - ELETTRONICO. - (2015). (International conference on advanced in computing, communication and information technology Birmingham 26-27 Maggio 2015). | 1-gen-2015 | CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + | - |
| To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, P.E., Loiacono, C., Pasini, P., Patti, D., Quer, S.. - ELETTRONICO. - (2014). (International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) Lausanne, Switzerland October 20, 2014). | 1-gen-2014 | CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano | - |
| Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, C., Palena, M., Pasini, P., Patti, D., Quer, S., Vendraminetto, D., Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. (Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) Grenoble, France March 2013) [10.7873/DATE.2013.170]. | 1-gen-2013 | LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, DANILO + | - |