Laboratoire d'Informatique de Grenoble (LIG) ROR

Also known as
Grenoble Computer Science Laboratory, UMR 5217, UMR5217
Type
Facility
Location
Website
ISNI
Wikidata

Related organizations

Related organizations

Parent
Institut national de recherche en sciences et technologies du numérique ROR
Institut polytechnique de Grenoble ROR
Institut des Sciences de l'Information et de leurs Interactions ROR
Université Grenoble Alpes ROR
Centre National de la Recherche Scientifique ROR
Children
CORSE: Compiler Optimization and Run-time SystEms ROR
CTRL-A: Commande pour systèmes informatiques autonomiques ROR
CONVECS: Construction de systèmes concurrents vérifiés ROR
KRAKOS: Conception de couches systèmes performantes, robustes, sécurisées, flexibles, et moins énergivores ROR
TYREX: Types and Reasoning for the Web ROR
SPADES: Programmation de systèmes embarqués sûrs et adaptatifs ROR
MOEX: Evolution de la connaissance ROR
POLARIS: Évaluation et optimisation des performances des grandes infrastructures ROR
DATAMOVE: Mouvements de données pour le calcul haute performance ROR