| |
|<
<< Page précédente
1
2
3
4
5
6
7
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Urgences scientifiques posées par l'industrie : masquages d'horloges, circuits multi-horloges, ECOs et vérification formelle (cycle de cours et séminaires du collège de France en extérieur) 3/3
[Ressource pédagogique]
Date de publication :
20140129 |
Auteur(s) :
BERRY Gérard |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique), Région PACA, Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
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 à la
relation recherche-industrie dans le développement des langages
synchrones pour les systèmes temp...
Référencé le :
22-01-2016
|
|
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
[Ressource pédagogique]
Date de publication :
20140122 |
Auteur(s) :
BERRY Gérard |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique), Région PACA, Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
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 à la
relation recherche-industrie dans le développement des langages
synchrones pour les systèmes temps...
Référencé le :
22-01-2016
|
|
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
[Ressource pédagogique]
Date de publication :
20140115 |
Auteur(s) :
BERRY Gérard |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique), Région PACA, Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
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 à la
relation recherche-industrie dans le développement des langages
synchrones pour les systèmes temps-...
Référencé le :
22-01-2016
|
|
Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2)
[Ressource pédagogique]
Date de publication :
20140129 |
Auteur(s) :
Moy Matthieu |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique), Région PACA, Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique), Minazio Mathieu |
Origine de la fiche :
Canal-u.fr
La complexité grandissante des circuits intégrés modernes a donné lieu à de nouveaux types de circuits, qu'on appelle "systèmes sur puces". Il n'est aujourd'hui plus possible d'attendre les premiers prototypes physiques pour valider la bonne intégration de leurs composants et développer le logiciel embarqué, souvent de taille considérable. Il est donc nécessaire d'utiliser des prototypes virtuels...
Référencé le :
22-12-2015
|
|
Preuve automatique de la sûreté de logiciels critiques
[Ressource pédagogique]
Date de publication :
20121206 |
Auteur(s) :
RIVAL Xavier |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est mathématiquement impossible de déterminer de manière automatique et exacte si un logiciel informatique es...
Référencé le :
17-06-2015
|
|
OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
[Ressource pédagogique]
Date de publication :
20140206 |
Auteur(s) :
LE FESSANT Fabrice |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
OCaml est un langage de programmation générique, conçu et développé depuis 25 ans à l’Inria. Malgré ses qualités exceptionnelles, il n’a conquis, pendant longtemps, qu’un petit nombre d’industriels.
Pour permettre son utilisation plus large dans l’industrie, j’ai participé à la création d’une société, OCamlPro, dont le but est de fournir les services et les outils, en logiciels libres, dont les e...
Référencé le :
17-06-2015
|
|
Vecteurs tridimensionnels [he02] - Exercice
[Ressource pédagogique]
Date de publication :
201504 |
Auteur(s) :
Zampieri Karine, Rivière Stéphane, Amerein-Soltner Béatrice |
Origine de la fiche :
Unisciel
Le premier exercice crée une classe représentant des vecteurs en dimension 3 (par héritage d'extension) et le deuxième une classe représentant des vecteurs unitaires de l'espace (c.-à-d. des vecteurs de norme 1) (par héritage de spécialisation)....
Référencé le :
04-2015
|
|
Utilitaires Chaînétique [sr01] - Outils
[Ressource pédagogique]
Date de publication :
201504 |
Auteur(s) :
Zampieri Karine, Rivière Stéphane, Amerein-Soltner Béatrice |
Origine de la fiche :
Unisciel
Ce document contient un ensemble d'utilitaires "Chaînétique" sous forme de problèmes externalisés.
Référencé le :
04-2015
|
|
UHALiens [pm04] - Exercice
[Ressource pédagogique]
Date de publication :
201504 |
Auteur(s) :
Zampieri Karine, Rivière Stéphane, Amerein-Soltner Béatrice |
Origine de la fiche :
Unisciel
Cet exercice aide la direction d'une université à gérer les personnes qui la fréquentent.
Référencé le :
04-2015
|
|
Tables de hachage -- Algorithmique
[Ressource pédagogique]
Date de publication :
201504 |
Auteur(s) :
Zampieri Karine, Rivière Stéphane, Amerein-Soltner Béatrice |
Origine de la fiche :
Unisciel
Ce module décrit les tables de hachage.
Référencé le :
04-2015
|
|
|
|
|<
<< Page précédente
1
2
3
4
5
6
7
Page suivante >>
>|
|
documents par page
|
