Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
S
stic
8
ressources en auto-formation :
stic
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
8
résultats
page 1
sur 1
Résultats de
1 à 8
cours / présentation
02/06/2009
Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern)
Auteur(s)
:
Lions Pierre-Louis
Description
:
Dans cet exposé, nous présentons quelques aspects généraux de la simulation numérique, de la modélisation mathématique et de l'analyse mathématique de ces modèles. En partant d'exemples industriels, nous rappellerons quelques éléments historiques et montrerons la nécessité d'une approche mathéma ...
fuscia
conférence
STIC
équations aux dérivées partielles
couplage d'échelle
couplage de modèles
mathématiques appliquées
onde de choc
cours / présentation
02/06/2009
Colloquium Jacques Morgenstern
Description
:
Le but du colloquium est d'offrir une vision d'ensemble des recherches les plus actives et les plus prometteuses dans le domaine des Sciences et Technologies de l'Information et de la Communication (STIC). Nouveaux thèmes scientifiques, nouveaux domaines d'application, enjeux sociaux et philosop ...
fuscia
conférence
recherche
STIC
mathématiques appliquées
cours / présentation
11/12/2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s)
:
Leroy Xavier
Description
:
Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
compilateur
logiciel critique
programmation fonctionnelle
vérification de programme
vérification formelle
preuve formelle
fuscia
conference
stic
recherche
cours / présentation
02/06/2009
Computer security (série : Colloquium Jacques Morgenstern)
Auteur(s)
:
Abadi Martín
Description
:
Butler Lampson, one of the pioneers in computer security, once wrote: "What people want from computer security is to be as secure with computers as they are in the real world". Increasingly, however, the "real world" is full of interconnected computers in critical roles. Accordingly, computer s ...
fuscia
conférence
recherche
STIC
protocole de sécurité
confidentialité
intégrité
disponibilité
authentification
communication
spam
clé
cryptage
attaque
pi calcul
analyse formelle
mémoire
puissance de calcul
cache
contrôle d'accès
Binder
logique
base de données
intégration
TSIMMIS
MSL
cours / présentation
02/06/2009
Do general purpose languages have a future?
Auteur(s)
:
Stroustrup Bjarne
Description
:
As the computing world matures, the roles of computer professionals are becoming more specialized. In particular, a programmer can spend a whole career doing work in embedded systems or data analysis without a need to gain expertise in other fields. Would such programmers be best served by completely ...
fuscia
conférence
recherche
STIC
langage de programmation
langage spécialisé
langage général
bibliothèque logicielle
développement
implémentation
code
legacy code
abstraction
interopérabilité
performance
optimisation
objet
container
sémantique formelle
cours / présentation
13/01/2003
Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern)
Auteur(s)
:
Flajolet Philippe
Description
:
Jusqu'au dix-neuvième siècle, les mathématiques sont de nature largement algorithmique, mais les problèmes de complexité, s'ils sont présents, restent souvent subliminaux. L'avènement de l'informatique pose, dès les années 1950, de nombreuses questions dès lors que l'on cherche à comprendre, prédire, ...
fuscia
conférence
recherche
STIC
calcul
complexité
arbre digital
tri
transformation de Mellin
comptage probabiliste
systèmes dynamiques
cours / présentation
02/06/2009
Health informatics : where we are now, and where we may be going (série : Colloquium Jacques Morgenstern)
Auteur(s)
:
Brady Michael
Description
:
Twenty years ago, Informatics was seen as a component part of the problem in delivering effective healthcare at affordable cost, not least because of a number of hugely costly and embarrassing software system failures. Nowadays, Informatics is seen as part of the solution. We begin the presentation ...
fuscia
conférence
recherche
STIC
IRM
grid computing
imagerie 3D
mathématiques appliquées
cours / présentation
02/06/2009
Le mauvais résultat tout de suite, ou le bon résultat trop tard ? (série : Colloquium Jacques Morgenstern)
Auteur(s)
:
Muller Jean-Michel
Description
:
Je vais essayer d'illustrer par quelques exemples les progrès accomplis ces dernières années dans le domaine de l'arithmétique virgule flottante. Longtemps l'arithmétique flottante n'a été qu'une collection de recettes de cuisine: on avait le choix entre utiliser cette arithmétique, et obtenir r ...
fuscia
conférence
STIC
arithmétique des ordinateurs
opération arithmétique
implantation sur machine
algorithme
calculabilité
virgule flottante
fiabilité
précision
cohérence
division
arrondi correct
dépassement de capacité
multiprécision
numération
1