541 résultats : INRIA

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
541 résultats
page 5 sur 55
résultats 41 à 50
Canal-U
Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3
Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014. Les trois cours sont consacrés à ...
Mots clés : synchronisation, systèmes temps-réels
Date : 15-01-2014
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3
 Ajouter à mon panier
Accéder aux documents
Canal-U
Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3
Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés à ...
Mots clés : synchronisation, systèmes temps-réels
Date : 22-01-2014
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3
 Ajouter à mon panier
Accéder aux documents
Canal-U
Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle
Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés ...
Mots clés : synchronisation, systèmes temps-réels
Date : 29-01-2014
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle
 Ajouter à mon panier
Accéder aux documents
UNIT
Une révolution permanente
Description : Née au milieu du vingtième siècle avec les premiers calculateurs électroniques, l’informatique n’a cessé de se développer, touchant tous les secteurs d’activité.
Mots clés : histoire de l'informatique, ordinateur, théorie de la calculabilité, théorie de la complexité, loi de Moore, sciences du numérique, fuscia
Date : 31-01-2011
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Une révolution permanente
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
L’informatisation des objets, ou l’invasion des pucerons
Description : Les systèmes embarqués envahissent tous les pans de l’industrie, depuis l’avionique jusqu’aux objets de la vie courante. Doit-on redouter cette évolution technologique ? Regardez cette conférence de Gérard Berry...
Mots clés : informatisation, bug application, preuve formelle, circuit, fuscia
Date : 08-06-2006
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
L’informatisation des objets, ou l’invasion des pucerons
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Quand les bactéries se mêlent du calcul des ordinateurs
Description : La modélisation des cellules permettra-t-elle de trouver des solutions aux problèmes que nos ordinateurs ne savent pas résoudre ? Pour le chercheur Hugues Berry, c’est une piste à explorer...
Mots clés : podcast, bio-inspiration, puissance de calcul, technologie multicoeurs, modélisation multi-échelles, loi de Moore, fuscia
Date : 26-09-2008
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Quand les bactéries se mêlent du calcul des ordinateurs
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Simulation numérique des mouvements de chevelure
Description : Synthétiser le mouvement d’une chevelure suscite un intérêt croissant chez les développeurs de jeux vidéos ou de films d’animation mais aussi les industriels en cosmétique.
Mots clés : mathématiques appliquées, modèle mécanique, Super-Hélice, équations de Kirchhoff, fuscia
Date : 24-01-2006
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Simulation numérique des mouvements de chevelure
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
Numbers, computers and dynamical systems
Description : A discrete dynamical system is defined as a set of states on which a transformation acts, considered as an evolution rule. The terminology discrete refers to the time that is discretized: at time n corresponds the nth iteration of this transformation. Dynamical systems are widely studied, for ...
Mots clés : géométrie discrète, quasicrystals, computer arithmetics
Date : 09-03-2017
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Numbers, computers and dynamical systems
 Ajouter à mon panier
Accéder aux documents
UNIT
Le syndrome de l’obésiciel : des applications énergivores
Description : Toujours plus d’appareils connectés, toujours plus de données collectées… les logiciels n’échappent pas non plus aux besoins en énergie toujours croissants.
Mots clés : sciences du numérique, développement durable, obésiciel, éco-conception logiciel, consommation énergétique, fuscia
Date : 29-06-2015
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Le syndrome de l’obésiciel : des applications énergivores
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Sciences du numérique et développement durable : des liens complexes
Description : Pour expliciter le positionnement complexe des sciences et techniques de l’information et de la communication dans la problématique du développement durable, plusieurs axes de réflexion.
Mots clés : développement durable, sciences du numérique, fuscia
Date : 22-05-2015
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Sciences du numérique et développement durable : des liens complexes
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé