Littérature scientifique sur le sujet « Chaîne de compilation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Chaîne de compilation ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Chaîne de compilation"
Bennas, Nard, et Carmen Elisa Sàinz-Cantero. « Coléoptères aquatiques Adephaga de la chaîne rifaine marocaine (Coleoptera Gyrinidae, Haliplidae, Noteridae, Hygrobiidae, Dytiscidae) ». Memorie della Società Entomologica Italiana 85, no 1 (30 juin 2006) : 31. http://dx.doi.org/10.4081/memoriesei.2006.31.
Texte intégralMas, Élodie. « Las evidencias de producción en material malacológico : análisis tecnológico de las colecciones de Sayula (Jalisco) ». Revista Trace, no 76 (31 juillet 2019) : 167. http://dx.doi.org/10.22134/trace.76.2019.129.
Texte intégralJovanovic, S., et S. Weber. « Modélisation SystemC-TLM de systèmes à base de processeur ». J3eA 18 (2019) : 1009. http://dx.doi.org/10.1051/j3ea/20191009.
Texte intégralPrado, L. F., I. Wainer, C. M. Chiessi, M. P. Ledru et B. Turcq. « Mid-Holocene climate reconstruction for eastern South America ». Climate of the Past Discussions 8, no 6 (29 novembre 2012) : 5925–61. http://dx.doi.org/10.5194/cpd-8-5925-2012.
Texte intégralSuhaciov, Nikolaj, et Svetlana Kokoškina. « La géographie linguistique en Union soviétique : les atlas linguistiques ». Cahiers du Centre de Linguistique et des Sciences du Langage, no 40 (12 octobre 2014) : 131–54. http://dx.doi.org/10.26034/la.cdclsl.2014.677.
Texte intégralPeterson, Carlye D., et Lorraine E. Lisiecki. « Deglacial carbon cycle changes observed in a compilation of 127 benthic <i>δ</i><sup>13</sup>C time series (20–6 ka) ». Climate of the Past 14, no 8 (16 août 2018) : 1229–52. http://dx.doi.org/10.5194/cp-14-1229-2018.
Texte intégralChristiansen, B., et F. C. Ljungqvist. « The extra-tropical Northern Hemisphere temperature in the last two millennia : reconstructions of low-frequency variability ». Climate of the Past 8, no 2 (18 avril 2012) : 765–86. http://dx.doi.org/10.5194/cp-8-765-2012.
Texte intégralAlbani, S., N. M. Mahowald, G. Winckler, R. F. Anderson, L. I. Bradtmiller, B. Delmonte, R. François et al. « Twelve thousand years of dust : the Holocene global dust cycle constrained by natural archives ». Climate of the Past Discussions 10, no 6 (13 novembre 2014) : 4277–363. http://dx.doi.org/10.5194/cpd-10-4277-2014.
Texte intégralAlbani, S., N. M. Mahowald, G. Winckler, R. F. Anderson, L. I. Bradtmiller, B. Delmonte, R. François et al. « Twelve thousand years of dust : the Holocene global dust cycle constrained by natural archives ». Climate of the Past 11, no 6 (11 juin 2015) : 869–903. http://dx.doi.org/10.5194/cp-11-869-2015.
Texte intégralNieto Masot, Ana, et José Luis Gurría Gascón. « Sustainable Rural Development : Strategies, Good Practices and Opportunities (Second Edition) ». Land 13, no 1 (17 janvier 2024) : 104. http://dx.doi.org/10.3390/land13010104.
Texte intégralThèses sur le sujet "Chaîne de compilation"
Trieu, Alix. « Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée ». Thesis, Rennes 1, 2018. http://www.theses.fr/2018REN1S099/document.
Texte intégralSide-channel attacks are an especially dangerous form of attack. In this thesis, we focus on the timing side-channel. A program is said to be constant-time if it is not vulnerable to timing attacks. We present in this thesis two methods relying on static analysis in order to ensure that a program is constant-time. These methods use formal verification in order to gain the highest possible level of assurance by relying on a verified compilation toolchain made up of the CompCert compiler and the Verasco static analyzer. We also propose a proof methodology in order to ensure that a compiler preserves constant-time security during compilation
Borgna, Agustín. « Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique ». Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0016.
Texte intégralThe advent of quantum computers capable of solving problems that are untractable on classical computers has motivated the development of new programming languages and tools for quantum computing. However, the current state of the art in quantum programming is still in its infancy. In this thesis, we present a series of novel approaches to different aspects of the quantum compilation process based on the ZX calculus. First, we introduce a new intermediate representation for quantum programs capable of encoding bounded recursion and repeated circuit structures in a compact way, based on families of the Scalable extension to the ZX calculus. We then present a compilation algorithm for hybrid circuits containing both quantum and classical gates, based on the pure circuit optimization by Duncan et al. Finally, we define the problem of detecting sections of a quantum circuit that can translated to classical logic, and introduce an heuristic algorithm to solve it
Benoit, Tristan. « Cartographie des programmes et de leurs interrelations ». Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0320.
Texte intégralIn the field of software engineering, ensuring the quality and security of software is complex. This context is due to a set of factors, notably the increasing use of libraries and the use of practices such as copying codes from online services. The usual solution to this problem is the application of formal methods for program validation before their release. However, this approach requires a precise specification and a high degree of expertise. This thesis introduces new reverse engineering methods to automatically collect information about a program toolchain provenance and identify program clones within large data repositories. Our first contribution is the innovative neural network model Site Neural Network (SNN), which predicts the compilation toolchain used to produce an entire program. SNN offers excellent speed as well as good accuracy. Its modularity due to the use of hierarchies of classifiers allows for easy consideration of additional toolchains. Our second contribution is the Program Spectral Similarity (PSS), a tool that provides a quick and efficient way to detect program clones, even when their target hardware architecture differs or in the case of obfuscation. Unlike binary function-based methods or graph edit distance methods, which are time-consuming and low resilient, PSS relies on the spectral analysis of graphs to measure the similarity between programs. This thesis thus contributes to cyber security by providing tools to identify malware clones quickly. In addition, it supports computer forensics by providing relevant information on the compilation chain. This work paves the way for new neural networks for programs, as well as the development of spectral graph analysis methods for studying binary code similarity
Szlifierski, Nicolas. « Contrôle sûr de chaînes d'obfuscation logicielle ». Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2020. http://www.theses.fr/2020IMTA0223.
Texte intégralCode obfuscation is a software protection technique that is designed to make reverse engineering a program more challenging, in order to protect secrets, intellectual property, or to complicate detection (malware). The obfuscation is generally carried out using a set of transformations on the target program. Obfuscation is also often used in conjunction with other software protection techniques, such as watermarking or tamperproofing. These transformations are usually integrated into code transformations applied during the compilation process, such as optimisations. However, the application of obfuscation transformations requires more preconditions on the code and more precision in the application to provide an acceptable performance/safety trade-off, making traditional compilers unsuitable for obfuscation. To address these problems, this thesis presents SCOL, a language that is able to describe the process of compiling a program while considering the specific problems of obfuscation. This allows you to describe compilation chains with a high level of abstraction, while allowing a high degree of accuracy on the composition of the transformations. The language has a type system which checks the correctness of the compilation chain. That means that the composition of transformations provides the targeted level of protection and coverage
Utard, Gil. « Sémantique des langages à parallélisme de données : applications à la validation et à la compilation ». Lyon, École normale supérieure (sciences), 1995. http://www.theses.fr/1995ENSL0011.
Texte intégralLivres sur le sujet "Chaîne de compilation"
Samani, Muchlas. Reconstruction of education : Compilation of reflections on the urgency of reconstructing education in Indonesia. Sous la direction de Syah Sirikit 1960 author et Universitas Negeri Surabaya. Surabaya : Unesa University Press, 2011.
Trouver le texte intégralJohn, Barnabas, et National Institute of Public Cooperation and Child Development., dir. Perspectives on voluntary action : A compilation of John Barnabas memorial lectures. New Delhi : National Institute of Public Cooperation and Child Development, 1991.
Trouver le texte intégralSteps for social transformation : Compilation of best practices as an outcome from the field. Kathmandu : Canadian Cooperation Office, 2006.
Trouver le texte intégralShally-Jensen, Michael, et Anthony Vivian. A Cultural Encyclopedia of Lost Cities and Civilizations. Praeger, 2022. http://dx.doi.org/10.5040/9798216182849.
Texte intégralBrouard, Sylvain, Martin Dolezal, Isabelle Guinaudeau et Swen Hutter. The Conflict over Nuclear Energy. Sous la direction de Paul W. Thurner et Wolfgang C. Müller. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747031.003.0004.
Texte intégralHanciles, Jehu J., dir. The Oxford History of Protestant Dissenting Traditions, Volume IV. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780199684045.001.0001.
Texte intégralChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee et Stefan Storr, dir. Öffentliches Wirtschaftsrecht im digitalen Zeitalter. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748923589.
Texte intégralKorpiola, Mia. High and Late Medieval Scandinavia. Sous la direction de Heikki Pihlajamäki, Markus D. Dubber et Mark Godfrey. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198785521.013.19.
Texte intégralChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, Yuh-May Lin et Stefan Storr, dir. Die Corona-Krise und das öffentliche Wirtschaftsrecht. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748921301.
Texte intégralWeisbard, Eric. Songbooks. Duke University Press, 2021. http://dx.doi.org/10.1215/9781478021391.
Texte intégralChapitres de livres sur le sujet "Chaîne de compilation"
Mottin, Julien, François Pacull, Ronan Keryell et Pascal Schleuniger. « Compilation Tool Chains and Intermediate Representations ». Dans Smart Multicore Embedded Systems, 21–32. New York, NY : Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-8800-2_2.
Texte intégralBenkovitz, Carmen M., Hajime Akimoto, James J. Corbett, J. David Mobley, Jos G. J. Olivier, Toshimasa Ohara, John A. van Aardenne et Vigdis Vestreng. « Compilation of Regional to Global Inventories of Anthropogenic Emissions ». Dans Advances in Global Change Research, 17–69. Dordrecht : Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2167-1_2.
Texte intégralHoffmann, Andrea Ribeiro, Paula Sandrin et Yannis E. Doukas. « Conclusions ». Dans Climate Change in Regional Perspective, 185–90. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-49329-4_12.
Texte intégralTuells, Toni, German Rigau et Horacio Rodríguez. « Offline Compilation of Chains for Head-Driven Generation with Constraint-Based Grammars ». Dans Computational Linguistics and Intelligent Text Processing, 180–90. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36456-0_18.
Texte intégralMotika, Christian, Steven Smyth et Reinhard von Hanxleden. « Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation ». Dans Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 461–80. Berlin, Heidelberg : Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-45234-9_32.
Texte intégralKasperek, Daniel, Sebastian Maisenbacher et Maik Maurer. « Structure-based Compilation of System Dynamics Models for Assessing Engineering Design Process Behavior ». Dans Risk and change management in complex systems, 233–42. München : Carl Hanser Verlag GmbH & Co. KG, 2014. http://dx.doi.org/10.3139/9781569904923.023.
Texte intégralHahn, Annette, Enno Schefuß, Nicole Burdanowitz, Hayley C. Cawthra, Jemma Finch, Tarryn Frankland, Andrew Green, Frank H. Neumann et Matthias Zabel. « Catchment and Depositional Studies for the Reconstruction of Past Environmental Change in Southern Africa ». Dans Sustainability of Southern African Ecosystems under Global Change, 815–43. Cham : Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-10948-5_28.
Texte intégralKreibich, Heidi, et Nivedita Sairam. « Dynamic Flood Risk Modelling in Human–Flood Systems ». Dans Springer Climate, 95–103. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-86211-4_12.
Texte intégralHendriks, Jennifer. « Investigating change from a perspective of continuity ». Dans Investigating West Germanic Languages, 188–224. Amsterdam : John Benjamins Publishing Company, 2024. http://dx.doi.org/10.1075/sigl.8.10hen.
Texte intégralJia, Pengpeng, Zhefei Jin, Honglin Feng, Qiong Yang et Wenwu Yang. « Application and Prospect of Spatial Information Technology in Inland Waterway Resources Census ». Dans Lecture Notes in Civil Engineering, 780–88. Singapore : Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-6138-0_68.
Texte intégralActes de conférences sur le sujet "Chaîne de compilation"
Mahmood, Ahmad A., Usman A. Jan, Anum Y. Khan, Hassaan Rasheed, Jose Salazar, Khurram A. Shah et Shahjahan Khan. « Step-Change in Cement Design Assures Well Integrity Under Dynamic Stress ». Dans SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217352-ms.
Texte intégralBayuartha, Pratama Wangsit, Parluhutan Alvin Sitorus, Rahmat Sinaga, Tomi Sugiarto, Kristoforus Widyas Tokoh, Bonifasius Muryanto, Dasa Manalu, Dyan Faksilanto, Boby Hendarno et Taufiq Ardiansyah. « Analysis of Oscillating Fishing Tool Efficiency for Stuck Assembly Recovery in Field X ». Dans SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205829-ms.
Texte intégralFazal, Muhammad Adnan, Muhammad Salman Saeed, Saad Yousuf, Arif Yousuf, Saqib Jah Temuri, Waqar Javed et Muhammad Arif Rana. « Achieving Reliable and Cost-Effective Wellbore Cleanout in Depleted and Low-Pressure Wells Using CT Conveyed Fluid Oscillation Tool – Case Histories ». Dans SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217353-ms.
Texte intégralSuhaimin, Fadzlan, Nasir Oritola, Bo Jun Fang, Hing Kheong Cheong et Yung Khiong Chan. « Wireline Retrievable ESP Deployment : Observation, Challenges and Intervention ». Dans SPE 2020 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/203784-ms.
Texte intégralJohnstone, A., E. Scott et T. Womack. « Reverse compilation of digital signal processor assembler source to ANSI-C ». Dans Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360). IEEE, 1999. http://dx.doi.org/10.1109/icsm.1999.792629.
Texte intégralPurificação, Rafael Augustinis, Julia Vieira dos Santos et Matheus Marins Gonzaga. « Subsea Well Intervention Readiness in Brazil ». Dans SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205832-ms.
Texte intégralBarthe, Gilles, Benjamin Gregoire et Vincent Laporte. « Secure Compilation of Side-Channel Countermeasures : The Case of Cryptographic “Constant-Time” ». Dans 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, 2018. http://dx.doi.org/10.1109/csf.2018.00031.
Texte intégralPeleg, Nitzan, et Bilha Mendelson. « Detecting Change in Program Behavior for Adaptive Optimization ». Dans 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336208.
Texte intégralGhodrati, Soroush, Hardik Sharma, Sean Kinzer, Amir Yazdanbakhsh, Jongse Park, Nam Sung Kim, Doug Burger et Hadi Esmaeilzadeh. « Mixed-Signal Charge-Domain Acceleration of Deep Neural Networks through Interleaved Bit-Partitioned Arithmetic ». Dans PACT '20 : International Conference on Parallel Architectures and Compilation Techniques. New York, NY, USA : ACM, 2020. http://dx.doi.org/10.1145/3410463.3414634.
Texte intégralNagpurkar, Priya, Harold W. Cain, Mauricio Serrano, Jong-Deok Choi et Chandra Krintz. « Call-chain Software Instruction Prefetching in J2EE Server Applications ». Dans 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336207.
Texte intégralRapports d'organisations sur le sujet "Chaîne de compilation"
Couture, R., S. Robinson, M. Burgess et S. Solomon. Climate change, permafrost, and community infrastructure : a compilation of background material from a pilot study of Tuktoyaktuk, Northwest Territories. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2002. http://dx.doi.org/10.4095/213753.
Texte intégralRobinson, S., R. Couture et M. Burgess. Climate change, permafrost, and community infrastructure : a compilation of background material from a pilot study of Norman Wells, Northwest Territories. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2001. http://dx.doi.org/10.4095/211899.
Texte intégralSindall, Rebecca C., Dani J. Barrington et Esther Shaylor. Learning From and Preventing Failure in WASH. Institute of Development Studies, février 2023. http://dx.doi.org/10.19088/slh.2022.025.
Texte intégralLauth, Timothy, David Biedenharn, Travis Dahl, Casey Mayne, Keaton Jones, Charles Little, Joseph Dunbar, Samantha Lucker et Nalini Torres. Technical assessment of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers : geomorphic assessment. Engineer Research and Development Center (U.S.), août 2022. http://dx.doi.org/10.21079/11681/45143.
Texte intégralTanhua, Toste. Ocean Observing Needs. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d9.3.
Texte intégralKrafft, Douglas, Rachel Bain, Jack Cadigan et Richard Styles. A review of tidal embayment shoaling mechanisms in the context of future wetland placement. Engineer Research and Development Center (U.S.), décembre 2022. http://dx.doi.org/10.21079/11681/46143.
Texte intégralHarris, Kathleen, et Travis Dahl. Technical assessment of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers : HEC-RAS BSTEM analysis of the Atchafalaya River. Engineer Research and Development Center (U.S.), août 2022. http://dx.doi.org/10.21079/11681/45174.
Texte intégralOrtiz, Veronica, Joaquin Tintore et Nicole Köstner. EuroSea Guide of communication and dissemination activities for enhanced visibility of innovation in ocean observing and forecasting for a sustainable ocean. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d8.10.
Texte intégralHayward, N., et S. Paradis. Geophysical reassessment of the role of ancient lineaments on the development of the western margin of Laurentia and its sediment-hosted Zn-Pb deposits, Yukon and Northwest Territories. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/330038.
Texte intégralKumar, Aishani, Thendral Yalini et Sunil Kumar C. Unlocking Cellular Control : The Promise of PROTACs in Disease Intervention. Science Reviews - Biology, mai 2024. http://dx.doi.org/10.57098/scirevs.biology.3.2.1.
Texte intégral