Pubblicazioni

Anytime system level verification via parallel random exhaustive hardware in the loop simulation

2016 - MICROPROCESSORS AND MICROSYSTEMS

Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

Enriched Training Database for improving the WiFi RSSI-based indoor fingerprinting performance

2016 - Proceedings of the 13th IEEE Annual Consumer Communications and Networking Conference, CCNC 2016

Lemic, Filip; Handziski, Vlado; CASO, GIUSEPPE; DE NARDIS, LUCA; Wolisz, Adam

Count on me: Reliable broadcast and efficient routing in DTNs through social skeletons

2016 - JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING

Mei, Alessandro; Piroso, Natascia; Stefa, Julinda

A distributed algorithm for Ad-hoc network partitioning based on Voronoi Tessellation

2016 - AD HOC NETWORKS

Pietrabissa, Antonio; Liberati, Francesco; Oddi, Guido

LCBM: A fast and lightweight collaborative filtering algorithm for binary ratings

2016 - THE JOURNAL OF SYSTEMS AND SOFTWARE

Petroni, Fabio; Querzoni, Leonardo; Beraldi, Roberto; Paolucci, M.

ILP-based approaches to partitioning recurrent workloads upon heterogeneous multiprocessors

2016 - 2016 28th Euromicro conference on real-time systems (ECRTS 2016). Toulouse, France 5-8 July 2016

Baruah, Sanjoy K.; Bonifaci, Vincenzo; Bruni, Renato; MARCHETTI SPACCAMELA, Alberto

A framework for space complexity in algebraic proof systems

2016 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY

Bonacina, Ilario; Galesi, Nicola

The size of BDDs and other data structures in temporal logics model checking

2016 - IEEE TRANSACTIONS ON COMPUTERS

Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco

Learning human-robot handovers through Ï-STAM: Policy improvement with spatio-temporal affordance maps

2016 - 2016 IEEE-RAS 16th International Conference on Humanoid Robots (Humanoids)

Riccio, Francesco; Capobianco, Roberto; Nardi, Daniele

Entangled cloud storage

2016 - FUTURE GENERATION COMPUTER SYSTEMS

Ateniese, Giuseppe; Dagdelen, ÃzgÃ¼r; DamgÃ¥rd, Ivan; Venturi, Daniele

Omnidirectional humanoid navigation in cluttered environments based on optical flow information

2016 - IEEE-RAS International Conference on Humanoid Robots

Ferro, Marco; Paolillo, Antonio; Cherubini, Andrea; Vendittelli, Marilena

Web-based similarity for emotion recognition in web objects

2016 - 2016 IEEE/ACM 9th International Conference on Utility and Cloud Computing (UCC)

Biondi, Giulio; Franzoni, Valentina; Li, Yuanxi; Milani, Alfredo

Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities

2016 - 2016 28th Euromicro Conference on Real-Time Systems (ECRTS)

Bonifaci, Vincenzo; Brandenburg, Bjorn; Dangelo, Gianlorenzo; Marchetti Spaccamela, Alberto

GMU: Genuine Multiversion Update-Serializable Partial Data Replication

2016 - IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

Peluso, Sebastiano; Ruivo, Pedro; Romano, Paolo; QUAGLIA, Francesco; Rodrigues, LuÃs

Bioinspired security analysis of wireless protocols

2016 - MOBILE NETWORKS AND APPLICATIONS

Petrocchi, Marinella; SPOGNARDI, Angelo; Santi, Paolo

Service placement for detecting and localizing failures Using End-to-End Observations

2016 - Proceedings - IEEE International Conference on Distributed Computing Systems (ICDCS)

He, Ting; Bartolini, Novella; Khamfroush, Hana; Kim, Injung; Ma, Liang; Porta, Tom La

Network recovery after massive failures

2016 - Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016

Bartolini, Novella; Ciavarella, Stefano; Porta, Thomas F. La; Silvestri, Simone

Optimal mobile byzantine fault tolerant distributed storage: [Extended Abstract]

2016 - PODC '16. Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing

Continuous localization and mapping of a panâtiltâzoom camera for wide area tracking

2016 - MACHINE VISION AND APPLICATIONS

Lisanti, Giuseppe; Masi, Iacopo; Pernici, Federico; Del Bimbo, Alberto

A system to support the learning of movement qualities in dance: A case study on dynamic symmetry

2016 - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct (UbiComp '16)

Camurri, Antonio; Canepa, Corrado; Ferrari, Nicola; Mancini, Maurizio; Niewiadomski, Radoslaw; Piana, Stefano; Volpe, Gualtiero; Matos, Jean Marc; Palacio, Pablo; Romero, Muriel