30 résultats : langage de programmation

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
30 résultats
page 3 sur 3
résultats 21 à 30
Canal-U
Coccinelle: synergy between programming language research and the Linux kernel
Description : The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core ...
Mots clés : langage de programmation, système d'exploitation, linux
Date : 23-11-2017
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Coccinelle: synergy between programming language research and the Linux kernel
 Ajouter à mon panier
Accéder aux documents
Canal-U
OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
Description : 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 ...
Mots clés : langage de programmation, Ocaml
Date : 06-02-2014
Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
 En savoir plus
 Description complète
OCamlPro : promouvoir dans l’industrie un langage de programmation issu de la recherche
 Ajouter à mon panier
Accéder aux documents
UNIT
Scripts MATLAB
Description : Scripts Matlab du livre "Méthode des éléments finis" édité chez Hermès/Lavoisier en 2005. Ce livre est associé au module M4 de MECAGORA .
Mots clés : éléments finis, MATLAB, calcul numérique, langage de programmation, environnement de développement, script, MECAGORA
Date : 02-04-2005
Droits : Ressource libre d'accès
 En savoir plus
 Description complète
Scripts MATLAB
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
MOOC Introduction à HTML5 - Animations et jeux
Description : Vous avez envie de développer des animations ou des petits jeux pour le web, mais sans trop savoir comment vous y prendre ; vous avez peut-être entendu parler d'HTML5, mais vous n'avez pas de connaissance particulière des langages web. En revanche, vous avez quelques notions d'algorithmique et p ...
Mots clés : langage de programmation, HTML5, CSS, programmation, jQuery, développement Web, méthodologie de conception, animation HTML5, jeu
Date : 11-01-2016
Droits : Conditions d'utilisation : Licence Creative Commons BY NC ND : l’utilisateur doit mentionner le nom de l’auteur, il peut exploiter l’œuvre sauf dans un contexte commercial, il ne peut pas modifier l’œuvre originale et la rediffuser.
 En savoir plus
 Description complète
MOOC Introduction à HTML5 - Animations et jeux
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Variabilité, limite, stabilité en informatique
Description : Variabilité, limite, stabilité : en informatique, il y a plusieurs façons de donner du sens à ces termes, que l’on considère les technologies, la programmation, ou la théorie du calcul. Quelques pistes de réflexion...
Mots clés : algorithme, problème de la décision, calculabilité, technologie, langage de programmation, algorithme génétique, fuscia
Date : 20-02-2007
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
 En savoir plus
 Description complète
Variabilité, limite, stabilité en informatique
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Do general purpose languages have a future?
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)
 En savoir plus
 Description complète
Do general purpose languages have a future?
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Théorie des langages
Description : Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : ...
Mots clés : théorie des langages, langage formel, compilation, langage de programmation, automate fini, grammaire syntagmatique, analyseur, calculabilité
Date : 01-09-2011
Droits : Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.
 En savoir plus
 Description complète
Théorie des langages
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
Langages de programmation et concurrence, une relation toujours épineuse
Description : 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.  
Mots clés : langage de programmation
Date : 02-10-2014
Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
 En savoir plus
 Description complète
Langages de programmation et concurrence, une relation toujours épineuse
 Ajouter à mon panier
Accéder aux documents
Productions_UL
Ergonomie & Interfaces - Développeur : Thomas Schmitt
Description : Thomas Schmitt témoigne sur son métier de développeur au sein de l'entreprise Praxinos. Cette vidéo est un des éléments constitutifs de la partie consacrée à l'ergonomie et aux interfaces, du MOOC "Les métiers du numérique pour inventer le monde de demain" coconstruit en 2020 par l'Université de ...
Mots clés : parcours de formation, dessin d'animation, conception informatique, moteur d'animation, codage informatique, interface-homme/machine, fonctionnalité ergonomique, création, langages de programmation, réalité virtuelle, 3D
Date : 2020
Droits : CC BY-NC-ND
 En savoir plus
 Description complète
Ergonomie & Interfaces - Développeur : Thomas Schmitt
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Logiciels d'automatique linéaire
Description : Sélection de logiciels développés à l'INSA de Rouen dans un but pédagogique afin d'aider les étudiants en automatique à mieux comprendre le comportement des systèmes en boucle fermée et de contrôler les résultats de leurs exercices. Le langage de programmation est Labview 6.0.
Mots clés : automatique linéaire, logiciel, Labview 6.0, système en boucle fermée, langage de programmation, courbe de Bode, transmittance, période d'échantillonnage
Droits : Ces contenus sont la propriété de l'auteur et de l'Insa de Rouen ; ils sont strictement réservés à un usage pédagogique.
 En savoir plus
 Description complète
Logiciels d'automatique linéaire
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé