2017-11-23T23:59:59Z
2020-03-09T03:54:33Z
Acropolis : un précompilateur de spécification pour l'exploration du transfert et du stockage des données en conception de systèmes embarqués à Haut Débit
2001
2001-01-01
Progiciels
Compilateurs (logiciels)
Ordinateurs -- Équipement d'entrée-sortie
Ordinateurs -- Mémoires
Algorithmes de graphe dynamiques, Problèmes de coloration et clique maximale, Techniques de résolution multi-étage et adaptative, Approximation de problèmes NP-complet, Sélection et identification (multi-dimensionnelles) espace-temps, Programmation entière, Programmation logique par contraintes.
Omnès, Thierry J-F.
Catthoor, Francky
Paris, ENMP