Centre de recherche en informatique
Mathématiques et systèmes
- A/181/CAI/I/1988 :
- CONTRÔLE SÉMANTIQUE DES BANQUES DE DONNÉES AUTOSTRUCTUREES ET ASSISTANCE A L'INTERROGATION.
- Revue Trimestriel C.I.D.
- Mars 1988
- M. Jarmouni, P. Mordini, A.M. Guimier-Sorbet
- A/180/CAI/I :
- PAPER FOR RIAO 1988 - SELF-STRUCTURED DATA BANKS SEMANTIC INTEGRITY AND QUERY ASSISTANCE INTERFACE
- Congrès Boston RIAO88
Boston- Octobre 1987
- M. Jarmouni, P. Mordini, A.M. Guimier-Sorbet
Articles soumis :
- A/179/CAI/I :
- SUPERNODE PARTITIONING.
- POPL'88 - Fifteenth Annual ACM Symposium on Principles of Programming Languages California, San Diego, January 13-15, 1988.
Enregistré aussi en E-90- July 1987
- F. Irigoin, R. Triolet
Autres articles et rapports techniques :
Rapports internes :
- E/098/CAI/I/1985 :
- LES TRANSFORMATIONS DE PROGRAMMES.
- RAPPORT DE DEA
- Juillet 1985
- Z. Ammarguellat
- E/094 :
- CONPUTING DEPENDENCE DIRECTION VECTORS AND DEPENDENCE CONES WITH LINEAR SYSTEMS.
- ROME
- Septembre 1987
- F. Irigoin, R. Triolet
- E/087 :
- UTILISATION DE SYSTEMES LINEAIRES SUR Z POUR LA PARALLELISATION DE PROGRAMMES.
- RAPPORT DE DEA
- Juillet 1987
- C. Ancourt