Literatura científica selecionada sobre o tema "Synthèse de code"
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 "Synthèse de code".
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 "Synthèse de code"
Pinto, José Emilio Nunes, e Matthieu de Boisséson. "Synthèse sur le Nouveau Droit de lArbitrage". Revista Brasileira de Arbitragem 8, Issue 32 (1 de dezembro de 2011): 7–16. http://dx.doi.org/10.54648/rba2011050.
Texto completo da fonteBoulanger, Marc. "Justice et absolutisme : la Grande Ordonnance d'août 1670". Revue d’histoire moderne et contemporaine 47, n.º 1 (2000): 7–36. http://dx.doi.org/10.3406/rhmc.2000.1999.
Texto completo da fonteBoyé, Marc. "La géographie est-elle une science? Introduction aux problèmes de codification dans le traitement automatique de l’information géographique". Cahiers de géographie du Québec 14, n.º 32 (12 de abril de 2005): 157–69. http://dx.doi.org/10.7202/020907ar.
Texto completo da fonteColas, Maxime, e Michel Deloizy. "Le Model Based Design pour l’apprentissage par conception guidée". J3eA 22 (2023): 1009. http://dx.doi.org/10.1051/j3ea/20231009.
Texto completo da fonteGunputh, Rajendra Parsad. "Les limites d’adaptation-interprétation du Code civil français dans la synthèse du droit mixte mauricien - Coexistence et influence dans les Mascareignes". Revue internationale de droit comparé 60, n.º 4 (2008): 885–925. http://dx.doi.org/10.3406/ridc.2008.19721.
Texto completo da fontePopovici, Adrian. "Libres propos sur la culture juridique québécoise dans un monde qui rétrécit". McGill Law Journal 54, n.º 2 (3 de dezembro de 2009): 223–36. http://dx.doi.org/10.7202/038652ar.
Texto completo da fonteBoulanger, Marc. "Justice et absolutisme: la Grande Ordonnance criminelle d'août 1670". Revue d’histoire moderne & contemporaine 47-1, n.º 1 (1 de fevereiro de 2000): 9–36. http://dx.doi.org/10.3917/rhmc.g2000.47n1.0009.
Texto completo da fonteCarayol, Cécile. "La Ligne rouge de Hans Zimmer. Matrice d’un « nouvel Hollywood » électro-minimaliste et contemplatif". Revue musicale OICRM 5, n.º 2 (30 de novembro de 2018): 79–102. http://dx.doi.org/10.7202/1054148ar.
Texto completo da fonteHesketh, John E., e Stéphane Villette. "Intracellular trafficking of micronutrients: from gene regulation to nutrient requirements". Proceedings of the Nutrition Society 61, n.º 4 (novembro de 2002): 405–14. http://dx.doi.org/10.1079/pns2002176.
Texto completo da fonteFekih-Mrissa, N., A. Sayeh, C. B. Cheikh, A. Oumaya e S. Galleli. "Contribution de la mutation C677T dans la persistance des signes négatifs dans la schizophrénie en Tunisie". European Psychiatry 28, S2 (novembro de 2013): 28. http://dx.doi.org/10.1016/j.eurpsy.2013.09.069.
Texto completo da fonteTeses / dissertações sobre o assunto "Synthèse de code"
Thévenoux, Laurent. "Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754". Perpignan, 2014. http://www.theses.fr/2014PERP1176.
Texto completo da fonteNumerical accuracy and execution time of programs using the floating-point arithmetic are major challenges in many computer science applications. The improvement of these criteria is the subject of many research works. However we notice that the accuracy improvement decrease the performances and conversely. Indeed, improvement techniques of numerical accuracy, such as expansions or compensations, increase the number of computations that a program will have to execute. The more the number of computations added is, the more the performances decrease. This thesis work presents a method of accuracy improvement which take into account the negative effect on the performances. So we automatize the error-free transformations of elementary floating-point operations because they present a high potential of parallelism. Moreover we propose some transformation strategies allowing partial improvement of programs to control more precisely the impact on execution time. Then, tradeoffs between accuracy and performances are assured by code synthesis. We present also several experimental results with the help of tools implementing all the contributions of our works
Albin-Amiot, Hervé. "Idiomes et patterns Java : application à la synthèse de code et à la détection". Nantes, 2003. http://www.theses.fr/2003NANT2018.
Texto completo da fonteGuillaume, Philippe. "Contribution aux aspects dorsaux de la synthèse de systèmes monopuces : optimisation de code pour processeurs embarqués, analyse de la consommation dans un environnement de synthèse comportementale". Grenoble INPG, 1999. http://www.theses.fr/1999INPG0069.
Texto completo da fonteXiao, Chenglong. "Identification d'opérateurs spécifiques pour la synthèse de haut niveau". Phd thesis, Université Rennes 1, 2012. http://tel.archives-ouvertes.fr/tel-00759040.
Texto completo da fonteAbdallah, Rouwaida. "Implementability of distributed systems described with scenarios". Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2013. http://tel.archives-ouvertes.fr/tel-00919684.
Texto completo da fonteRochet, Raphaël. "Synthèse Automatique de Contrôleurs avec Contraintes de Sûreté de Fonctionnement". Phd thesis, Grenoble INPG, 1996. http://tel.archives-ouvertes.fr/tel-00345417.
Texto completo da fonteLauter, Christoph Quirin. "Arrondi correct de fonctions mathématiques : fonctions univariées et bivariées, certification et automatisation". Lyon, École normale supérieure (sciences), 2008. http://www.theses.fr/2008ENSL0482.
Texto completo da fonteThis thesis broadens the research space for the implementations of correctly rounded mathematical functions in floating-point arithmetic. Interest goes first to the functions xn and to the function xy. A novel approach for detecting the rounding boundary cases of xy is proposed. This innovation yields to a consequent speed-up of this function. Further, this thesis proposes automatic approaches for certifying a correctly rounded implementation of a function. A new algorithm for the safe computation of infinite norms is presented and made practically usable. Finally, algorithms are developed that allow for an automation of the implementation process of functions. A first realization in the Sollya tool permits generating and certifying the code for evaluating a mathematical function without human interaction. In the future, an integration of such techniques in a compiler can be considered
Daveau, Jean-Marc. "Spécifications systèmes et synthèse de la communication pour le co-design logiciel/matériel". Grenoble INPG, 1997. https://tel.archives-ouvertes.fr/tel-00002996.
Texto completo da fonteAs the system complexity grows there is a need for new methods to handle large system design. One way to manage that complexity is to rise the level of abstraction of the specifications by using system level description languages. On the other side, as the level of abstraction rise the gap between the concepts used for the specification at the system level (communication channels, interacting processes, data types) and those used for hardware synthesis becomes wider. Although these languages are well suited for the specification and validation of complex real time distributed systems, the concepts manipulated are not easy to map onto hardware description languages. It is thus necessary to defines methods for system level synthesis enabling efficient synthesis from system level specifications. The subject of this thesis is the presentation of a new approach of generation of C and VHDL code from system level specifications in SDL. This approach solves the main problem encountered by previous approach : inter process communications. SDL communication can be translated in VHDL for synthesis. This is achieved by the use of a powerful intermediate form that support the modelling for synthesis of a wide range of communication schemes. This intermediate form allows to apply to the system a set of transformations in order to obtain the desired solution. The main refinement step, called communication synthesis is aimed at fixing the protocol and interface used by the different processes to communicate. The refined specification can be translated in C and VHDL and synthesised by commercial tools. We illustrate the feasibility of this approach through an application to a telecommunication example : the TCP/IP over ATM protocol
Rochet, Raphaël. "Synthèse automatique de contrôleurs avec contraintes de sûreté de fonctionnement". Phd thesis, Grenoble INPG, 1996. https://theses.hal.science/tel-00345417.
Texto completo da fonteRazafimandimby, Stéphane. "Accord en fréquence de résonateurs BAW appliqué au filtrage et à la synthèse de fréquence RF". Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Razafimandimby.pdf.
Texto completo da fonteLivros sobre o assunto "Synthèse de code"
Lauria, Massimo, ed. Produzione dell'Architettura tra tecniche e progetto / Architectural Planning between build and design techniques. Florence: Firenze University Press, 2010. http://dx.doi.org/10.36253/978-88-8453-988-5.
Texto completo da fonteHartmann, Philippe. Centrales nucléaires et environnement - Prélèvements d'eau et rejets. EDP Sciences, 2014. http://dx.doi.org/10.1051/978-2-7598-0913-4.
Texto completo da fonteCapítulos de livros sobre o assunto "Synthèse de code"
Meskhidze, Helen. "(What) Do We Learn from Code Comparisons? A Case Study of Self-Interacting Dark Matter Implementations". In Synthese Library, 171–86. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_10.
Texto completo da fonteMachuca, Diego E. "Coda". In Synthese Library, 249–55. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-91210-9_11.
Texto completo da fonteOftedal, Gry. "The Metaphorical Role of the Histone Code". In Synthese Library, 253–67. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-90688-7_13.
Texto completo da fonteKadowaki, Kevin. "Simulation Verification in Practice". In Synthese Library, 151–70. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_9.
Texto completo da fonteDistin, Mitchell Ryan. "The Nuances of Biological Syntheses: A Commentary on Shuker". In Evolutionary Biology: Contemporary and Historical Reflections Upon Core Theory, 505–9. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-22028-9_30.
Texto completo da fonteMathews, Christopher K., Linda J. Wheeler, Christian Ungermann, J. Patrick Young e Nancy B. Ray. "Enzyme Interactions Involving T4 Phage-Coded Thymidylate Synthase and Deoxycytidylate Hydroxymethylase". In Advances in Experimental Medicine and Biology, 563–70. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-2960-6_115.
Texto completo da fonteFutuyma, Douglas J. "Phenotypic Plasticity and Evolutionary Syntheses: A Commentary on Dickins, T.E." In Evolutionary Biology: Contemporary and Historical Reflections Upon Core Theory, 461–65. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-22028-9_27.
Texto completo da fonteOhta, Shigeo, Hideaki Tomura, Kakuko Matsuda, Kiyoshi Hasegawa e Yasuo Kagawa. "The Structure and Expression of a Human Gene for a Nuclear-Coded Mitochondrial Adenosine Triphosphate Synthase Beta Subunit". In Molecular Structure, Function, and Assembly of the ATP Synthases, 67–72. Boston, MA: Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-0593-4_8.
Texto completo da fonteBolle, Cordelia, Viktor Kusnetsov, Doris Michl, Daguang Cai, Ralph-Bernd Klosgen, Ralf Oelmüller e Reinhold G. Herrmann. "The Genes for the Three Nuclear-Coded Subunits of Chloroplast ATP Synthases; Characterization of the Promotors from the Single-Copy Genes atpC and atpD from Spinach". In Research in Photosynthesis, 377–80. Dordrecht: Springer Netherlands, 1992. http://dx.doi.org/10.1007/978-94-009-0383-8_83.
Texto completo da fonteLeblois-Happe, Jocelyne. "Schlussbetrachtung/Conclusion: Rapport de synthèse". In 200 Jahre Code d'instruction criminelle - Le Bicentenaire du Code d'instruction criminelle, 245–46. Nomos Verlagsgesellschaft mbH & Co KG, 2010. http://dx.doi.org/10.5771/9783845222455-245.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Synthèse de code"
Ebong, E. E., D. C. Spray e J. M. Tarbell. "The Roles of HS and Its Glypican-1 Core Protein in Flow-Induced Endothelial NOS Activation and Cell Remodeling". In ASME 2011 Summer Bioengineering Conference. American Society of Mechanical Engineers, 2011. http://dx.doi.org/10.1115/sbc2011-53294.
Texto completo da fonteKang, Ki Moon, Hyo-Won Kim, Il-Wun Shim e Ho-Young Kwak. "Syntheses of Specialty Nanomaterials at the Multibubble Sonoluminescence Condition". In ASME 2008 International Mechanical Engineering Congress and Exposition. ASMEDC, 2008. http://dx.doi.org/10.1115/imece2008-68320.
Texto completo da fonteAbdullayev, E., A. Joshi, W. Wei, Y. Zhao e Y. Lvov. "Economically Viable Fabrication Method of Nanocomposite Materials From Linear Arrays of Metallic Nanoparticles and Nanorods on Tubular Halloysite Templates". In ASME 2012 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/imece2012-87006.
Texto completo da fonteTOSHIMA, NAOKI, YUKIHIDE SHIRAISHI, TORU MATSUSHITA, HISAYOSHI MUKAI e KAZUTAKA HIRAKAWA. "SELF-ORGANIZATION OF METAL NANOPARTICLES AND ITS APPLICATION TO SYNTHESES OF Pd/Ag/Rh TRIMETALLIC NANOPARTICLE CATALYSTS WITH TRIPLE CORE/SHELL STRUCTURES". In Proceedings of the Asian Symposium on Nanotechnology and Nanoscience 2002. WORLD SCIENTIFIC, 2003. http://dx.doi.org/10.1142/9789812796714_0004.
Texto completo da fonteChikhradze, Nikoloz, Nikoloz Jalabadze, Mikheil Chikhradze, Davit Tsverava e George Janikashvili. "SHOCK-WAVE SYNTHESES OF HIGH ENTROPY ALLOYS IN Fe-W-Al-Ti-Ni-B-C SYSTEM". In 23rd SGEM International Multidisciplinary Scientific GeoConference 2023. STEF92 Technology, 2023. http://dx.doi.org/10.5593/sgem2023/6.1/s24.10.
Texto completo da fonteMaria Arnaldo Valdés, Rosa, Victor Fernando Gómez Comendador, Raquel Delgado-Aguilera, Francisco Perez Moreno e Maria Zamarreño. "Impact of Artificial Intelligence in the Certification of Human-Centered Aviation systems". In 13th International Conference on Applied Human Factors and Ergonomics (AHFE 2022). AHFE International, 2022. http://dx.doi.org/10.54941/ahfe1001432.
Texto completo da fonteDeclercq, Cedric, Andrew Ballard, Giovanni Ferraro e Anicet Touré. "The EUR Assessment Process and Highlights of the Compliance Analysis for the EU-APR Standard Design". In 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81889.
Texto completo da fonteDu Bernard, Xavier, Jonathan Gallon e Jérôme Massot. "The Gaia Explorer, a Powerful Search Platform". In Abu Dhabi International Petroleum Exhibition & Conference. SPE, 2021. http://dx.doi.org/10.2118/207837-ms.
Texto completo da fonteRelatórios de organizações sobre o assunto "Synthèse de code"
Nelson, Gena, Angela Crawford e Jessica Hunt. A Systematic Review of Research Syntheses for Students with Mathematics Learning Disabilities and Difficulties. Boise State University, Albertsons Library, janeiro de 2022. http://dx.doi.org/10.18122/sped.143.boisestate.
Texto completo da fonteEsquivel, Valeria, Ana Carolina Ogando, Ghida Ismail, Marcela Valdivia, Pranita Achyut, Nomancotsho Pakade, Gountiéni D. Lankoandé e Ian Heffernan. Pourquoi la reprise après la Covid-19 doit être sexospécifique. Institute of Development Studies, março de 2022. http://dx.doi.org/10.19088/core.2022.002.
Texto completo da fonteNelson, Gena. A Systematic Review of the Quality of Reporting in Mathematics Meta-Analyses for Students with or at Risk of Disabilities Coding Protocol. Boise State University, julho de 2021. http://dx.doi.org/10.18122/sped138.boisestate.
Texto completo da fonteNelson, Gena. A Systematic Review of the Quality of Reporting in Mathematics Meta-Analyses for Students with or at Risk of Disabilities Coding Protocol. Boise State University, Albertsons Library, julho de 2021. http://dx.doi.org/10.18122/sped.138.boisestate.
Texto completo da fonteBolton, Laura, e James Georgalakis. Les répercussions socioéconomiques de la Covid-19 dans les pays à revenu faible ou intermédiaire. Institute of Development Studies, outubro de 2022. http://dx.doi.org/10.19088/core.2022.012.
Texto completo da fonteBennett, Alan B., Arthur Schaffer e David Granot. Genetic and Biochemical Characterization of Fructose Accumulation: A Strategy to Improve Fruit Quality. United States Department of Agriculture, junho de 2000. http://dx.doi.org/10.32747/2000.7571353.bard.
Texto completo da fontePaynter, Robin A., Celia Fiordalisi, Elizabeth Stoeger, Eileen Erinoff, Robin Featherstone, Christiane Voisin e Gaelen P. Adam. A Prospective Comparison of Evidence Synthesis Search Strategies Developed With and Without Text-Mining Tools. Agency for Healthcare Research and Quality (AHRQ), março de 2021. http://dx.doi.org/10.23970/ahrqepcmethodsprospectivecomparison.
Texto completo da fonte