Loading...
Le département Architecture, Systèmes, Réseaux couvre les sujets de recherche concernant la conception des réseaux (satellites, sans fil et embarqués), de systèmes distribués et de systèmes temps réel. Au centre des préoccupations de ces recherches se trouve la gestion optimisée des ressources afin de garantir la qualité de service requise par les applications, dans des domaines aussi variés que la santé, la ville intelligente, le transport, l’apprentissage ou la sécurité.
Pour plus de détails, consultez la présentation du département ASR sur le site de l'IRIT.
Dernières publications en texte intégral
-
Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange. Modelling and proving the monotonicity of processor pipelines in Coq. 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, Oct 2024, Raleigh, United States. pp.12-21, ⟨10.1109/MEMOCODE63347.2024.00007⟩. ⟨hal-04729453⟩
Texte intégral
Répartition par type de document