Nombre de documents trouvés : 6 documents

Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués Coadou A. Université de Nice Sophia-Antipolis (03/12/2010), Robert de Simone (Dir.) [tel-00545008 - version 4]

Temps Logique pour l'ingénierie dirigée par le modèles Mallet F. Université de Nice Sophia-Antipolis (2010-11-26), François Terrier (Pr.) [tel-00541140 - version 1]

Ordonnancements périodiques dans les réseaux de processus : Application à la conception insensible aux latences Millo J.-V. Université de Nice Sophia-Antipolis (15/12/2008), Robert De Simone (Dir.) [tel-00507498 - version 1]

Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement. Boucaron J. Université de Nice Sophia-Antipolis (14/12/2007), Robert de Simonce (Dir.) [tel-00271620 - version 1]

Distribution de programmes synchrones : Le cas d'Esterel Peix F. Université de Nice Sophia-Antipolis (06/07/2004), Robert De Simone (Dir.) [tel-00327772 - version 1]

Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes embarqués à contraintes temps réel Cucu L. Université Paris Sud - Paris XI (28/05/2004), Yves SOREL (Dir.) [tel-00012046 - version 1]

L'URL de cette page est : http://tel.archives-ouvertes.fr/lab/aoste/