JAIGU Anne

Le portail institutionnel de l'IRISA

Éléments récemment créés par ce membre

Dossier
2010	04.01.2010
2009	04.01.2010
2009	04.01.2010
2010	04.01.2010
2010	04.01.2010
Publication
Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité	15.03.2010
Étude et optimisation de l'interaction processeurs-architectures reconfigurables dynamiquement	12.02.2010
Traitement parallèle des comparaisons intensives de séquences génomiques	12.02.2010
Vers des générateurs de nombres aléatoires uniformes et gaussiens à très haut débit	12.02.2010
Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués	09.03.2010
Video
Contribution à la conception de services de partage de données pour les grilles de calcul	27.04.2009
Composer des services dans un monde ouvert	30.05.2008
Logiciel embarqué: des solutions génériques et transectorielles	27.01.2009
6èmes rencontres autour de la plate-forme bio-informatique	23.12.2008
Optimisation des communications multicast sous contraintes	02.02.2009