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⟩
-
Danilo Carastan-Santos, Georges da Costa, Millian Poquet, Patricia Stolf, Denis Trystram. Light-weight prediction for improving energy consumption in HPC platforms. Euro-Par 2024, Carretero, J., Shende, S., Garcia-Blas, J., Brandic, I., Olcoz, K., Schreiber, M., Aug 2024, Madrid, Spain. pp.152-165, ⟨10.1007/978-3-031-69577-3_11⟩. ⟨hal-04566184v2⟩
Texte intégral
1 075
Répartition par type de document