| |
|<
<< Page précédente
1
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
|
Logic-based static analysis for the verification of programs with dynamically allocated data structures
[Ressource pédagogique]
Date de publication :
20151203 |
Auteur(s) :
DRAGOI Cesara |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique) |
Origine de la fiche :
Canal-u.fr
Software
development has reached a complexity level that cannot be handled
without the aid of computer assisted methods. It is therefore of the
highest importance to have rigorous methods and automated techniques for
software verification, allowing to ensure a high degree of reliability
and of confidence in their behaviors.
In
this talk, we present logic-based frameworks for automatic ver...
Référencé le :
05-01-2016
|
|
L'informatique de demain : de Von Neumann aux superprocesseurs
[Ressource pédagogique]
Date de publication :
20000904 |
Auteur(s) :
ANCEAU François |
Editeur(s) :
Mission 2000 en France, Mission 2000 en France |
Origine de la fiche :
Canal-u.fr
L'évolution du matériel informatique est certainement le phénomène technique qui a connu la progression la plus importante pendant ce demi-siècle. L'apparition de la microélectronique a permis, sur les trente dernières années, une augmentation de la performance des microprocesseurs par un facteur d'environ 100 000, tandis que le prix des machines informatiques était divisé par plusieurs dizaines. ...
Référencé le :
22-09-2015
|
|
Les machines d'aujourd'hui et de demain
[Ressource pédagogique]
Date de publication :
20100609 |
Auteur(s) :
COHEN Albert |
Editeur(s) :
INRIA |
Origine de la fiche :
Canal-U - OAI Archive
Dans cette vidéo, Albert Cohen montre les liens entre la science informatique et l'architecture des ordinateurs, donc leur conception. Il explique les outils logiciels permettant de profiter des performances des processeurs (du compilateur aux outils liés au système d'exploitation). Sur les processeurs classiques, il suffit de compiler (de traduire en langage machine) le programme pour l'exécuter ...
Référencé le :
08-02-2011
|
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
