Pubblicazioni

Elvira Albert; Frank S. de Boer; Reiner Hahnle; Einar Broch Johnsen; Cosimo Laneve, Engineering virtualized services, in: Second Nordic Symposium on Cloud Computing {\&} Internet Technologies, NordiCloud '13, «ACM INTERNATIONAL CONFERENCE PROCEEDINGS SERIES», 2013, 826, pp. 59 - 63 (atti di: Second Nordic Symposium on Cloud Computing {\&} Internet Technologies, NordiCloud '13, Oslo, September 1-3, 2013) [Contributo in Atti di convegno]

Elena Giachino; Cosimo Laneve, A Beginner's Guide to the DeadLock Analysis Model, in: Trustworthy Global Computing - 7th International Symposium, TGC 2012, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 8191LNCS, pp. 49 - 63 (atti di: Trustworthy Global Computing - 7th International Symposium, Newcastle upon Tyne, UK, September 7-8, 2012) [Contributo in Atti di convegno]

Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice, in: Integrated Formal Methods, 10th International Conference, IFM 2013, «LECTURE NOTES IN COMPUTER SCIENCE», 2013, 7940, pp. 394 - 411 (atti di: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, June 10-14, 2013) [Contributo in Atti di convegno]

Franco Callegati;Aldo Campi;Walter Cerroni;Matteo Marano;Claudio Rossi;Giovanni Pau, All electrical vehicles connected to the Internet: Implementation and experiments, in: 2013 Sustainable Internet and ICT for Sustainability (SustainIT), IEEE, 2013, pp. 1 - 8 (atti di: 2013 Sustainable Internet and ICT for Sustainability (SustainIT), Palermo, 30-31 October) [Contributo in Atti di convegno]

Franco Callegati;Walter Cerroni, Live Migration of Virtualized Edge Networks: Analytical Modeling and Performance Evaluation, in: 2013 IEEE SDN for Future Networks and Services (SDN4FNS), IEEE, 2013, pp. 1 - 6 (atti di: 2013 IEEE SDN for Future Networks and Services (SDN4FNS), Trento, 11-13 November) [Contributo in Atti di convegno]

Andrea Borghesi; Michela Milano; Marco Gavanelli; Tony Woods, imulation Of Incentive Mechanisms For Renewable Energy Policies, in: Proceedings of the 27th European Conference on Modelling and Simulation, ECMS 2013, Ålesund, Norway, May 27-30, 2013. European Council for Modeling and Simulation, 2013, pp. 32 - 38 (atti di: European Conference on Modelling and Simulation, ECMS 2013, Ålesund, Norway, May 27-30) [Contributo in Atti di convegno]

Michela Milano, Optimization for Policy Making: The Cornerstone for an Integrated ApproachPrinciples and Practice of Constraint Programming, in: Lecture Notes in Computer SciencePrinciples and Practice of Constraint Programming, 2013, 8124, pp. 1 - 2 (atti di: Principles and Practice of Constraint Programming, Uppsala Sweden, September 2013) [Contributo in Atti di convegno]

Alessio Bonfietti;Michele Lombardi;Michela Milano;Luca Benini, Maximum-throughput mapping of SDFGs on multi-core SoC platforms, «JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING», 2013, 73, pp. 1337 - 1350 [Articolo in rivista]

Michele Lombardi; Michela Milano, A Min-Flow Algorithm for Minimal Critical Set Detection in Resource Constrained Project Scheduling, in: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, AAAI, 2013, pp. 476 - 477 (atti di: Twenty-Third International Conference on Automated Planning and Scheduling, Roma, 2013) [Contributo in Atti di convegno]

Alessio Bonfietti; Michele Lombardi; Michela Milano, De-Cycling Cyclic Scheduling Problems, in: Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013, pp. 283 - 287 (atti di: Twenty-Third International Conference on Automated Planning and Scheduling, Roma, 2013) [Contributo in Atti di convegno]

Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli, A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing, «INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE», 2013, 2, pp. 67 - 75 [Articolo in rivista]

Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli, Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence, in: Advances in Intelligent Systems and ComputingDistributed Computing and Artificial Intelligence, 2013, 217, pp. 219 - 226 (atti di: Distributed Computing and Artificial Intelligence, Spain, 2013) [Contributo in Atti di convegno]

