Inria
Inria.fr
Inria Channel
Il y a 16 Résultats pour : "compilation"
- ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
- ALF - La loi d'Amdahl est pour toujours
- AOSTE - modèles et méthodes pour l'analyse et l'optimisation des systèmes temps réel embarqués
- CAIRN - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
- CAMUS - Compilation pour les Architectures MUlti-coeurS
- COMPOSE - Conception de programmes et systèmes adaptatifs
- COMPSYS - Compilation et systèmes embarqués de calcul
- CRISTAL - Programmation typée, modularité et compilation
- FORMES - Méthodes Formelles pour les Systèmes Embarqués
- GALLIUM - Langages de programmation, types, compilation et preuves
- INDES - Programmation diffuse et sécurisée
- LOCO - Programmation en LOgique avec COntraintes
- PAMPA - modèles et outils pour la programmation des architectures parallèles réparties
- PAREO - Ilôts formels: fondements et applications
- PARKAS - Parallélisme de Kahn Synchrone
- REMAP - Régularité et parallélisme massif
