Academic literature on the topic 'Compilation (informatique)'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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 text
Abstract:
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 ca
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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).
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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-l
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 compila
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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. Acro
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 la
APA, Harvard, Vancouver, ISO, and other styles
More sources

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 text
Abstract:
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 prop
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 men
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
5

Cassez, Franck. "Compilation et vérification des programmes ELECTRE." Nantes, 1993. http://www.theses.fr/1993NANT2013.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
6

Loitsch, Florian. "Scheme to JavaScript compilation." Nice, 2009. http://www.theses.fr/2009NICE4066.

Full text
Abstract:
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 successful
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 primitif
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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 co
APA, Harvard, Vancouver, ISO, and other styles
More sources

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
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
3

Patenaude, Paul. Le titulaire: Mode d'emploi général. Progiciels Interactifs 2000 inc, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
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
APA, Harvard, Vancouver, ISO, and other styles
7

Compiler construction: Theory and practice. 2nd ed. Science Research Associates, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Pettersson, Mikael. Compiling Natural Semantics. Springer London, Limited, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Pettersson, Mikael. Compiling Natural Semantics. Springer, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Menu, Jacques. Compilateurs avec C++. Addison-Wesley France, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book 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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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 text
Abstract:
<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.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!