Désolé, cet article est seulement disponible en Anglais Américain.
Catégorie : Talk
MDS (Model Driven Security) pour des processus collaboratifs déployés dans le Cloud
Désolé, cet article est seulement disponible en Anglais Américain.
(English) Program Comprehension with Moose and Hapax
Désolé, cet article est seulement disponible en Anglais Américain.
SMT and combination of theories
Désolé, cet article est seulement disponible en Anglais Américain.
Automatic Detection of Floating-Point Exceptions
Désolé, cet article est seulement disponible en Anglais Américain.
Discovering Program Invariants and Automatic Program Repair
Désolé, cet article est seulement disponible en Anglais Américain.
cTuning.org: systematizing program optimization using crowdsourcing and predictive modeling
Désolé, cet article est seulement disponible en Anglais Américain.
Mining and Understanding Bug Repositories
Désolé, cet article est seulement disponible en Anglais Américain.
Engineering self-adaptive, self-organising systems: the smart grid use case
Désolé, cet article est seulement disponible en Anglais Américain.
Du calcul mathématique aux calculs informatiques
Quand : Jeudi 20 juin de 14h00 à 15h30 Où : Auditorium IRCICA Qui : Olivier Danvy D’un côté, il y a le calcul : des termes et des opérations algébriques, avec peut-être une stratégie pour appliquer ces opérations, pas à pas. De l’autre, il y a l’ordinateur qui effectue des calculs à grands pas. …
