Gotowa bibliografia na temat „Chaîne de compilation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Chaîne de compilation”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Chaîne de compilation"
Bennas, Nard, i 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.
Pełny tekst źródłaMas, É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.
Pełny tekst źródłaJovanovic, S., i S. Weber. "Modélisation SystemC-TLM de systèmes à base de processeur". J3eA 18 (2019): 1009. http://dx.doi.org/10.1051/j3ea/20191009.
Pełny tekst źródłaPrado, L. F., I. Wainer, C. M. Chiessi, M. P. Ledru i 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.
Pełny tekst źródłaSuhaciov, Nikolaj, i 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.
Pełny tekst źródłaPeterson, Carlye D., i 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.
Pełny tekst źródłaChristiansen, B., i 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.
Pełny tekst źródłaAlbani, S., N. M. Mahowald, G. Winckler, R. F. Anderson, L. I. Bradtmiller, B. Delmonte, R. François i in. "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.
Pełny tekst źródłaAlbani, S., N. M. Mahowald, G. Winckler, R. F. Anderson, L. I. Bradtmiller, B. Delmonte, R. François i in. "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.
Pełny tekst źródłaNieto Masot, Ana, i 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.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaSide-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.
Pełny tekst źródłaThe 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.
Pełny tekst źródłaIn 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.
Pełny tekst źródłaCode 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.
Pełny tekst źródłaKsiążki na temat "Chaîne de compilation"
Samani, Muchlas. Reconstruction of education: Compilation of reflections on the urgency of reconstructing education in Indonesia. Redaktorzy Syah Sirikit 1960 author i Universitas Negeri Surabaya. Surabaya: Unesa University Press, 2011.
Znajdź pełny tekst źródłaJohn, Barnabas, i National Institute of Public Cooperation and Child Development., red. Perspectives on voluntary action: A compilation of John Barnabas memorial lectures. New Delhi: National Institute of Public Cooperation and Child Development, 1991.
Znajdź pełny tekst źródłaSteps for social transformation: Compilation of best practices as an outcome from the field. Kathmandu: Canadian Cooperation Office, 2006.
Znajdź pełny tekst źródłaShally-Jensen, Michael, i Anthony Vivian. A Cultural Encyclopedia of Lost Cities and Civilizations. Praeger, 2022. http://dx.doi.org/10.5040/9798216182849.
Pełny tekst źródłaBrouard, Sylvain, Martin Dolezal, Isabelle Guinaudeau i Swen Hutter. The Conflict over Nuclear Energy. Redaktorzy Paul W. Thurner i Wolfgang C. Müller. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747031.003.0004.
Pełny tekst źródłaHanciles, Jehu J., red. The Oxford History of Protestant Dissenting Traditions, Volume IV. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780199684045.001.0001.
Pełny tekst źródłaChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee i Stefan Storr, red. Öffentliches Wirtschaftsrecht im digitalen Zeitalter. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748923589.
Pełny tekst źródłaKorpiola, Mia. High and Late Medieval Scandinavia. Redaktorzy Heikki Pihlajamäki, Markus D. Dubber i Mark Godfrey. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198785521.013.19.
Pełny tekst źródłaChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, Yuh-May Lin i Stefan Storr, red. Die Corona-Krise und das öffentliche Wirtschaftsrecht. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748921301.
Pełny tekst źródłaWeisbard, Eric. Songbooks. Duke University Press, 2021. http://dx.doi.org/10.1215/9781478021391.
Pełny tekst źródłaCzęści książek na temat "Chaîne de compilation"
Mottin, Julien, François Pacull, Ronan Keryell i Pascal Schleuniger. "Compilation Tool Chains and Intermediate Representations". W 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.
Pełny tekst źródłaBenkovitz, Carmen M., Hajime Akimoto, James J. Corbett, J. David Mobley, Jos G. J. Olivier, Toshimasa Ohara, John A. van Aardenne i Vigdis Vestreng. "Compilation of Regional to Global Inventories of Anthropogenic Emissions". W Advances in Global Change Research, 17–69. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2167-1_2.
Pełny tekst źródłaHoffmann, Andrea Ribeiro, Paula Sandrin i Yannis E. Doukas. "Conclusions". W Climate Change in Regional Perspective, 185–90. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-49329-4_12.
Pełny tekst źródłaTuells, Toni, German Rigau i Horacio Rodríguez. "Offline Compilation of Chains for Head-Driven Generation with Constraint-Based Grammars". W 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.
Pełny tekst źródłaMotika, Christian, Steven Smyth i Reinhard von Hanxleden. "Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation". W 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.
Pełny tekst źródłaKasperek, Daniel, Sebastian Maisenbacher i Maik Maurer. "Structure-based Compilation of System Dynamics Models for Assessing Engineering Design Process Behavior". W 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.
Pełny tekst źródłaHahn, Annette, Enno Schefuß, Nicole Burdanowitz, Hayley C. Cawthra, Jemma Finch, Tarryn Frankland, Andrew Green, Frank H. Neumann i Matthias Zabel. "Catchment and Depositional Studies for the Reconstruction of Past Environmental Change in Southern Africa". W 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.
Pełny tekst źródłaKreibich, Heidi, i Nivedita Sairam. "Dynamic Flood Risk Modelling in Human–Flood Systems". W Springer Climate, 95–103. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-86211-4_12.
Pełny tekst źródłaHendriks, Jennifer. "Investigating change from a perspective of continuity". W Investigating West Germanic Languages, 188–224. Amsterdam: John Benjamins Publishing Company, 2024. http://dx.doi.org/10.1075/sigl.8.10hen.
Pełny tekst źródłaJia, Pengpeng, Zhefei Jin, Honglin Feng, Qiong Yang i Wenwu Yang. "Application and Prospect of Spatial Information Technology in Inland Waterway Resources Census". W Lecture Notes in Civil Engineering, 780–88. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-6138-0_68.
Pełny tekst źródłaStreszczenia konferencji na temat "Chaîne de compilation"
Mahmood, Ahmad A., Usman A. Jan, Anum Y. Khan, Hassaan Rasheed, Jose Salazar, Khurram A. Shah i Shahjahan Khan. "Step-Change in Cement Design Assures Well Integrity Under Dynamic Stress". W SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217352-ms.
Pełny tekst źródłaBayuartha, Pratama Wangsit, Parluhutan Alvin Sitorus, Rahmat Sinaga, Tomi Sugiarto, Kristoforus Widyas Tokoh, Bonifasius Muryanto, Dasa Manalu, Dyan Faksilanto, Boby Hendarno i Taufiq Ardiansyah. "Analysis of Oscillating Fishing Tool Efficiency for Stuck Assembly Recovery in Field X". W SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205829-ms.
Pełny tekst źródłaFazal, Muhammad Adnan, Muhammad Salman Saeed, Saad Yousuf, Arif Yousuf, Saqib Jah Temuri, Waqar Javed i Muhammad Arif Rana. "Achieving Reliable and Cost-Effective Wellbore Cleanout in Depleted and Low-Pressure Wells Using CT Conveyed Fluid Oscillation Tool – Case Histories". W SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217353-ms.
Pełny tekst źródłaSuhaimin, Fadzlan, Nasir Oritola, Bo Jun Fang, Hing Kheong Cheong i Yung Khiong Chan. "Wireline Retrievable ESP Deployment: Observation, Challenges and Intervention". W SPE 2020 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/203784-ms.
Pełny tekst źródłaJohnstone, A., E. Scott i T. Womack. "Reverse compilation of digital signal processor assembler source to ANSI-C". W 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.
Pełny tekst źródłaPurificação, Rafael Augustinis, Julia Vieira dos Santos i Matheus Marins Gonzaga. "Subsea Well Intervention Readiness in Brazil". W SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205832-ms.
Pełny tekst źródłaBarthe, Gilles, Benjamin Gregoire i Vincent Laporte. "Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”". W 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, 2018. http://dx.doi.org/10.1109/csf.2018.00031.
Pełny tekst źródłaPeleg, Nitzan, i Bilha Mendelson. "Detecting Change in Program Behavior for Adaptive Optimization". W 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336208.
Pełny tekst źródłaGhodrati, Soroush, Hardik Sharma, Sean Kinzer, Amir Yazdanbakhsh, Jongse Park, Nam Sung Kim, Doug Burger i Hadi Esmaeilzadeh. "Mixed-Signal Charge-Domain Acceleration of Deep Neural Networks through Interleaved Bit-Partitioned Arithmetic". W PACT '20: International Conference on Parallel Architectures and Compilation Techniques. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3410463.3414634.
Pełny tekst źródłaNagpurkar, Priya, Harold W. Cain, Mauricio Serrano, Jong-Deok Choi i Chandra Krintz. "Call-chain Software Instruction Prefetching in J2EE Server Applications". W 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336207.
Pełny tekst źródłaRaporty organizacyjne na temat "Chaîne de compilation"
Couture, R., S. Robinson, M. Burgess i 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.
Pełny tekst źródłaRobinson, S., R. Couture i 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.
Pełny tekst źródłaSindall, Rebecca C., Dani J. Barrington i Esther Shaylor. Learning From and Preventing Failure in WASH. Institute of Development Studies, luty 2023. http://dx.doi.org/10.19088/slh.2022.025.
Pełny tekst źródłaLauth, Timothy, David Biedenharn, Travis Dahl, Casey Mayne, Keaton Jones, Charles Little, Joseph Dunbar, Samantha Lucker i Nalini Torres. Technical assessment of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers : geomorphic assessment. Engineer Research and Development Center (U.S.), sierpień 2022. http://dx.doi.org/10.21079/11681/45143.
Pełny tekst źródłaTanhua, Toste. Ocean Observing Needs. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d9.3.
Pełny tekst źródłaKrafft, Douglas, Rachel Bain, Jack Cadigan i Richard Styles. A review of tidal embayment shoaling mechanisms in the context of future wetland placement. Engineer Research and Development Center (U.S.), grudzień 2022. http://dx.doi.org/10.21079/11681/46143.
Pełny tekst źródłaHarris, Kathleen, i 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.), sierpień 2022. http://dx.doi.org/10.21079/11681/45174.
Pełny tekst źródłaOrtiz, Veronica, Joaquin Tintore i 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.
Pełny tekst źródłaHayward, N., i 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.
Pełny tekst źródłaKumar, Aishani, Thendral Yalini i Sunil Kumar C. Unlocking Cellular Control: The Promise of PROTACs in Disease Intervention. Science Reviews - Biology, maj 2024. http://dx.doi.org/10.57098/scirevs.biology.3.2.1.
Pełny tekst źródła