Accueil/ recherche

Recherche


programmation

17 résultat(s) sur le site


> Vous pouvez aussi chercher parmi nos archives

Affiner la recherche


Expression exacte Du
L'un des mots suivants Au
Tous les mots suivants
Ne contenant pas les mots suivants
Exposés (10)  Titre        Date 
photoExpose
Analyse de pire temps d'exécution et programmation synchrone
Pascal Raymond
16/03/2016
Conférence de Pascal Raymond organisée par le département d’informatique. Les systèmes embarqués sont des dispositifs informatisés dédiés à une tâche spécifique, typiquement le contrôle/commande d’un processus physique. On en trouve dans le domaine ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, modélisation, programmation, programmation synchrone, code séquentiel, système embarqué
photoExpose
Les Futurs de l'intelligence artificielle
Yann LeCun, Jean Ponce, Alexandre Cadain
10/03/2016
Conférence inaugurale du Cycle ENS Postdigital 2016-2017, un cycle du département Histoire et Théorie des Arts de l'ENS, sur les mondes numériques de l’art contemporain. Avec les interventions d'Alexandre Cadain, Jean Ponce et Yann Le Cun L’accélér...
Mots-clefs: Art, Cinéma, recherche scientifique, progrès, fiction, Nouvelles technologies, informatique, univers, vision, imaginaire, science-fiction, rétrospective, programmation, ordinateur, film, avenir, machine learning, futur, robot, intelligence artificielle, imagination
photoExpose
Co-Adaptive Instruments. Can we reinvent the graphical user interface ?
Wendy Mackay
02/03/2016
Conférence de Wendy E. Mackay organisée par le département d’informatique. My research, in the field of Human-Computer Interaction, has the not-very-modest goal of reinventing how users interact with computers in general, and more specifically, the ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: humain, logiciel, Nouvelles technologies, graphisme, interaction, programmation, interface, ordinateur, innovation, ...
photoExpose
Scade 6: conception d'un langage de programmation synchrone
Bruno Pagano
13/01/2016
Conférence de Bruno Pagano organisée par le département d’informatique. Scade 6: Conception d'un langage de programmation synchrone et réalisation de son compilateur pour les systèmes embarqués critiques Dans le contexte des systèmes embarqués crit...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, modélisation, programmation, langages de programmation synchrones
photoExpose
MOOC - Approximation Algorithms
Claire Mathieu
01/12/2015
How efficiently can you pack objects into a minimum number of boxes? How well can you cluster nodes so as to cheaply separate a network into components around a few centers? These are examples of NP-hard combinatorial optimizatio...
Mots-clefs: numérique, programmation, algorithme, Mooc
photoExpose
Rendre la virgule flottante plus rigoureuse
Jean-Michel Muller
01/10/2014
Conférence de Jean-Michel Muller organisée par le département d'informatique. L’arithmétique virgule flottante est de loin le moyen le plus utilisé pour représenter des nombres réels sur ordinateur. Elle souffre cependant d’une mauvaise réputation...
Catégories : Séminaire général du département d'informatique
Mots-clefs: logiciel, programmation, ordinateur, Arithmétique, calcul flottant
photoExpose
Comment faire confiance à un compilateur ?
Xavier Leroy
13/03/2014
Conférence de Xavier Leroy dans le cadre du Séminaire général du département d’informatique Le logiciel critique - celui dont dépendent des vies humaines - nécessite des techniques de développement et de validation très particulières pour atteindre ...
Catégories : Séminaire général du département d'informatique
Mots-clefs: Langage, logiciel, Code, programmation, analyseur, compilateur
photoExpose
A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking
Julia Lawall
20/02/2014
Conférence de Julia Lawall organisée par le département d'informatique. Coccinelle is a program matching and transformation tool for C code, founded on the notion of a semantic patch, in which matching and transformation specifications are expres...
Catégories : Séminaire général du département d'informatique
Mots-clefs: recherche scientifique, Langage, syntaxe, information, programmation, ordinateur, sémantique, linux, Programme Coccinelle, ...
photoExpose
De la convexité tropicale aux jeux répétés
Stéphane Gaubert
30/01/2014
Conférence de Stéphane Gaubert dans le cadre du séminaire général d'informatique. Une question aussi ancienne que la programmation linéaire consiste à trouver une règle de pivotage pour l'algorithme du simplexe conduisant à un nombre polynomial d'o...
Catégories : Séminaire général du département d'informatique
Mots-clefs: algèbre, programmation, algorithme, polynomial
photoExpose
Composer le temps
Gérard Berry
04/12/2012
Conférence de Gérard Berry pour une analyse du traitement du temps et des événements en informatique. En informatique classique, le temps est souvent vu à travers le seul prisme du temps de calcul, et rarement vu comme un objet dont la programmatio...
Catégories : Séminaire général du département d'informatique
Mots-clefs: musique, Langage, temps, progrès, base de données, mesure, informatique, web, événementialité, gestion, programmation, ...


Auteurs (7)
Vivek Sarkar
Rice University - Texas
Bruno Pagano
Esterel Technologies
Claire Mathieu
ENS / CNRS
Julia Lawall
INRIA, LIP 6
Ruedi Baur
ENSAD