karine
Envoyer un message privé à cet auteur
Articles de cet auteur
DACRAW
samedi 27 février 2016
Decision Procedure for Equivalence Relations
dimanche 30 août 2020
Karine Altisen
samedi 9 juillet 2016
Karine Altisen’s Publications
lundi 9 juillet 2012
Models of Distributed Algorithms
vendredi 16 octobre 2020
PADEC
vendredi 1er janvier 2016
Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability
jeudi 17 juin 2010
Self-Stabilization in TVG
jeudi 10 septembre 2020
Silent Self-Stabilizing Algorithms : Certification Using Coq
samedi 1er octobre 2016
The Impure Library
vendredi 9 octobre 2020
[M1 internship] Modeling of Graph Topologies Using Coq
dimanche 16 septembre 2018
[Magistère M1/M2, M2R] Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networs
samedi 30 septembre 2017
[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks
jeudi 16 février 2012
[Master 2R 2012-2013] Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems
mardi 30 avril 2013
[Master 2R 2013-2014] Efficient Self-Stabilizing Algorithms for Pervasive Computing Systems
mercredi 8 octobre 2014
[Master 2R 2014-2015] Évaluation de performances pour les systèmes embarqués avec des méthodes formelles
mardi 15 juillet 2014
[MASTER 2] Performance Evaluation for Embedded Systems : Between Computational Simulation and Mathematical Solutions
vendredi 15 juillet 2011
[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks
vendredi 15 juillet 2011
[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
jeudi 12 octobre 2023
[Master] Simulation of Distributed Algorithms
mercredi 18 octobre 2023
[Postdoc positions] Coq Developments
mercredi 16 octobre 2019
