Literatura científica selecionada sobre o tema "Chaîne de compilation"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Chaîne de compilation".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Chaîne de compilation"
Bennas, Nard, e 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, n.º 1 (30 de junho de 2006): 31. http://dx.doi.org/10.4081/memoriesei.2006.31.
Texto completo da fonteMas, Élodie. "Las evidencias de producción en material malacológico: análisis tecnológico de las colecciones de Sayula (Jalisco)". Revista Trace, n.º 76 (31 de julho de 2019): 167. http://dx.doi.org/10.22134/trace.76.2019.129.
Texto completo da fonteJovanovic, S., e S. Weber. "Modélisation SystemC-TLM de systèmes à base de processeur". J3eA 18 (2019): 1009. http://dx.doi.org/10.1051/j3ea/20191009.
Texto completo da fontePrado, L. F., I. Wainer, C. M. Chiessi, M. P. Ledru e B. Turcq. "Mid-Holocene climate reconstruction for eastern South America". Climate of the Past Discussions 8, n.º 6 (29 de novembro de 2012): 5925–61. http://dx.doi.org/10.5194/cpd-8-5925-2012.
Texto completo da fonteSuhaciov, Nikolaj, e Svetlana Kokoškina. "La géographie linguistique en Union soviétique : les atlas linguistiques". Cahiers du Centre de Linguistique et des Sciences du Langage, n.º 40 (12 de outubro de 2014): 131–54. http://dx.doi.org/10.26034/la.cdclsl.2014.677.
Texto completo da fontePeterson, Carlye D., e 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, n.º 8 (16 de agosto de 2018): 1229–52. http://dx.doi.org/10.5194/cp-14-1229-2018.
Texto completo da fonteChristiansen, B., e F. C. Ljungqvist. "The extra-tropical Northern Hemisphere temperature in the last two millennia: reconstructions of low-frequency variability". Climate of the Past 8, n.º 2 (18 de abril de 2012): 765–86. http://dx.doi.org/10.5194/cp-8-765-2012.
Texto completo da fonteAlbani, 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, n.º 6 (13 de novembro de 2014): 4277–363. http://dx.doi.org/10.5194/cpd-10-4277-2014.
Texto completo da fonteAlbani, 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, n.º 6 (11 de junho de 2015): 869–903. http://dx.doi.org/10.5194/cp-11-869-2015.
Texto completo da fonteNieto Masot, Ana, e José Luis Gurría Gascón. "Sustainable Rural Development: Strategies, Good Practices and Opportunities (Second Edition)". Land 13, n.º 1 (17 de janeiro de 2024): 104. http://dx.doi.org/10.3390/land13010104.
Texto completo da fonteTeses / dissertações sobre o assunto "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.
Texto completo da fonteSide-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.
Texto completo da fonteThe 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.
Texto completo da fonteIn 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.
Texto completo da fonteCode 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.
Texto completo da fonteLivros sobre o assunto "Chaîne de compilation"
Samani, Muchlas. Reconstruction of education: Compilation of reflections on the urgency of reconstructing education in Indonesia. Editado por Syah Sirikit 1960 author e Universitas Negeri Surabaya. Surabaya: Unesa University Press, 2011.
Encontre o texto completo da fonteJohn, Barnabas, e 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.
Encontre o texto completo da fonteSteps for social transformation: Compilation of best practices as an outcome from the field. Kathmandu: Canadian Cooperation Office, 2006.
Encontre o texto completo da fonteShally-Jensen, Michael, e Anthony Vivian. A Cultural Encyclopedia of Lost Cities and Civilizations. Praeger, 2022. http://dx.doi.org/10.5040/9798216182849.
Texto completo da fonteBrouard, Sylvain, Martin Dolezal, Isabelle Guinaudeau e Swen Hutter. The Conflict over Nuclear Energy. Editado por Paul W. Thurner e Wolfgang C. Müller. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747031.003.0004.
Texto completo da fonteHanciles, 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.
Texto completo da fonteChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee e Stefan Storr, eds. Öffentliches Wirtschaftsrecht im digitalen Zeitalter. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748923589.
Texto completo da fonteKorpiola, Mia. High and Late Medieval Scandinavia. Editado por Heikki Pihlajamäki, Markus D. Dubber e Mark Godfrey. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198785521.013.19.
Texto completo da fonteChan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, Yuh-May Lin e Stefan Storr, eds. Die Corona-Krise und das öffentliche Wirtschaftsrecht. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748921301.
Texto completo da fonteWeisbard, Eric. Songbooks. Duke University Press, 2021. http://dx.doi.org/10.1215/9781478021391.
Texto completo da fonteCapítulos de livros sobre o assunto "Chaîne de compilation"
Mottin, Julien, François Pacull, Ronan Keryell e 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.
Texto completo da fonteBenkovitz, Carmen M., Hajime Akimoto, James J. Corbett, J. David Mobley, Jos G. J. Olivier, Toshimasa Ohara, John A. van Aardenne e 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.
Texto completo da fonteHoffmann, Andrea Ribeiro, Paula Sandrin e 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.
Texto completo da fonteTuells, Toni, German Rigau e 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.
Texto completo da fonteMotika, Christian, Steven Smyth e 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.
Texto completo da fonteKasperek, Daniel, Sebastian Maisenbacher e 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.
Texto completo da fonteHahn, Annette, Enno Schefuß, Nicole Burdanowitz, Hayley C. Cawthra, Jemma Finch, Tarryn Frankland, Andrew Green, Frank H. Neumann e 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.
Texto completo da fonteKreibich, Heidi, e 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.
Texto completo da fonteHendriks, 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.
Texto completo da fonteJia, Pengpeng, Zhefei Jin, Honglin Feng, Qiong Yang e 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.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Chaîne de compilation"
Mahmood, Ahmad A., Usman A. Jan, Anum Y. Khan, Hassaan Rasheed, Jose Salazar, Khurram A. Shah e 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.
Texto completo da fonteBayuartha, Pratama Wangsit, Parluhutan Alvin Sitorus, Rahmat Sinaga, Tomi Sugiarto, Kristoforus Widyas Tokoh, Bonifasius Muryanto, Dasa Manalu, Dyan Faksilanto, Boby Hendarno e 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.
Texto completo da fonteFazal, Muhammad Adnan, Muhammad Salman Saeed, Saad Yousuf, Arif Yousuf, Saqib Jah Temuri, Waqar Javed e 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.
Texto completo da fonteSuhaimin, Fadzlan, Nasir Oritola, Bo Jun Fang, Hing Kheong Cheong e 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.
Texto completo da fonteJohnstone, A., E. Scott e 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.
Texto completo da fontePurificação, Rafael Augustinis, Julia Vieira dos Santos e Matheus Marins Gonzaga. "Subsea Well Intervention Readiness in Brazil". In SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205832-ms.
Texto completo da fonteBarthe, Gilles, Benjamin Gregoire e 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.
Texto completo da fontePeleg, Nitzan, e 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.
Texto completo da fonteGhodrati, Soroush, Hardik Sharma, Sean Kinzer, Amir Yazdanbakhsh, Jongse Park, Nam Sung Kim, Doug Burger e 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.
Texto completo da fonteNagpurkar, Priya, Harold W. Cain, Mauricio Serrano, Jong-Deok Choi e 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.
Texto completo da fonteRelatórios de organizações sobre o assunto "Chaîne de compilation"
Couture, R., S. Robinson, M. Burgess e 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.
Texto completo da fonteRobinson, S., R. Couture e 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.
Texto completo da fonteSindall, Rebecca C., Dani J. Barrington e Esther Shaylor. Learning From and Preventing Failure in WASH. Institute of Development Studies, fevereiro de 2023. http://dx.doi.org/10.19088/slh.2022.025.
Texto completo da fonteLauth, Timothy, David Biedenharn, Travis Dahl, Casey Mayne, Keaton Jones, Charles Little, Joseph Dunbar, Samantha Lucker e Nalini Torres. Technical assessment of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers : geomorphic assessment. Engineer Research and Development Center (U.S.), agosto de 2022. http://dx.doi.org/10.21079/11681/45143.
Texto completo da fonteTanhua, Toste. Ocean Observing Needs. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d9.3.
Texto completo da fonteKrafft, Douglas, Rachel Bain, Jack Cadigan e Richard Styles. A review of tidal embayment shoaling mechanisms in the context of future wetland placement. Engineer Research and Development Center (U.S.), dezembro de 2022. http://dx.doi.org/10.21079/11681/46143.
Texto completo da fonteHarris, Kathleen, e 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.), agosto de 2022. http://dx.doi.org/10.21079/11681/45174.
Texto completo da fonteOrtiz, Veronica, Joaquin Tintore e 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.
Texto completo da fonteHayward, N., e 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.
Texto completo da fonteKumar, Aishani, Thendral Yalini e Sunil Kumar C. Unlocking Cellular Control: The Promise of PROTACs in Disease Intervention. Science Reviews - Biology, maio de 2024. http://dx.doi.org/10.57098/scirevs.biology.3.2.1.
Texto completo da fonte