Pubblicazioni

Mattoccia, Stefano, Stereo vision algorithms suited to constrained FPGA cameras, in: Advances in Embedded Computer Vision Part of the series Advances in Computer Vision and Pattern Recognition, Gewerbestrasse 11 CH-6330 Cham (ZG), Springer International Publishing, 2014, pp. 109 - 134 [Capitolo/Saggio in libro]

S. Mattoccia; P. Macrì; G. Parmigiani; G. Rizza, A compact, lightweight and energy efficient system for autonomous navigation based on 3D vision, in: Mechatronic and Embedded Systems and Applications (MESA), 2014 IEEE/ASME 10th International Conference on, IEEE, 2014, pp. 1 - 6 (atti di: Mechatronic and Embedded Systems and Applications (MESA), 2014 IEEE/ASME 10th International Conference on, Senigallia, 10-12 Sept. 2014) [Contributo in Atti di convegno]

Mattoccia, S.; Macri, P., A real time 3D sensor for smart cameras, in: Proceeding ICDSC '14 Proceedings of the International Conference on Distributed Smart Cameras, ACM, 2014, pp. 1 - 6 (atti di: International Conference on Distributed Smart Cameras", Venice, Italy, Nov. 4-7, 2014) [Contributo in Atti di convegno]

Muscoloni, A.; Mattoccia, S., Real-time tracking with an embedded 3D camera with FPGA processing, in: 3D Imaging (IC3D), 2014 International Conference on, IEEE, 2014, pp. 1 - 7 (atti di: 3D Imaging (IC3D), 2014 International Conference on, Liege, 9-10 Dec 2014) [Contributo in Atti di convegno]

Filisetti, Alessandro; Villani, Marco; Roli, Andrea; Fiorucci, Marco; Poli, Irene; Serra, Roberto, On some properties of information theoretical measures for the study of complex systems, in: Advances in Artificial Life and Evolutionary Computation, Cham (ZG), Springer International Publishing, 2014, pp. 140 - 150 (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE) [Capitolo/Saggio in libro]

Sharma, R.; Magnani, M.; Montesi, D., Missing data in multiplex networks: A preliminary study, in: Complex Systems, 2014, pp. 401 - 407 (atti di: International Conference on Signal-Image Technology and Internet-Based Systems, Marrkech, 23-27/11/2014) [Contributo in Atti di convegno]

Rossi, Davide; Loi, Igor; Conti, Francesco.; Tagliavini, Giuseppe; Pullini, Antonio.; Marongiu, Andrea, Energy efficient parallel computing on the PULP platform with support for OpenMP, in: Proceedings of 2014 IEEE 28th Convention of Electrical & Electronics Engineers in Israel (IEEEI), IEEE, 2014, pp. 1 - 5 (atti di: 2014 IEEE 28th Convention of Electrical & Electronics Engineers in Israel (IEEEI), Eilat (Israele), 3-5 Dec. 2014) [Contributo in Atti di convegno]

Bellavista, P.; Corradi, A.; Reale, A., Quality of service in wide scale publish-subscribe systems, «IEEE COMMUNICATIONS SURVEYS AND TUTORIALS», 2014, 16, pp. 1591 - 1616 [Articolo in rivista]

Michael Adeyeye; Paolo Bellavista, Emerging research areas in SIP-based converged services for extended Web clients, «WORLD WIDE WEB», 2014, 17, pp. 1295 - 1319 [Articolo in rivista]

Reale, Andrea; Bellavista, Paolo; Corradi, Antonio; Milano, Michela, Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing, in: Integration of AI and OR Techniques in Constraint Programming, 2014, 8451, pp. 193 - 209 (atti di: 11th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR), Cork, Ireland, May 19-23, 2014) [Contributo in Atti di convegno]

Prandi, Catia; Salomoni, Paola; Mirri, Silvia, mPASS: Integrating people sensing and crowdsourcing to map urban accessibility, in: Consumer Communications and Networking Conference (CCNC), 2014 IEEE 11th, 2014, pp. 591 - 595 (atti di: Consumer Communications and Networking Conference (CCNC), 2014 IEEE 11th, Las Vegas (Nevada - USA), 10-13 January 2014) [Contributo in Atti di convegno]

Mirri, S.; Prandi, C.; Salomoni, P., A context-aware system for personalized and accessible pedestrian paths, in: High Performance Computing & Simulation (HPCS), 2014 International Conference on, IEEE, 2014, pp. 833 - 840 (atti di: High Performance Computing & Simulation (HPCS), 2014 International Conference on, Bologna (Italy), 21-25 July 2014) [Contributo in Atti di convegno]

Callegati, F.; Bonani, L.H.; Lezama, F.; Cerroni, W.; Campi, A.; Castanon, G., Trunk reservation for fair utilization in flexible optical networks, «IEEE COMMUNICATIONS LETTERS», 2014, 18, pp. 889 - 892 [Articolo in rivista]

Dal Lago, U.; Sangiorgi, D.; Alberti, M., On coinductive equivalences for higher-order probabilistic functional programs, in: Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, 2014, pp. 297 - 308 (atti di: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, San Diego, California, USA, January 22-24, 2014) [Contributo in Atti di convegno]

Di Iorio, A.; Rossi, D.; Turrini, E., Exploiting semantic knowledge in KnowBest, in: WETICE Conference (WETICE), 2014 IEEE 23rd International, IEEE press, 2014, pp. 423 - 428 (atti di: WETICE Conference (WETICE), 2014 IEEE 23rd International, Parma, June, 23rd-25th, 2014) [Contributo in Atti di convegno]

Accattoli, B.; Sacerdoti Coen, C., On the value of variables, in: Logic, Language, Information and Computation, Berlin, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8652 LNCS, pp. 36 - 50 (atti di: 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, Valparaiso, Chile, 01-04/09/2014) [Contributo in Atti di convegno]

Boender, J.; Sacerdoti Coen, C., On the correctness of a branch displacement algorithm, in: Tools and Algorithms for the Construction and Analysis of Systems, Berlin, Springer Berlin Heidelberg, «LECTURE NOTES IN COMPUTER SCIENCE», 2014, 8413 LNCS, pp. 605 - 619 (atti di: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, 5-13/04/2014) [Contributo in Atti di convegno]

Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G., Aeolus: A component model for the cloud, «INFORMATION AND COMPUTATION», 2014, 239, pp. 100 - 121 [Articolo in rivista]

Montesi, F.; Guidi, C.; Zavattaro, G., Service-oriented programming with Jolie, in: Web Services Foundations, Berlin, Springer, 2014, pp. 81 - 107 [Capitolo/Saggio in libro]

Bravetti, M.; Zavattaro, G., Choreographies and behavioural contracts on the way to dynamic updates, in: Proceedings First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, 2014, 168, pp. 12 - 31 (atti di: First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014) [Contributo in Atti di convegno]