Aggregate Programming: Foundations and Tools

We live in a world with an ever-increasing density of computing devices, pervading every aspect of our environment. Programming the collection of such devices is challenging, due to their large numbers, potential for frequent and complex network interactions, and the open and evolving nature of their capabilities and applications.
Aggregate programming addresses these challenges by raising the level of abstraction, so that a programmer can operate in terms of collections of interacting devices. At the foundational level, the field calculus provides a safe and extensible model for encapsulation, modulation, and composition of collective services. At the tool level, ad-hoc languages, simulators and platforms can streamline the construction of complex applications on top of large-scale mobile and embedded systems.

Presentation: [pdf]

Relatore

Prof. Mirko Viroli - Università di Bologna

Docente di riferimento

Prof. Marco Bernardo

Vincoli di partecipazione

Nessuno

Date

Luogo	Data	Orario	Crediti (CFU)
Collegio Raffaello, Aula Turing	17 Maggio 2016	16:00	0.125