550 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Réseaux et télécommunications .:.
7 documents classés par :

fulltext access Analyse de performance et de stabilité des réseaux de télécommunication
Junier A.
École normale supérieure de Cachan - ENS Cachan (16/12/2013), Claude Jard (Dir.) [tel-00932176 - version 1]
fulltext access Recherche sur les techniques clés pour les communications multimédias dans les Ad-Hoc réseaux
Zhou L.
École normale supérieure de Cachan - ENS Cachan (14/04/2009), Benoït Geller (Dir.) [tel-00506045 - version 1]
fulltext access Contribution à la conception de services de partage de données pour les grilles de calcul
Antoniu G.
École normale supérieure de Cachan - ENS Cachan (05/03/2009), Patrick Valduriez (Pr.) [tel-00437324 - version 1]
fulltext access Logiques pour les systèmes temporisés : contrôle et expressivité
Chevalier F.
École normale supérieure de Cachan - ENS Cachan (25/06/2007), Paul Gastin (Dir.) [tel-00199604 - version 1]
fulltext access Théories de l'intrus pour la vérification des protocoles cryptographiques
Bernat V.
École normale supérieure de Cachan - ENS Cachan (01/06/2006), Hubert Comon-Lundh (Dir.) [tel-00132064 - version 1]
fulltext access Vers un Model Checking avec accélération plate des systèmes hétérogènes
Bardin S.
École normale supérieure de Cachan - ENS Cachan (20/10/2005), Alain Finkel (Dir.) [tel-00131834 - version 1]
fulltext access Méthodes probabilistes pour la vérification des systèmes distribués
Messika S.
École normale supérieure de Cachan - ENS Cachan (14/12/2004), Laurent Fribourg (Dir.) [tel-00136083 - version 1]