Sessions 2 - Journées EmSoC - Région 8/9 Juin 2006
Exposé / Martin Heusse, Franck Rousseau, Romaric Guillier, Andrzej Duda
IdleSense: An Optimal Access Method for High Through put and Fairness in Rate Diverse Wireless LANs
Exposé / Antoine Fraboulet, Frédéric Pétrot
- Mutek: un noyau léger, paramétrable, simple et portable
Exposé / Steffen van Bakkel, Stéphane Lengrand, Pierre Lescanne, Dragisa Zunic
- [*X]
Exposé / Didier Bert, Sylvain Boulmé, AmalHaddad, Marie-Laure Potet, Nicolas Stouls
- Spécification et vérification formelles pour les cartes à puce à l’aide de la méthode B