Concept
Programmation modulaire
Publications associées (58)
Degrees of Separation: A Flexible Type System for Safe Concurrency
Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki
Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...
2024A modular functional framework for the design and evaluation of multi-robot navigation
Alcherio Martinoli, Cyrill Silvan Baumann
In this work, we address the design of tightly integrated control, estimation, and allocation algorithms allowing a group of robots to move collectively. For doing so, we leverage a modular framework that allows us to define precisely the needed functional ...
2021