Добірка наукової літератури з теми "Chaîne de compilation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Chaîne de compilation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Chaîne de compilation":
Bennas, Nard, and 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 (June 30, 2006): 31. http://dx.doi.org/10.4081/memoriesei.2006.31.
Mas, Élodie. "Las evidencias de producción en material malacológico: análisis tecnológico de las colecciones de Sayula (Jalisco)." Revista Trace, no. 76 (July 31, 2019): 167. http://dx.doi.org/10.22134/trace.76.2019.129.
Jovanovic, S., and S. Weber. "Modélisation SystemC-TLM de systèmes à base de processeur." J3eA 18 (2019): 1009. http://dx.doi.org/10.1051/j3ea/20191009.
Prado, L. F., I. Wainer, C. M. Chiessi, M. P. Ledru, and B. Turcq. "Mid-Holocene climate reconstruction for eastern South America." Climate of the Past Discussions 8, no. 6 (November 29, 2012): 5925–61. http://dx.doi.org/10.5194/cpd-8-5925-2012.
Suhaciov, Nikolaj, and 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 (October 12, 2014): 131–54. http://dx.doi.org/10.26034/la.cdclsl.2014.677.
Peterson, Carlye D., та 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, № 8 (16 серпня 2018): 1229–52. http://dx.doi.org/10.5194/cp-14-1229-2018.
Christiansen, B., and 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 (April 18, 2012): 765–86. http://dx.doi.org/10.5194/cp-8-765-2012.
Albani, 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 (November 13, 2014): 4277–363. http://dx.doi.org/10.5194/cpd-10-4277-2014.
Albani, 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 (June 11, 2015): 869–903. http://dx.doi.org/10.5194/cp-11-869-2015.
Nieto Masot, Ana, and José Luis Gurría Gascón. "Sustainable Rural Development: Strategies, Good Practices and Opportunities (Second Edition)." Land 13, no. 1 (January 17, 2024): 104. http://dx.doi.org/10.3390/land13010104.
Дисертації з теми "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.
Side-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.
The 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.
In 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.
Code 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.
Книги з теми "Chaîne de compilation":
Samani, Muchlas. Reconstruction of education: Compilation of reflections on the urgency of reconstructing education in Indonesia. Edited by Syah Sirikit 1960 author and Universitas Negeri Surabaya. Surabaya: Unesa University Press, 2011.
John, Barnabas, and National Institute of Public Cooperation and Child Development., eds. Perspectives on voluntary action: A compilation of John Barnabas memorial lectures. New Delhi: National Institute of Public Cooperation and Child Development, 1991.
Steps for social transformation: Compilation of best practices as an outcome from the field. Kathmandu: Canadian Cooperation Office, 2006.
Shally-Jensen, Michael, and Anthony Vivian. A Cultural Encyclopedia of Lost Cities and Civilizations. Praeger, 2022. http://dx.doi.org/10.5040/9798216182849.
Brouard, Sylvain, Martin Dolezal, Isabelle Guinaudeau, and Swen Hutter. The Conflict over Nuclear Energy. Edited by Paul W. Thurner and Wolfgang C. Müller. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747031.003.0004.
Hanciles, Jehu J., ed. The Oxford History of Protestant Dissenting Traditions, Volume IV. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780199684045.001.0001.
Chan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, and Stefan Storr, eds. Öffentliches Wirtschaftsrecht im digitalen Zeitalter. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748923589.
Korpiola, Mia. High and Late Medieval Scandinavia. Edited by Heikki Pihlajamäki, Markus D. Dubber, and Mark Godfrey. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198785521.013.19.
Chan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, Yuh-May Lin, and Stefan Storr, eds. Die Corona-Krise und das öffentliche Wirtschaftsrecht. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748921301.
Weisbard, Eric. Songbooks. Duke University Press, 2021. http://dx.doi.org/10.1215/9781478021391.
Частини книг з теми "Chaîne de compilation":
Mottin, Julien, François Pacull, Ronan Keryell, and 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.
Benkovitz, Carmen M., Hajime Akimoto, James J. Corbett, J. David Mobley, Jos G. J. Olivier, Toshimasa Ohara, John A. van Aardenne, and 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.
Hoffmann, Andrea Ribeiro, Paula Sandrin, and 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.
Tuells, Toni, German Rigau, and 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.
Motika, Christian, Steven Smyth, and 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.
Kasperek, Daniel, Sebastian Maisenbacher, and 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.
Hahn, Annette, Enno Schefuß, Nicole Burdanowitz, Hayley C. Cawthra, Jemma Finch, Tarryn Frankland, Andrew Green, Frank H. Neumann, and 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.
Kreibich, Heidi, and 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.
Hendriks, 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.
Jia, Pengpeng, Zhefei Jin, Honglin Feng, Qiong Yang, and 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.
Тези доповідей конференцій з теми "Chaîne de compilation":
Mahmood, Ahmad A., Usman A. Jan, Anum Y. Khan, Hassaan Rasheed, Jose Salazar, Khurram A. Shah, and 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.
Bayuartha, Pratama Wangsit, Parluhutan Alvin Sitorus, Rahmat Sinaga, Tomi Sugiarto, Kristoforus Widyas Tokoh, Bonifasius Muryanto, Dasa Manalu, Dyan Faksilanto, Boby Hendarno, and 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.
Fazal, Muhammad Adnan, Muhammad Salman Saeed, Saad Yousuf, Arif Yousuf, Saqib Jah Temuri, Waqar Javed, and 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.
Suhaimin, Fadzlan, Nasir Oritola, Bo Jun Fang, Hing Kheong Cheong, and 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.
Johnstone, A., E. Scott, and 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.
Purificação, Rafael Augustinis, Julia Vieira dos Santos, and Matheus Marins Gonzaga. "Subsea Well Intervention Readiness in Brazil." In SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205832-ms.
Barthe, Gilles, Benjamin Gregoire, and 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.
Peleg, Nitzan, and 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.
Ghodrati, Soroush, Hardik Sharma, Sean Kinzer, Amir Yazdanbakhsh, Jongse Park, Nam Sung Kim, Doug Burger, and 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.
Nagpurkar, Priya, Harold W. Cain, Mauricio Serrano, Jong-Deok Choi, and 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.
Звіти організацій з теми "Chaîne de compilation":
Couture, R., S. Robinson, M. Burgess, and 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.
Robinson, S., R. Couture, and 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.
Sindall, Rebecca C., Dani J. Barrington, and Esther Shaylor. Learning From and Preventing Failure in WASH. Institute of Development Studies, February 2023. http://dx.doi.org/10.19088/slh.2022.025.
Lauth, Timothy, David Biedenharn, Travis Dahl, Casey Mayne, Keaton Jones, Charles Little, Joseph Dunbar, Samantha Lucker, and 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.
Tanhua, Toste. Ocean Observing Needs. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d9.3.
Krafft, Douglas, Rachel Bain, Jack Cadigan, and Richard Styles. A review of tidal embayment shoaling mechanisms in the context of future wetland placement. Engineer Research and Development Center (U.S.), December 2022. http://dx.doi.org/10.21079/11681/46143.
Harris, Kathleen, and 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.
Ortiz, Veronica, Joaquin Tintore, and 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.
Hayward, N., and 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.
Kumar, Aishani, Thendral Yalini, and Sunil Kumar C. Unlocking Cellular Control: The Promise of PROTACs in Disease Intervention. Science Reviews - Biology, May 2024. http://dx.doi.org/10.57098/scirevs.biology.3.2.1.