Liste des réalisations publiques
Seuls figurent ici les rapports concernant les résultats publics.
La nature des réalisations peut être: RR (rapport de recherche),
RI (rapport interne), beta (proptype commercial), proto (prototype alpha
ou académique).
-
D1.1.1, (1,6), Orléans, EMN, public, RR, Modélisation
des solveurs par iteration cahotique
-
D1.1.2, (7,12), Orléans, EMN, public, RR, Modèle complet
pour la propagation et le labelling
-
D1.1.3, (9,18), Orléans, EMN, public, RR, Modèle complet
pour description du controle, variables et contraintes
-
D1.2.1, (1,9), IRISA, INRIA, EMN, public, RR, mécanismes
géneriques d'extraction de trace: format et mécanismes de
communication
-
D1.2.2.1, (1,12), IRISA, EMN, INRIA, Orléans, public, RR,
langage d'analyse de traces (basique).
-
D1.2.2.2, (12,24), IRISA, EMN, INRIA, Orléans, public, RR,
langage d'analyse de traces (amélioré).
-
D1.2.2.3, (24,36), IRISA, EMN, INRIA, public, RR, langage d'analyse
de traces (final)
-
D2.1.1.1, (1,9), INRIA, EMN, public, RR, Analyse des tâches
de mise au point en PaC (initial).
-
D2.1.1.2, (10,18), INRIA, EMN, public, RR, Analyse des tâches
de mise au point en PaC (avancé).
-
D2.1.2, (1,12), EMN, INRIA, IRISA, public, RR, Analyse des représentations
pour les outils de visualisation.
-
D2.2.1, (1,9), EMN, INRIA, IRISA, public, RR, Analyse des besoins
d'analyse de trace pour la visualisation PaC.
-
D2.2.2.1, (1,9), IRISA, EMN, INRIA, public, RR, Analyse des mécanismes
de communication spécialisés pour la visualisation et langage
de description de modéles (initial).
-
D2.2.2.2, (10,21), IRISA, EMN, INRIA, public, RR, Analyse des mécanismes
de communication spécialisés pour la visualisation et langage
de description de modéles (amélioré).
-
D2.2.2.3, (22,36), IRISA, EMN, INRIA, public, RR, Analyse des mécanismes
de communication spécialisés pour la visualisation et langage
de description de modéles (final).
-
D3.1.1, (12,27), INRIA, public, prog, INRIA, module de visualisation
du contrôle et des contraintes en GNU-Prolog
-
D3.1.2.1, (3,15), INRIA, Cosytec, public, RR, Etude des propriétées
des arbres de recherche.
-
D3.1.2.2, (16,27), Cosytec, INRIA, public, RR, Etude des propriétés
des arbres de recherche: expérimentation.
-
D3.2.1, (1,18), EMN, Orléans, public, RR, Explication d'echec
-
D3.2.2, (18,24), Orléans, EMN, public, RR, diagnostique d'erreur
-
D3.2.3, (6,24), EMN, public, RR, méthodes de réparation
pour la PaC
-
D3.3.1.1, (1,12), INRIA, Cosytec, public, RR, langage de specification
de vues (initial).
-
D3.3.1.2, (13,24)), INRIA, Cosytec, public, RR, langage de specification
de vues (élaboré, effet direct sur D3.3.2)
-
D3.4.1, (21,36), Orleans, EMN, public, RR, Explication et diagnostic
d'erreur
-
D4.3.1 (6,12), public, RR, EMN, Ilog, Protocoles d'évaluation
et de validation des techniques de visualisation dans le cadre de la PaC.
-
D4.3.2 (6,12), EMN, Ilog, public, RR, Mise à jour de l'état
de l'art sur les techniques de visualisation pour l'analyse visuelle de
phénomènes dynamiques.
-
D4.3.3 (12,24), Ilog, EMN, public, RR, Evaluation et validation
des techniques dévelppées dans T4.1 et T4.2 dans le cadre
de la PaC.
-
D4.3.4 (12,24), EMN, Ilog, public, RR, Mise à jour de l'état
de l'art sur les techniques de visualisation pour l'analyse visuelle de
phénomènes dynamiques.
-
D4.3.5 (30,36), EMN, public, RR, Evaluation et validation des techniques
développées dans T4.3 dans le cadre de la PaC.