9 résultats : stic

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
9 résultats
page 1 sur 1
résultats 1 à 9
UNIT
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 ...
Mots clé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, ...
Date : 18-03-2003
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
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 ...
Mots clés : fuscia, conférence, recherche, STIC, IRM, grid computing, imagerie 3D, mathématiques appliquées
Date : 12-11-2002
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
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, ...
Mots clés : fuscia, conférence, recherche, STIC, calcul, complexité, arbre digital, tri, transformation de Mellin, comptage probabiliste, systèmes dynamiques
Date : 13-01-2003
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
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 ...
Mots clés : compilateur, logiciel critique, programmation fonctionnelle, vérification de programme, vérification formelle, preuve formelle, fuscia, conference, stic, recherche
Date : 08-10-2009
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
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 ...
Mots clés : fuscia, conférence, STIC, équations aux dérivées partielles, couplage d'échelle, couplage de modèles, mathématiques appliquées, onde de choc
Date : 13-05-2003
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
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 ...
Mots clés : 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
Date : 05-02-2004
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
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 ...
Mots clés : 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
Date : 08-07-2003
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
Canal-U
Description : Créatrices de valeurs au sens large, les sciences humaines et sociales peuvent aussi être au coeur de la stratégie de valorisation économique et sociale. La MESHS vous propose d’illustrer cette conviction forte autour de différents projets associant chercheurs, monde de l’entreprise et associations. ...
Mots clés : prototypage, collaborations publiques-privées, chorégraphie, environnement intelligent, handicap, sciences humaines et sociales, énonciation (linguistique), arts visuels, domotique, science de l'ingénieur, Transdisciplinarité, Association de patients, stic, navigation virtuelle, terminaux mobiles, ...
Date : 05-11-2013
Droits : Droits réservés à l'éditeur et aux auteurs. Attribution - Pas d’Utilisation Commerciale - Partage dans les Mêmes Conditions 2.0 France (CC BY-NC-SA 2.0 FR)
UNIT
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 ...
Mots clés : fuscia, conférence, recherche, STIC, mathématiques appliquées
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)