31793 résultats

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

31793 résultats

page 5 sur 3180

résultats 41 à 50

Le progrès technique et les nouvelles technologies au regard de l'Ecole de l'islamisation de la connaissance - Abdelouahad Jadhani

Description : Dans ce chapitre, sont abordés les points suivants : - Remodeler les sciences humaines et sociales à partir du cadre de la « Révélation coranique » - Définir le « cadre islamique » de la technologie et de la science : un exemple dans le domaine de la médecine

Mots clés : révélation coranique, histoire, religieux, sciences humaines, sciences sociales

Date : 2014

Droits : Licence Creative Commons : Paternité - Pas d'Utilisation Commerciale - Partage à l'identique 4.0 France

Le progrès technique et les nouvelles technologies au regard de l'Ecole de l'islamisation de la connaissance - Abdelouahad Jadhani

Ajouter à mon panier

Accéder au document

Réduction de la mortalité maternelle - Dakar 2010 : l’Education Pour la Santé vue d’en bas.

Description : Titre : l’Education Pour la Santé vue d’en bas. Résumé : Bien que l’analyse des problèmes institutionnels soit essentielle pour comprendre la faible performance de l’EPS, l’auteur aborde surtout la question des rapports entre le dispositif technique et les populations locales. De quelle manière ...

Mots clés : afrique, Education pour la santé, tradition, mortalité maternelle, RMM Dakar 2010, syncrétisme

Date : 16-12-2010

Droits : Droits réservés à l'éditeur et aux auteurs.

Réduction de la mortalité maternelle - Dakar 2010 : l’Education Pour la Santé vue d’en bas.

Ajouter à mon panier

Accéder aux documents

Caractéristiques particulières des manuscrits en langue arabe d’Afrique de l’ouest (Tombouctou) à prendre en compte dans les outils techniques par Alfadoulou ABDOULAHI

Description : Caractéristiques particulières des manuscrits en langue arabe d’Afrique de l’ouest (Tombouctou) à prendre en compte dans les outils techniques Depuis une vingtaine d’années, le numérique a marqué l’organisation des connaissances et est au centre des programmes de modernisation des institutions ...

Mots clés : linguistique informatique, Sciences de l'information et de la communication, Etudes interculturelles, Ingénierie linguistique

Date : 11-10-2013

Caractéristiques particulières des manuscrits en langue arabe d’Afrique de l’ouest (Tombouctou) à prendre en compte dans les outils techniques par Alfadoulou ABDOULAHI

Ajouter à mon panier

Accéder aux documents

Témoignage et conclusion

Description : Projet de partenariat Liban-France pour l'enseignement, la formation et la recherche.

Mots clés : développement professionnel, Recherche collaborative

Date : 25-05-2016

Droits : Droits réservés à l'éditeur et aux auteurs.

Témoignage et conclusion

Ajouter à mon panier

Accéder aux documents

Exercices (Compilation : théorie, techniques et outils)

Description : TDs qui relèvent d'un ou plusieurs thèmes. Composant d'exercices de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.

Mots clés : compilation, optimisation de code, programme informatique, langage de programmation, compilateur, code source, programmation assembleur, traduction dirigée par la syntaxe, analyse lexicale, analyse syntaxique, analyse sémantique, YACC, table de symbole, gestion des types, code intermédiaire, gén ...

Date : 22-12-2010

Droits : Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Exercices (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Introduction à l'optimisation de code (Compilation : théorie, techniques et outils)

Description : Ce cours présente les enjeux, les difficultés et quelques techniques de base de génération de code efficace. Thème 9 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples et exercices résolus.

Mots clés : compilation, optimisation de code, programme informatique, langage de programmation, compilateur, code source, performance d'un programme, analyse de code

Date : 22-12-2010

Introduction à l'optimisation de code (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Génération de code (Compilation : théorie, techniques et outils)

Description : Ce cours montre l'utilisation de la traduction dirigée par la syntaxe pour générer du code valide et en particulier la génération de code sur machine à pile et sur machine à registres. Il donne des exemples de génération de code pour des expression arithmétique, des structures de contrôle, des appels ...

Mots clés : compilation, génération de code, programme informatique, langage de programmation, compilateur, code source, traduction dirigée par la syntaxe, expression, instruction conditionnelle, boucle, appel de fonction

Date : 22-12-2010

Génération de code (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Représentations intermédiaires (Compilation : théorie, techniques et outils)

Description : Ce cours définit des structures et langages intermédiaires utilisés en compilation, comme la structure en graphes (dépendances de données, dépendances de contrôle) et des formes textuelles (codes 3 adresses, codes 2 adresses, notation préfixées et postfixées, SSA, etc.). Thème 7 de l'ensemble " ...

Mots clés : compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, portage d'un compilateur, code intermédiaire structuré, modèle mémoire, graphe, code intermédiaire linéaire

Date : 22-12-2010

Représentations intermédiaires (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Gestion de la mémoire (Compilation : théorie, techniques et outils)

Description : Ce cours présente les processus d'allocation et de substitution. Il montre comment fait un compilateur pour transformer des données de haut niveau en données de bas niveau (mémoire linéaire). Thème 6 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant ...

Mots clés : compilation, gestion de la mémoire, programme informatique, langage de programmation, compilateur, code source, processus d'allocation, processus de substitution, représentation de l'information, allocation dynamique, appel de fonction, passage de paramètres

Date : 22-12-2010

Gestion de la mémoire (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Gestion de type (Compilation : théorie, techniques et outils)

Description : Ce cours présente la notion de types dans un compilateur ainsi que les problèmes d'analyse de type et de vérification de types. Il donne l'exemple d'un système de typage simple. Thème 5 de l'ensemble "Compilation : théorie, techniques et outils" organisé en 10 thèmes et contenant cours, exemples ...

Mots clés : compilation, gestion de type, programme informatique, langage de programmation, compilateur, code source, analyse de type, système de typage

Date : 22-12-2010

Gestion de type (Compilation : théorie, techniques et outils)

Ajouter à mon panier

Accéder aux documents

Rebondir