Inria
Inria.fr
Inria Channel
Il y a 18 Résultats pour : "Sémantique"
- ABSTRACTION - Interprétation abstraite et analyse statique
- ASCOLA - Langages d'aspects et de composition
- AXIS - Conception, analyse et amélioration de systèmes d'informations dirigées par les usages
- CELTIQUE - Certification de logiciel par analyse sémantique
- CROAP - Conception et réalisation d'outils d'aide à la programmation
- EDELWEISS - Echanges, Documents, Extraction, Languages, Web, Ergonomie, Interactions, Semantique, Serveurs
- LEO - Données et connaissances hétérogènes et distribuées
- LOCO - Programmation en LOgique avec COntraintes
- MEIJE - Parallélisme, Synchronisation et Temps-Réel
- MIMOSA - Migration et mobilité : sémantique et applications
- MOSEL - Développement prouvé de systèmes informatiques
- OAK - Optimizations and Architectures for Complex large data
- OASIS - Objets actifs, sémantique, Internet et sécurité
- OSCAR - Outils syntaxiques pour la construction et l'analyse de programmes
- PARKAS - Parallélisme de Kahn Synchrone
- TALARIS - Traitement Automatique des Langues : représentation, inférence et sémantique
- TICK - Etude et implémentation des systèmes réactifs synchrones
- VASY - Validation de systèmes, recherche et application
