Academic literature on the topic 'Compilation (informatique)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Compilation (informatique).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Compilation (informatique)"
1
Toussaint, J., T. Habtemariam, D. Oryang, and S. Wilson. "Développement d’un modèle de simulation informatique pour l’anaplasmose, notamment dans les Antilles." Revue d’élevage et de médecine vétérinaire des pays tropicaux 46, no. 1-2 (1993): 47–48. http://dx.doi.org/10.19182/remvt.9396.
Full textAbstract:
L’anaplasmose, qui continue à être une énigme dans la région des Caraïbes, est responsable de pertes économiques élevées dans la production animale. L’épidémiologie de cette maladie est complexe et la voie efficace et rationnelle à suivre pour son contrôle demeure encore incertaine. On a donc pensé que l’élaboration d’un modèle épidémiologique utilisant des modèles de simulation sur ordinateur serait utile pour une meilleure compréhension de cette maladie. Un modèle de simulation sur ordinateur qui donne les tendances réalistes de la dynamique de la maladie a donc été développé. De plus, ce cadre fournit aux décideurs un outil d’évaluation de différentes alternatives de lutte, pour un planning rationnel et pour l’allocation de fonds. L’élaboration du modèle a été basé sur la mise en œuvre d’une base de connaissances épidémiologiques pour l’anaplasmose ; d’un modèle conceptuel pour les sous-populations de bovins et de tiques ; d’un modèle d’analyse de systèmes pour les sous-populations de bovins et de tiques ; d’un modèle mathématique ; d’un modèle de simulation informatique ; sur l’évaluation du modèle de simulation et l’utilisation de ce dernier pour l’évaluation des alternatives de lutte contre Anaplasma. La base de connaissances a été développée en utilisant la “Epidemiologic Problem Oriented Approach” (EPOA) pour la collecte et la compilation de l’information dans une base condensée de connaissances épidémiologiques sur l’anaplasmose. L’information sur l’anaplasmose a été extraite de manuels sélectionnés de médecine vétérinaire, de revues contemporaines, de documents divers, et de questionnaires remplis par des vétérinaires antillais. L’information épidémiologique a été présentée en diagrammes afin de conceptualiser l’épidémiologie détaillée de la maladie. En même temps, elle montre les parties fondamentales du système anaplasmose pour mieux décrire et analyser la maladie. Des diagrammes d’analyse de systèmes ont également été utilisés pour établir une corrélation entre le niveau pathologique et un niveau particulier qui était décrit et défini par des équations différentielles classiques. Toutes les équations étaient approchées en utilisant la méthode d’intégration de Euler. Ainsi, la dynamique de la maladie a été révélée. Ces diagrammes ont fourni le cadre sur lequel le modèle a été construit. L’évaluation du modèle a montré qu’il est stable. Des tendances biologiquement solides et raisonnables ont été affichées. Ce cadre a ensuite été utilisé pour évaluer les présentations diverses de la maladie et les alternatives différentes pour la lutte. Les manifestations de la maladie observées comprenaient la présentation de populations de bovins et de tiques avec et sans maladie, la dynamique de la maladie quant elle fut introduite par des bovins et des tiques infectés. Les alternatives de lutte testées sont : les effets de niveaux différents de lutte acaricide sur la population de tiques et l’évolution de la maladie ; l’influence de la génétique sur l’incidence de la maladie ; les effets de niveaux différents d’application d’antibiotiques sur la dynamique de la maladie, quant elle fut introduite par des bovins et des tiques infectieux. Le modèle de simulation informatique doit être testé et validé systématiquement pour être sensible aux conditions du terrain.
2
Martynov, Gennadiy P., Lyudmila K. Radchenko, and Elizaveta F. Shurygina. "APPLICATION OF THEORY OF SETS IN INFORMATIVE CARTOGRAPHY." Interexpo GEO-Siberia 1, no. 2 (2020): 75–81. http://dx.doi.org/10.33764/2618-981x-2020-1-2-75-81.
Full textAbstract:
The article deals with the application of mathematical methods, in particular theory of sets, in the compilation and use of cartographic works. Specific examples are given when theory of sets is used in mapping, and examples when it works in creating and using cognitive cartographic resources are given.
3
Paice, Judith A. "Proceedings of the 12th World Congress on Pain: An Informative Compilation." Journal of Pain and Symptom Management 39, no. 3 (2010): 615–16. http://dx.doi.org/10.1016/j.jpainsymman.2010.01.001.
Full text
4
Baugh, John. "POWER, PEDAGOGY, AND PRACTICE.Tricia Hedge and Norman Whitney (Eds.). Oxford: Oxford University Press, 1996. Pp. xi + 398. £19.40 paper." Studies in Second Language Acquisition 21, no. 3 (1999): 501. http://dx.doi.org/10.1017/s0272263199263073.
Full textAbstract:
This book is a compilation of informative chapters containing selected papers (1988–1995) that first appeared in the English Language Teaching Journal, edited by Hedge and Whitney. The chapters have been reorganized “to provide a useful resource for teachers, trainee teachers, teacher educators, students, and researchers” (p. 1).
5
De Villiers, Santie M., Vincent N. Michael, Eric O. Manyasa, Annis N. Saiyiorri, and Santosh Deshpande. "Compilation of an informative microsatellite set for genetic characterisation of East African finger millet (Eleusine coracana)." Electronic Journal of Biotechnology 18, no. 2 (2015): 77–82. http://dx.doi.org/10.1016/j.ejbt.2014.12.001.
Full text
6
JAMAL, AMANEY. "BEVERLEY MILTON-EDWARDS, Islamic Politics in Palestine (London: I. B. Tauris, 1996). Pp. 256. $59.95 cloth, $14.95 paper." International Journal of Middle East Studies 33, no. 3 (2001): 449–50. http://dx.doi.org/10.1017/s0020743801213063.
Full textAbstract:
Islamic Politics in Palestine charts the evolution of political Islam's responses to the changing political environment in Palestine from the 1920s through the mid 1990s. Through extensive fieldwork based on oral evidence, ethnographic interviews, and an impressive compilation of primary source material, Milton-Edwards provides her readers with perhaps the most detailed, comprehensive, and informative account of Palestinian Islamic politics in recent years.
7
Gao, Yang, Lunjin Liang, Yifei Li, Rui Li, and Yu Wang. "Function-Level Compilation Provenance Identification with Multi-Faceted Neural Feature Distillation and Fusion." Electronics 13, no. 9 (2024): 1692. http://dx.doi.org/10.3390/electronics13091692.
Full textAbstract:
In the landscape of software development, the selection of compilation tools and settings plays a pivotal role in the creation of executable binaries. This diversity, while beneficial, introduces significant challenges for reverse engineers and security analysts in deciphering the compilation provenance of binary code. To this end, we present MulCPI, short for Multi-representation Fusion-based Compilation Provenance Identification, which integrates the features collected from multiple distinct intermediate representations of the binary code for better discernment of the fine-grained function-level compilation details. In particular, we devise a novel graph-oriented neural encoder improved upon the gated graph neural network by subtly introducing an attention mechanism into the neighborhood nodes’ information aggregation computation, in order to better distill the more informative features from the attributed control flow graph. By further integrating the features collected from the normalized assembly sequence with an advanced Transformer encoder, MulCPI is capable of capturing a more comprehensive set of features manifesting the multi-faceted lexical, syntactic, and structural insights of the binary code. Extensive evaluation on a public dataset comprising 854,858 unique functions demonstrates that MulCPI exceeds the performance of current leading methods in identifying the compiler family, optimization level, compiler version, and the combination of compilation settings. It achieves average accuracy rates of 99.3%, 96.4%, 90.7%, and 85.3% on these tasks, respectively. Additionally, an ablation study highlights the significance of MulCPI’s core designs, validating the efficiency of the proposed attention-enhanced gated graph neural network encoder and the advantages of incorporating multiple code representations.
8
Beiskhanova, S. A., Zh N. Zhunussova, and А. Zoltan. "Paroemiographic interpretation of proverbs and sayings corpus on the material of different structural languages." Bulletin of the Karaganda university Philology series 110, no. 2 (2023): 81–88. http://dx.doi.org/10.31489/2023ph2/81-88.
Full textAbstract:
Within the current linguistics paradigm there is a high interest in studying proverbial collections of different ethnic groups. Paroemiographic collections serve as an informative resource for linguistic studies. Along with this, it is necessary to pay attention to the issues of paroemiography. The theoretical bases of this area of lexicography have already found practice in compiling various types of proverbial dictionaries. The article presents an overview of some dictionaries of Russian and English proverbs and sayings. The authors considered the lexicographic principles used in the compilation of the studied sources of proverbs and sayings. The article provides a comparative analysis of the representation and description of proverbs and sayings in such collections. In addition to distinctive features, the obtained results revealed a general trend in the arrangement and description approaches of paroemias in the considered dictionaries. Studying the concepts applied in the presentation, comparison, meaning interpretations, illustrative examples of usage and origin of the proverbial units in lexicographic practice determine the outlooks in the compilation of new dictionary publications and further cross-cultural linguistic research in contemporary paroemiography.
9
Greene, Kai. "Book Review: Bilinguals are not two monolinguals in one." In Dialogue/En Diálogo 1, no. 1 (2023): 85–97. http://dx.doi.org/10.46787/dialogue.v1i1.3338.
Full textAbstract:
Key tenets of bilingual education involve connectedness in the ability to collaborate with students and colleagues while establishing vital connection to families and communities. This book review examines Francois Grosjean’s Life as a bilingual: Knowing and using two or more languages (2021); a compilation of blogs published from 2010 to 2020. Written from a psycholinguistic perspective, the author effectively expands upon the Complementarity Principle which supports how bilinguals usually acquire and use their languages for different purposes, with different people, across the lifespan. Across fifteen chapters, this collection offers an assortment of topical and informative snippets fitting for any bilingual-curious audience: university professors, researchers, educational practitioners, students, community workers, and families.
10
Ogneva, Elena Anatolievna, and Viktoria Dmitrievna Pupynina. "Transcoding of an informative map of textual landscape models in Ch. Bronte’s Jane Eyre in English and Russian." Philology. Issues of Theory and Practice 17, no. 7 (2024): 2368–74. http://dx.doi.org/10.30853/phil20240337.
Full textAbstract:
The purpose of the study is to identify trends in cross-cultural recoding of the architectonics of textual landscape models in Bronte’s “Jane Eyre” by means of translation transfer. The scientific novelty of the research consists in: replenishing the thesaurus of text linguistics with the new term “informative map of textual landscape models”, identifying trends in cross-cultural translation transfer of the informative map of textual landscape models in Ch. Bronte’s “Jane Eyre” by means of the Russian language, the development of an algorithm for the study of the translation transfer of the landscape segment of literary text for revealing trends in cross-cultural transcoding of textual landscape models. As a result of the conducted research, it is shown that the compilation of a map of landscape models as an informative matrix of the architecture of the landscape segment of the novel contributes to the visualization of the author’s text construction, which, combined with the use of code formulas of landscape units as part of landscape models, provides a new interpretative approach to cross-cultural transcoding of the original text by means of the translation language. The development and implementation of an algorithm for the study of the translation transfer of the landscape segment of literary text helps to identify trends in cross-cultural transcoding of text landscape models in Ch. Bronte’s “Jane Eyre” in Russian.
Dissertations / Theses on the topic "Compilation (informatique)"
1
Vu, Son Tuan. "Optimizing Property-Preserving Compilation." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS435.
Full textAbstract:
Afin d’assurer des garanties sécuritaires des applications binaires, des analyses et vérifications doivent avoir lieu au niveau binaire. Ces analyses et vérifications nécessitent des propriétés de sécurité ou fonctionnelles des applications. Il est donc nécessaire de transporter et transposer ces propriétés portant sur le code source au niveau du code compilé. La préservation de propriétés tout au long du flot de compilation est un problème difficile à cause des optimisations qui réorganisent les calculs ou éliminent les variables inutiles. Cette thèse présente des approches permettant de propager et préserver des propriétés tout au long d’un flot de compilation optimisant sans modifier les passes d’optimisation du compilateur. Dans l’implémentation dans LLVM, les propriétés sont émises dans le code binaire sous forme d’information de débug DWARF permettant leur utilisation par des outils d’analyse binaire. Les mécanismes proposés peuvent être utilisés pour préserver des protections insérées dans le code source tout en activant les optimisations du compilateur<br>In order to ensure security guarantees of binary applications, program analyses and verifications have to be performed at the binary level. These analyses and verifications require various security or functional properties about the program being analyzed. It is thus necessary to propagate these properties,usually expressed in the source level, down to binary code. However, preserving these properties throughout the optimizing compilation flow is hard due to code optimizations which reorder computations or eliminate unused variables. This thesis presents different approaches to preserve and propagate program properties throughout the optimizing compilation flow with minimal changes to individual transformation passes. In the implementations in LLVM, properties are emitted into executable binaries as DWARF debug information, which can next beused by binary analysis tools. Our mechanisms can be applied to address the problem of preserving security protections inserted at the source level, compiled with optimizations enabled
2
Belleville, Nicolas. "Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM080.
Full textAbstract:
Les systèmes embarqués et objets connectés sont aujourd'hui de plus en plus répandus. Contrairement à d'autres systèmes accessibles uniquement par le réseau, les systèmes embarqués sont accessibles physiquement par un attaquant. Celui ci peut alors exploiter cette proximité physique pour monter des attaques par canaux auxiliaires afin de compromettre ces systèmes ou leurs données. Ces attaques non intrusives ont ainsi montré une grande efficacité pour récupérer les clés cryptographiques utilisées dans de tels systèmes. Il est alors primordial de protéger les systèmes embarqués contre cette menace sérieuse. Les contre-mesures logicielles sont la plupart du temps appliquées manuellement par des experts. Dans cette thèse, nous proposons d'appliquer automatiquement ces contre-mesures au sein du processus de compilation. Nous proposons deux approches, l'une pour appliquer une contre-mesure de masquage booléen de premier ordre, l'autre pour appliquer une contre-mesure de polymorphisme de code. Nous apportons des réponses à plusieurs problèmes liés à la génération dynamique de code pour permettre l'utilisation du polymorphisme de code sur des systèmes contraints. Enfin, nous adaptons les contre-mesures choisies afin d'obtenir de meilleurs compromis entre les performances et la sécurité<br>Embedded systems and connected objects are increasingly used nowadays. Unlike some other systems accessible only through the network, embedded systems are physically accessible by an attacker. The latter can then exploit this physical proximity to mount side-channel attacks to compromise these systems or their data. These non-intrusive attacks have shown great effectiveness in recovering cryptographic keys used in such systems. Embedded systems must therefore be secured against this severe threat. Software countermeasures are most often applied manually by experts. In this thesis, we propose to automatically apply these countermeasures within the compilation process. We propose two approaches, one to apply a first-order Boolean masking countermeasure, the other to apply a code polymorphism countermeasure. We address several problems related to dynamic code generation to enable the use of code polymorphism on constrained systems. Finally, we adapt the chosen countermeasures to obtain a better trade-off between performance and security
3
El, Ghazi El Houssaini Souhail. "Notions fondamentales de la théorie des systèmes informatiques." Aix-Marseille 2, 1986. http://www.theses.fr/1986AIX22030.
Full textAbstract:
L'auteur a realise une etude approfondie des rapports qui existent entre compilateurs et systemes informatiques qui les gerent. Decomposant le champ informatique en deux parties : le fini borne pour les compilateurs et le fini illimite pris en compte par le systeme, il definit un ensemble de notions coherentes qu'il fait apparaitre dans un langage : la procedure formelle symbolique destine a assurer la description complete de l'ensemble : systeme-jeu de compilateurs, etendu au cas general ou ce jeu est extensible
4
Reilles, Antoine Kirchner Claude. "Réécriture et compilation de confiance." S. l. : S. n, 2006. http://www.scd.inpl-nancy.fr/theses/2006_REILLES_A.pdf.
Full text
5
Cassez, Franck. "Compilation et vérification des programmes ELECTRE." Nantes, 1993. http://www.theses.fr/1993NANT2013.
Full textAbstract:
On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini et déterministe pour tous les programmes du langage. Ce modèle est un système de transitions à file. Enfin, nous donnons des modèles de validation équivalents au modèle d'exécution sur lesquels on peut vérifier des propriétés comportementales par utilisation d'outils d'analyse de systèmes de transitions
6
Loitsch, Florian. "Scheme to JavaScript compilation." Nice, 2009. http://www.theses.fr/2009NICE4066.
Full textAbstract:
This thesis presents a Scheme to JavaScript compiler. Scheme and JavaScript are similar in many respects but differ in some major points. In the context of a Scheme to JavaScript compilation JavaScript's lack of proper tail recursion and continuations is especially noticeable. In this work we first show that without these two features our compiler produces efficient code that rivals with handwritten JavaScript code. However, this reduced input language is not compliant to the Scheme specification but represents a pragmatical sub-language. In this configuration {\sc{Scm2Js}} has been successfully used on a daily basis within our team. Even though not enabled by default, provides proper tail recursion and continuations too. We present a trampoline based technique for proper tail recursion that has the distinct advantage of efficiently integrating with existing JavaScript code. Our continuations implementation is an improvement over existing exception based continuations. We have adapted previous techniques that were designed for one-shot continuations (designed for check-pointing and migration). In order to capture the essence of our continuation algorithm we have developed, a canonic version of our implementation. Without dependencies on non-standard Scheme features, like exceptions, we advertise as an alternative to CPS. We have proved the correctness of on a simplified version of Scheme<br>Cette thèse présente un compilateur de Scheme vers JavaScript. Bien que très proches, ces deux langages diffèrent dans des points majeurs. En particulier, les continuations et la récursivité terminale, qui n'existent que dans Scheme, sont importantes dans le contexte d'une telle compilation. Dans ces travaux nous montrons que, sans ces deux fonctionnalités, produit du code aussi efficace que du code écrit à la main. Cependant, ce langage réduit n'est pas conforme à R5RS, la spécification de Scheme, mais représente un sous-langage pragmatique. Dans cette configuration est utilisé quotidiennement dans notre projet. Bien que désactivé par défaut, permet aussi la récursivité terminale et les continuations. Nous présentons dans cette thèse une implémentation de la récursivité terminale qui se base sur la technique des trampolines. Elle a la propriété intéressante de faciliter la coexistence d'un code généré et d'un code JavaScript existant. Notre implémentation des continuations est une amélioration des continuation à base d'exceptions. Nous avons adapté des techniques développées pour des continuations 'one-shot' (utilisées par exemple pour la migration). Pour capturer l'essence de notre algorithme de compilation des continuations nous avons développé, une version canonique de notre implémentation. Indépendant des fonctionnalités non-standard de Scheme, comme les exceptions, nous proposons comme alternative à CPS. Pour une version simplifiée de Scheme nous avons prouvé que est correct
7
Moreau, Pierre-Étienne. "Compilation de règles de réécriture et de stratégies non-déterministes." Nancy 1, 1999. http://www.theses.fr/1999NAN10121.
Full textAbstract:
Les techniques de réécriture ont été développées depuis les années 1970 et appliquées en particulier au prototypage des spécifications formelles algébriques et à la démonstration de propriétés liées à la vérification de programmes. ELAN est un système qui permet de spécifier et d'exécuter des résolveurs de contraintes, des démonstrateurs et plus généralement tout processus décrit par des règles de transformation. Il possède des opérateurs associatifs-commutatifs (AC) et un langage de stratégies qui permettent une gestion fine de l'exploration d'un arbre de recherche et une manipulation aisée d'opérateurs mathématiques tels que les connecteurs booléens, les opérateurs arithmétiques ou les opérateurs de composition parallèle par exemple. Ces deux notions améliorent grandement l'expressivité du langage mais introduisent un double non-déterminisme lié à la possibilité d'appliquer plusieurs règles, de différentes façons, sur un terme donné. Cela rend difficile et généralement peu efficace leur implantation. L'objectif principal de cette thèse est d'étudier des techniques de compilation qui améliorent l'efficacité de ce type de langages. Nous proposons un nouvel algorithme, à base d'automates déterministes, pour compiler efficacement le filtrage syntaxique. Nous définissons ensuite différentes classes de règles pour lesquelles nous proposons un algorithme efficace de filtrage AC. Cet algorithme utilise une structure de données compacte et les automates définis précédemment, ce qui améliore considérablement les performances du processus de normalisation dans son ensemble. [. . . ]
8
Arcangeli, Jean-Paul. "Définition et mise en oeuvre d'une stratégie de compilation pour l'implantation des langages d'acteurs : application à PLASMA." Toulouse 3, 1990. http://www.theses.fr/1990TOU30126.
Full textAbstract:
La compilation est une strategie alternative pour l'implantation des langages d'acteurs qui, classiquement sont interpretes. Le compilateur complete l'environnement de programmation plasma, mais l'interprete est conserve pour le developpement et la mise au point. Le compilateur subvient aux besoins de performances: il traite des applications debogues avant leur exploitation. Le programme objet, est integre a l'interprete de base de plasma, donnant ainsi un nouvel interprete etendu aux acteurs de l'application compilee. Ces derniers s'exploitent alors comme s'ils s'agissaient d'acteurs primitifs. Ainsi, la strategie de compilation peut s'assimiler a une curryfication de l'interpretation. Le langage de la machine virtuelle lila, qui supporte l'interprete plasma, est le langage intermediaire du processus de compilation. Il offre un ensemble de primitives bien adaptees a la gestion de plasma, et il est de nouveau suffisamment eleve pour assurer la portabilite des logiciels engendres. La traduction des programmes lila en langage machine assure leur efficacite. Le compilateur est specialise dans la gestion des environnements et du controle: filtrage, fermetures, et transmissions de messages avec ou sans continuation. Un filtre est compile en un code lineaire, quelle que soit sa structure initiale: la structure de controle du filtrage n'est plus la recursivite mais la sequence et les branchements. Les fermetures compilees sont des arborescences: le script compile est une sequence de code lila, partage par toutes les instances d'un modele, et referencant un environnement compile specifique. De cette facon, les instances creees dynamiquement en phase d'exploitation sont structurees de la meme facon que les acteurs compiles du programme source. Enfin, la compilation des transmissions permet la programmation applicative et imperative, ainsi que les passages ou les captures de continuation. Ainsi, les applications comp
9
Fernández, de Retana Yon. "Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques." Thesis, Rennes 1, 2018. http://www.theses.fr/2018REN1S020/document.
Full textAbstract:
Les compilateurs optimisants pour les langages de programmation sont devenus des logiciels complexes et donc une source de bugs. Ceci peut être dangereux dans le contexte de systèmes critiques comme l'avionique ou la médecine. Cette thèse s'inscrit dans le cadre de la compilation vérifiée optimisante dont l'objectif est d'assurer l'absence de tels bugs. Plus précisément, nous étudions sémantiquement une représentation intermédiaire SSA (Single Static Assignment) particulière, Sea of Nodes, utilisée notamment dans le compilateur optimisant HotSpot pour Java. La propriété SSA a déjà été étudiée d'un point de vue sémantique sur des représentations simples sous forme de graphe de flot de contrôle, mais le sujet des dépendances entre instructions a seulement été effleuré depuis une perspective formelle. Cette thèse apporte une étude sémantique de transformations de programmes sous forme Sea of Nodes, intégrant la flexibilité en termes de dépendances de données entre instructions. En particulier, élimination de zero-checks redondants, propagation de constantes, retour au bloc de base séquentiel et destruction de SSA sont étudiés. Certains des sujets abordés, dont la formalisation d'une sémantique pour Sea of Nodes, sont accompagnés d'une vérification à l'aide de l'assistant de preuve Coq<br>Optimizing compilers for programming languages have become complex software, and they are hence subject to bugs. This can be dangerous in the context of critical systems such as avionics or health care. This thesis is part of research work on verified optimizing compilers, whose objective is to ensure the absence of such bugs. More precisely, we semantically study a particular SSA intermediate representation, Sea of Nodes, which is notably used in the optimizing compiler HotSpot for Java. The SSA property has already been studied from a semantic point of view on simple intermediate representations in control flow graph form, but the subject of dependencies between instructions has just been skimmed from a formal perspective. This thesis brings a semantic study of transformations of programs in Sea of Nodes form, integrating the flexibility regarding data dependencies between instructions. In particular, redundant zero-check elimination, constant propagation, transformation back to sequential basic block, and SSA destruction are studied. Some of the approached topics, including the formalization of a semantics for Sea of Nodes, are accompanied by a verification using the Coq proof assistant
10
Carribault, Patrick. "Contribution to the compilation of irregular programs for complex architectures." Versailles-St Quentin en Yvelines, 2007. http://www.theses.fr/2007VERS0012.
Full textAbstract:
Contribution à la compilation de programmes irréguliers pour des architecturescomplexesLes architectures multicoeurs sont omniprésentes dans les processeurs généralistes et embarqués. Plusieurs flôts d'instructions (threads) sont exécutés, augmentant le parallélisme, évitant des contentions de ressources. L'execution concurrente d'un thread est déterminant pour le temps d'execution de l'application. Ainsi, l'exploitation fine d'un coeur est indispensable afin de découvrir du parallelisme d'instructions (ILP) au sein d'un flot d'instructions. Cette thèse traite de l'optimisation monocoeur de codes irréguliers comportant du parallélisme "caché". Nous avons conçus des transformations permettant d'augmenter leur ILP : Deep Jam convertissant du parallelisme à gros grain,restructuration des arbres de décisions et une plateforme d'ordonnancement d'instructions unifiant les dépendences de données et les contraintes de ressources complexes. Des accélérations par rapport à des techniques et compilateurs de pointe ont été obtenues sur Itanium 2<br>Contribution to the Compilation of Irregular Programs for Complex ArchitecturesMulticore architectures are ubiquitous in general purpose and embedded systems. Modern processors execute several instruction flows (threads) increasing the parallelism and accommodating for resource stalls. Both the execution of a thread and its interaction with the others shape the overall performance of an application. Thus, an accurate exploitation of a single core is mandatory: it leads to the necessity to discover the instruction-level parallelism (ILP) within an instruction flow. This thesis focuses on the monocore optimization of irregular codes hoseparallelism is "hidden" behind complex control flow. We designedtransformations to increase their ILP: Deep Jam converting coarse-grain parallelism, decision tree reshaping and an instruction-scheduling framework unifying data dependences and complex resource constraints. Everytransformation leads to significant speedups on a wide issue architecture(Itanium), compared to state-of-the-art techniques and compilers
Books on the topic "Compilation (informatique)"
1
Noyelle, Yves. Traitement des langages évolués: Compilation, interprétation, support d'éxécution. Masson, 1988.
Find full text
2
CCHSC Workshop (2nd 1988 Berlin, Germany). Compiler compilers and high speed compilation: 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings. Springer-Verlag, 1989.
Find full text
3
Patenaude, Paul. Le titulaire: Mode d'emploi général. Progiciels Interactifs 2000 inc, 1991.
Find full text
4
Informatika (5th 1991 Grenoble, France). Informatique théorique & méthode de compilation et de construction de programmes: Actes préliminaires du 5ème Symposium Franco-Soviétique. 16 au 18 Octobre 1991, Grenoble = Theoretical computer science & methods of compilation and program construction. INRIA, 1991.
Find full text
5
N, Srikant Y., and Shankar P, eds. The compiler design handbook: Optimizations and machine code generation. 2nd ed. Taylor & Francis, 2007.
Find full text
6
Bedard, Eugene J. An informative guide to mining properties in Québec: A compilation of information on the mining properies. Bédard, 1987.
Find full text
7
Compiler construction: Theory and practice. 2nd ed. Science Research Associates, 1986.
Find full textBook chapters on the topic "Compilation (informatique)"
1
O’Donoghue, Heather. "Old Norse-Icelandic Studies." In A Century of British Medieval Studies. British Academy, 2007. http://dx.doi.org/10.5871/bacad/9780197263952.003.0011.
Full textAbstract:
This chapter examines the works of British Old Norse-Icelandic scholars. It explains that from the start, British interest in Old Norse studies was closely bound up with contemporary Old Norse-Icelandic scholarship in Scandinavia and that the British connection was only established after James Johnstone's translation of extracts from the thirteenth-century historical compilation Heimskringla. This chapter also discusses the trend in Old Norse-Icelandic studies in Britain which involved the recognition of sagas as being informative not in their details of event and character, but in their portrayal of society and culture.
2
Pulcini, Virginia. "Italian." In An Annotated Bibliography of European Anglicisms. Oxford University PressOxford, 2002. http://dx.doi.org/10.1093/oso/9780199248827.003.0013.
Full textAbstract:
Abstract This compilation lists 2,300 English words collected from newspapers during 1987, grouped under seven subjects (politics, daily news, advertising, jobs, culture, economics, and science) and accompanied by quotations. No linguistic information about the English loanwords is provided. The volume contains a very well-balanced and informative chapter (‘La lingua dell’okey’, 217-45) about the spread of English in Italy. Starting from a historical perspective on linguistic exchange, Beccaria praises the vitality of the English language, condemns purist policies directed against foreign words, as was the case in Italy during the Fascist regime, but also criticizes today’s excessive use of English words in the press.
3
Grafton, Anthony. "The Meaning of World History: Scaliger and the Theorists." In Joseph Scaliger. Oxford University PressOxford, 1993. http://dx.doi.org/10.1093/oso/9780199206018.003.0008.
Full textAbstract:
Abstract Sixteenth-century chronologers were usually grave and learned. But they also enjoyed what now seems a surprising degree of licence to innovate. Since Annius at least, modern scholars had rewritten all of political and cultural history in many mutually inconsistent ways. Any source could be supported or called into question, any nation from Sweden to Spain supplied on demand with a starring role in forgotten dramas that had once occupied centre stage in world history. No wonder, then, that the grand historical works of the period from 1550 to 1580 often have a carnivalesque flavour—an air of jubilance in overturning received opinions and overthrowing old authorities. Sweeping new versions of history, often highly charged with political and religious goals, were probably more prevalent—and often more impressive in their documentation—than merely informative compilations.
4
"Pacific Salmon: Ecology and Management of Western Alaska’s Populations." In Pacific Salmon: Ecology and Management of Western Alaska’s Populations, edited by Megan V. McPhee, Mara S. Zimmerman, Terry D. Beacham, et al. American Fisheries Society, 2009. http://dx.doi.org/10.47886/9781934874110.ch58.
Full textAbstract:
<em>Abstract.</em>—The causes of spatial and temporal variation in Pacific salmon abundance are poorly understood. An additional challenge in the Arctic-Yukon-Kuskokwim (AYK) region is the expansive and remote nature of salmon habitat. In this paper, the authors discuss a hierarchical framework that may prove helpful in identifying key variables regulating Pacific salmon abundance. The hierarchical framework considers processes that act at multiple scales of space and time, identifies generalizations across scales, and considers interactions among variables operating at different scales. This framework is used to address three overarching questions for the AYK region: 1) What are the important units of focus for conservation and management? 2) What are the factors that control abundance and connectivity of these units? 3) How can these two questions be integrated to better understand and manage Pacific salmon? Genetic and ecotypic units are organized hierarchically in space and time. Genetic units of AYK salmon have been identified at a local level among tributaries in the Yukon and Kuskokwim drainages, the Norton Sound, and at a regional level where all species share similar genetic discontinuities. Ecotypic units are habitat-organismal trait associations characteristic of Pacific salmon, but are not well documented for AYK stocks. The processes controlling abundance and connectivity among these units also occur at multiple hierarchical levels with respect to life history, space, and time. Identifying the scale at which processes or interaction among processes have the largest relative impact on salmon recruitment will be critical to effectively managing Pacific salmon. Four feasible lines of study proposed for gathering informative data from the expansive and remote AYK region include: (1) a spatial comparison between habitat and spawning populations, (2) a comparison of mortality as related to life history diversity, (3) compilation of existing migration data to explain patterns in migration timing, and (4) coordination of genetic data to test hypotheses regarding population structure. Use of existing long-term data and coordination of ongoing research efforts should be of high importance for AYK biologists and managers.