Andrea Roli;Marco Villani;Roberto Serra;Lorenzo Garattoni;Carlo Pinciroli;Mauro Birattari, Identification of Dynamical Structures in Artificial Brains: An Analysis of Boolean Network Controlled RobotsAI*IA 2013: Advances in Artificial Intelligence, in: Lecture Notes in Computer ScienceAI*IA 2013: Advances in Artificial Intelligence, Springer, 2013, 8249, pp. 324 - 335 (atti di: XIIIth International Conference of the Italian Association for Artificial Intelligence, Torino, December 4-6, 2013) [Contributo in Atti di convegno]

M. Villani;A. Filisetti;S. Benedettini;A. Roli;D. Lane;R. Serra, The detection of intermediate-level emergent structures and patterns, in: Advances in Artificial Life, ECAL 2013, The MIT Press, 2013, pp. 372 - 378 (atti di: ECAL 2013 - Twelfth European Conference on the Synthesis and Simulation of Living Systems, Taormina, 2-6 September, 2013) [Contributo in Atti di convegno]

Lorenzo Garattoni; Andrea Roli; Matteo Amaducci; Carlo Pinciroli; Mauro Birattari, Boolean Network Robotics as an Intermediate Step in the Synthesis of Finite State Machines for Robot Control, in: Advances in Artificial Life, ECAL 2013, The MIT Press, 2013, pp. 783 - 790 (atti di: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems, Taromina (Italia), September 2-6, 2013) [Contributo in Atti di convegno]

F. Angiulli; S. Basta; S. Lodi; C. Sartori, Fast outlier detection using a GPU, in: High Performance Computing and Simulation (HPCS), 2013 International Conference on, 2009 IEEE Conference Proceedings, 2013, pp. 143 - 150 (atti di: International Conference on High Performance Computing {\&} Simulation, HPCS 2013, Helsinki, Finland, 2013-July) [Contributo in Atti di convegno]

Daniele Palossi;Federico Tombari;Samuele Salti;Martino Ruggiero;Luigi Di Stefano;Luca Benini, GPU-SHOT: Parallel Optimization for Real-Time 3D Local Description2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops, in: 2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2013 IEEE Conference Proceedings, 2013, pp. 584 - 591 (atti di: Computer Vision and Pattern Recognition Workshops (CVPRW), 2013 IEEE Conference on, Portland, OR, 23-28 June 2013) [Contributo in Atti di convegno]

Michele Magno;Federico Tombari;Davide Brunelli;Luigi Di Stefano;Luca Benini, Multimodal Video Analysis on Self-Powered Resource-Limited Wireless Smart Camera, «IEEE JOURNAL OF EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS», 2013, 3, pp. 223 - 235 [Articolo in rivista]

Andrea Marongiu;Alessandro Capotondi;Giuseppe Tagliavini;Luca Benini, Improving the programmability of STHORM-based heterogeneous systems with offload-enabled OpenMP, in: Proceedings of the First International Workshop on Many-core Embedded Systems - MES '13, New York, ACM, 2013, pp. 1 - 8 (atti di: 1st International Workshop on Many-Core Embedded Systems, MES 2013, in Conjunction with the 40th Annual IEEE/ACM International Symposium on Computer Architecture, ISCA 2013, Tel-Aviv; Israel, June 23 - 24, 2013) [Contributo in Atti di convegno]

Federico Tombari;Alessandro Franchi;Luigi Di Stefano, BOLD Features to Detect Texture-less Objects, in: 2013 IEEE International Conference on Computer Vision, IEEE, 2013, pp. 1265 - 1272 (atti di: 2013 IEEE International Conference on Computer Vision, Sydney, Australia, 1-8 Dec. 2013) [Contributo in Atti di convegno]