|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Langages de programmation et concurrence, une relation toujours épineuse
/ INRIA (Institut national de recherche en informatique et automatique)
/ 02-10-2014
/ Canal-u.fr
ZAPPA NARDELLI Francesco
Voir le résumé
Voir le résumé
Nous verrons ensemble pourquoi, fait remarquable et troublant, nous n'avons aucune proposition satisfaisante pour la définition d'un langage généraliste permettant la programmation concurrente en mémoire partagée.
Mot(s) clés libre(s) : langage de programmation
|
Accéder à la ressource
|
|
Mon programme est-il bien protégé contre les cyberattaques ?
/ Institut National de Recherche en Informatique et en Automatique / Interstices
/ 13-12-2018
/
Rezk Tamara
Voir le résumé
Voir le résumé
Écrire du code sûr et s’assurer que celui-ci satisfait des propriétés de sécurité est nécessaire pour contrer d’éventuelles cyberattaques. Mais ce n’est pas suffisant. Encore faut-il que le programme qui sera exécuté par l’ordinateur soit sûr. Vous avez bien lu : écrire un programme sûr et s’assurer qu’il s’exécute de manière sûre sont deux choses bien distinctes. Mot(s) clés libre(s) : sécurité programme, sécurité compilateur, langage programmation
|
Accéder à la ressource
|
|
Pourquoi créer des nouveaux langages de programmation ?
/ Inria / Interstices
/ 28-01-2019
/
Henrio Ludovic
Voir le résumé
Voir le résumé
De nouveaux langages de programmation ainsi que des outils permettant de transformer ou d’analyser les programmes émergent chaque année grâce à la recherche dans ce domaine. Qu'est-ce qu'un bon langage ? Et surtout, pourquoi en crée-t-on toujours plus ? Mot(s) clés libre(s) : langage programmation, expressivité, sûreté, efficacité, programmation parallèle, programmation concurrente, programmation objets, objets actifs
|
Accéder à la ressource
|
|
OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
/ INRIA (Institut national de recherche en informatique et automatique)
/ 06-02-2014
/ Canal-u.fr
LE FESSANT Fabrice
Voir le résumé
Voir le résumé
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 entreprises peuvent avoir besoin pour l’utiliser.Cet exposé présentera cette aventure technique, sociale et économique, dont les effets sur la communauté OCaml ont déjà commencé à se faire sentir. Mot(s) clés libre(s) : langage de programmation, Ocaml
|
Accéder à la ressource
|
|
Introduction à la programmation en assembleur
/ Université d'Avignon et des Pays de Vaucluse, Unisciel
/ 15-07-2008
/ Unisciel
MOUREY Bénédicte, JOURLIN Pierre
Voir le résumé
Voir le résumé
Ce cours s'adresse à des étudiants post-bac en informatique. Il permet d'acquérir les concepts fondamentaux de la programmation en langage "assembleur" de manière interactive. Il est accompagné d'une série d'exercices permettant au lecteur de vérifier la bonne acquisition de ces concepts. Le cours couvre les principales instructions des processeurs les plus récents de la famille des 80x86 (Intel et AMD) : instructions d'arithmétique entière, comparaisons et branchements, opérations logiques, gestion de pile, procédures et fonctions, opérations en virgule flottante, parallélisme, etc. Les différentes structures de données sont aussi expliquées (pointeurs, tableaux, matrices, etc.) et des parallèles avec les langages de programmation avancés sont faits régulièrement. Mot(s) clés libre(s) : assembleur, langage de programmation, langage machine, processeur, 80x86, opérations logiques, pointeurs, tableaux, matrices, codage des données
|
Accéder à la ressource
|
|
Le logiciel, objet de notre quotidien
/ Mission 2000 en France
/ 10-09-2000
/ Canal-U - OAI Archive
BERRY Gérard
Voir le résumé
Voir le résumé
Il y a à peine trente ans, le logiciel était l'apanage des systèmes de gestion ou de communication des grandes entreprises. La micro-informatique, les ordinateurs embarqués et les réseaux ont centuplé ses applications, révolutionnant la bureautique, le design industriel ou artistique, les transports, et maintenant les objets du quotidien, du téléphone au stimulateur cardiaque en passant par tout l'audiovisuel, les jeux, et bien sûr Internet. On assiste en fait à la mise en place d'un nouveau système nerveux logiciel, avec lequel nous sommes sans cesse en contact. Or, le logiciel reste un objet mystérieux pour la plupart des gens. Il est purement immatériel, ne se voit pas, ne pèse rien. Pourtant, il produit des tas d'ennuis allant de l'inconfort des interfaces homme-machine mal conçus aux problèmes de sécurité des réseaux en passant par des crashs catastrophiques de fusées ou de satellites. La qualité du logiciel devient un des points faibles de notre société. Pour les spécialistes, ce n'est pas étonnant. Le logiciel est un objet purement intellectuel d'une très grande complexité, qui ne se laisse pas appréhender pas des approches naïves. Un logiciel est formé de millions d'ordres élémentaires à une machine ultra-rapide et quasi-infaillible mais parfaitement stupide, le microprocesseur. De minuscules erreurs peuvent avoir de grandes conséquences et on ne sait pas encore se protéger. Nous essaierons de mieux faire comprendre la nature profonde de l'objet logiciel, et nous présenterons les approches scientifiques modernes qui permettront de construire des logiciels plus sûrs et d'en assurer la correction. Mot(s) clés libre(s) : algorithmique, bug, circuit intégré, langage de programmation, logiciel informatique, microélectronique, microprocesseur
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
|