Auswahl der wissenschaftlichen Literatur zum Thema „Chaîne de compilation“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Chaîne de compilation" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Chaîne de compilation"
Bennas, Nard, und 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, Nr. 1 (30.06.2006): 31. http://dx.doi.org/10.4081/memoriesei.2006.31.
Der volle Inhalt der QuelleMas, Élodie. „Las evidencias de producción en material malacológico: análisis tecnológico de las colecciones de Sayula (Jalisco)“. Revista Trace, Nr. 76 (31.07.2019): 167. http://dx.doi.org/10.22134/trace.76.2019.129.
Der volle Inhalt der QuelleJovanovic, S., und S. Weber. „Modélisation SystemC-TLM de systèmes à base de processeur“. J3eA 18 (2019): 1009. http://dx.doi.org/10.1051/j3ea/20191009.
Der volle Inhalt der QuellePrado, L. F., I. Wainer, C. M. Chiessi, M. P. Ledru und B. Turcq. „Mid-Holocene climate reconstruction for eastern South America“. Climate of the Past Discussions 8, Nr. 6 (29.11.2012): 5925–61. http://dx.doi.org/10.5194/cpd-8-5925-2012.
Der volle Inhalt der QuelleSuhaciov, Nikolaj, und Svetlana Kokoškina. „La géographie linguistique en Union soviétique : les atlas linguistiques“. Cahiers du Centre de Linguistique et des Sciences du Langage, Nr. 40 (12.10.2014): 131–54. http://dx.doi.org/10.26034/la.cdclsl.2014.677.
Der volle Inhalt der QuellePeterson, Carlye D., und 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, Nr. 8 (16.08.2018): 1229–52. http://dx.doi.org/10.5194/cp-14-1229-2018.
Der volle Inhalt der QuelleChristiansen, B., und F. C. Ljungqvist. „The extra-tropical Northern Hemisphere temperature in the last two millennia: reconstructions of low-frequency variability“. Climate of the Past 8, Nr. 2 (18.04.2012): 765–86. http://dx.doi.org/10.5194/cp-8-765-2012.
Der volle Inhalt der QuelleAlbani, 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, Nr. 6 (13.11.2014): 4277–363. http://dx.doi.org/10.5194/cpd-10-4277-2014.
Der volle Inhalt der QuelleAlbani, 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, Nr. 6 (11.06.2015): 869–903. http://dx.doi.org/10.5194/cp-11-869-2015.
Der volle Inhalt der QuelleNieto Masot, Ana, und José Luis Gurría Gascón. „Sustainable Rural Development: Strategies, Good Practices and Opportunities (Second Edition)“. Land 13, Nr. 1 (17.01.2024): 104. http://dx.doi.org/10.3390/land13010104.
Der volle Inhalt der QuelleDissertationen zum Thema "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.
Der volle Inhalt der QuelleSide-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.
Der volle Inhalt der QuelleThe 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.
Der volle Inhalt der QuelleIn 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.
Der volle Inhalt der QuelleCode 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.
Der volle Inhalt der QuelleBücher zum Thema "Chaîne de compilation"
Samani, Muchlas. Reconstruction of education: Compilation of reflections on the urgency of reconstructing education in Indonesia. Herausgegeben von Syah Sirikit 1960 author und Universitas Negeri Surabaya. Surabaya: Unesa University Press, 2011.
Den vollen Inhalt der Quelle findenJohn, Barnabas, und National Institute of Public Cooperation and Child Development., Hrsg. Perspectives on voluntary action: A compilation of John Barnabas memorial lectures. New Delhi: National Institute of Public Cooperation and Child Development, 1991.
Den vollen Inhalt der Quelle findenSteps for social transformation: Compilation of best practices as an outcome from the field. Kathmandu: Canadian Cooperation Office, 2006.
Den vollen Inhalt der Quelle findenShally-Jensen, Michael, und Anthony Vivian. A Cultural Encyclopedia of Lost Cities and Civilizations. Praeger, 2022. http://dx.doi.org/10.5040/9798216182849.
Der volle Inhalt der QuelleBrouard, Sylvain, Martin Dolezal, Isabelle Guinaudeau und Swen Hutter. The Conflict over Nuclear Energy. Herausgegeben von Paul W. Thurner und Wolfgang C. Müller. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747031.003.0004.
Der volle Inhalt der QuelleHanciles, Jehu J., Hrsg. The Oxford History of Protestant Dissenting Traditions, Volume IV. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780199684045.001.0001.
Der volle Inhalt der QuelleChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee und Stefan Storr, Hrsg. Öffentliches Wirtschaftsrecht im digitalen Zeitalter. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748923589.
Der volle Inhalt der QuelleKorpiola, Mia. High and Late Medieval Scandinavia. Herausgegeben von Heikki Pihlajamäki, Markus D. Dubber und Mark Godfrey. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198785521.013.19.
Der volle Inhalt der QuelleChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, Yuh-May Lin und Stefan Storr, Hrsg. Die Corona-Krise und das öffentliche Wirtschaftsrecht. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748921301.
Der volle Inhalt der QuelleWeisbard, Eric. Songbooks. Duke University Press, 2021. http://dx.doi.org/10.1215/9781478021391.
Der volle Inhalt der QuelleBuchteile zum Thema "Chaîne de compilation"
Mottin, Julien, François Pacull, Ronan Keryell und Pascal Schleuniger. „Compilation Tool Chains and Intermediate Representations“. In 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.
Der volle Inhalt der QuelleBenkovitz, Carmen M., Hajime Akimoto, James J. Corbett, J. David Mobley, Jos G. J. Olivier, Toshimasa Ohara, John A. van Aardenne und Vigdis Vestreng. „Compilation of Regional to Global Inventories of Anthropogenic Emissions“. In Advances in Global Change Research, 17–69. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2167-1_2.
Der volle Inhalt der QuelleHoffmann, Andrea Ribeiro, Paula Sandrin und Yannis E. Doukas. „Conclusions“. In Climate Change in Regional Perspective, 185–90. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-49329-4_12.
Der volle Inhalt der QuelleTuells, Toni, German Rigau und Horacio Rodríguez. „Offline Compilation of Chains for Head-Driven Generation with Constraint-Based Grammars“. In 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.
Der volle Inhalt der QuelleMotika, Christian, Steven Smyth und Reinhard von Hanxleden. „Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation“. In 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.
Der volle Inhalt der QuelleKasperek, Daniel, Sebastian Maisenbacher und Maik Maurer. „Structure-based Compilation of System Dynamics Models for Assessing Engineering Design Process Behavior“. In 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.
Der volle Inhalt der QuelleHahn, Annette, Enno Schefuß, Nicole Burdanowitz, Hayley C. Cawthra, Jemma Finch, Tarryn Frankland, Andrew Green, Frank H. Neumann und Matthias Zabel. „Catchment and Depositional Studies for the Reconstruction of Past Environmental Change in Southern Africa“. In 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.
Der volle Inhalt der QuelleKreibich, Heidi, und Nivedita Sairam. „Dynamic Flood Risk Modelling in Human–Flood Systems“. In Springer Climate, 95–103. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-86211-4_12.
Der volle Inhalt der QuelleHendriks, Jennifer. „Investigating change from a perspective of continuity“. In Investigating West Germanic Languages, 188–224. Amsterdam: John Benjamins Publishing Company, 2024. http://dx.doi.org/10.1075/sigl.8.10hen.
Der volle Inhalt der QuelleJia, Pengpeng, Zhefei Jin, Honglin Feng, Qiong Yang und Wenwu Yang. „Application and Prospect of Spatial Information Technology in Inland Waterway Resources Census“. In Lecture Notes in Civil Engineering, 780–88. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-6138-0_68.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Chaîne de compilation"
Mahmood, Ahmad A., Usman A. Jan, Anum Y. Khan, Hassaan Rasheed, Jose Salazar, Khurram A. Shah und Shahjahan Khan. „Step-Change in Cement Design Assures Well Integrity Under Dynamic Stress“. In SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217352-ms.
Der volle Inhalt der QuelleBayuartha, Pratama Wangsit, Parluhutan Alvin Sitorus, Rahmat Sinaga, Tomi Sugiarto, Kristoforus Widyas Tokoh, Bonifasius Muryanto, Dasa Manalu, Dyan Faksilanto, Boby Hendarno und Taufiq Ardiansyah. „Analysis of Oscillating Fishing Tool Efficiency for Stuck Assembly Recovery in Field X“. In SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205829-ms.
Der volle Inhalt der QuelleFazal, Muhammad Adnan, Muhammad Salman Saeed, Saad Yousuf, Arif Yousuf, Saqib Jah Temuri, Waqar Javed und Muhammad Arif Rana. „Achieving Reliable and Cost-Effective Wellbore Cleanout in Depleted and Low-Pressure Wells Using CT Conveyed Fluid Oscillation Tool – Case Histories“. In SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217353-ms.
Der volle Inhalt der QuelleSuhaimin, Fadzlan, Nasir Oritola, Bo Jun Fang, Hing Kheong Cheong und Yung Khiong Chan. „Wireline Retrievable ESP Deployment: Observation, Challenges and Intervention“. In SPE 2020 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/203784-ms.
Der volle Inhalt der QuelleJohnstone, A., E. Scott und T. Womack. „Reverse compilation of digital signal processor assembler source to ANSI-C“. In 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.
Der volle Inhalt der QuellePurificação, Rafael Augustinis, Julia Vieira dos Santos und Matheus Marins Gonzaga. „Subsea Well Intervention Readiness in Brazil“. In SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205832-ms.
Der volle Inhalt der QuelleBarthe, Gilles, Benjamin Gregoire und Vincent Laporte. „Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”“. In 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, 2018. http://dx.doi.org/10.1109/csf.2018.00031.
Der volle Inhalt der QuellePeleg, Nitzan, und Bilha Mendelson. „Detecting Change in Program Behavior for Adaptive Optimization“. In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336208.
Der volle Inhalt der QuelleGhodrati, Soroush, Hardik Sharma, Sean Kinzer, Amir Yazdanbakhsh, Jongse Park, Nam Sung Kim, Doug Burger und Hadi Esmaeilzadeh. „Mixed-Signal Charge-Domain Acceleration of Deep Neural Networks through Interleaved Bit-Partitioned Arithmetic“. In PACT '20: International Conference on Parallel Architectures and Compilation Techniques. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3410463.3414634.
Der volle Inhalt der QuelleNagpurkar, Priya, Harold W. Cain, Mauricio Serrano, Jong-Deok Choi und Chandra Krintz. „Call-chain Software Instruction Prefetching in J2EE Server Applications“. In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336207.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Chaîne de compilation"
Couture, R., S. Robinson, M. Burgess und 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.
Der volle Inhalt der QuelleRobinson, S., R. Couture und 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.
Der volle Inhalt der QuelleSindall, Rebecca C., Dani J. Barrington und Esther Shaylor. Learning From and Preventing Failure in WASH. Institute of Development Studies, Februar 2023. http://dx.doi.org/10.19088/slh.2022.025.
Der volle Inhalt der QuelleLauth, Timothy, David Biedenharn, Travis Dahl, Casey Mayne, Keaton Jones, Charles Little, Joseph Dunbar, Samantha Lucker und Nalini Torres. Technical assessment of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers : geomorphic assessment. Engineer Research and Development Center (U.S.), August 2022. http://dx.doi.org/10.21079/11681/45143.
Der volle Inhalt der QuelleTanhua, Toste. Ocean Observing Needs. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d9.3.
Der volle Inhalt der QuelleKrafft, Douglas, Rachel Bain, Jack Cadigan und Richard Styles. A review of tidal embayment shoaling mechanisms in the context of future wetland placement. Engineer Research and Development Center (U.S.), Dezember 2022. http://dx.doi.org/10.21079/11681/46143.
Der volle Inhalt der QuelleHarris, Kathleen, und 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.), August 2022. http://dx.doi.org/10.21079/11681/45174.
Der volle Inhalt der QuelleOrtiz, Veronica, Joaquin Tintore und 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.
Der volle Inhalt der QuelleHayward, N., und 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.
Der volle Inhalt der QuelleKumar, Aishani, Thendral Yalini und 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.
Der volle Inhalt der Quelle