Letteratura scientifica selezionata sul tema "Transformation de programme (Informatique)"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Transformation de programme (Informatique)".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Transformation de programme (Informatique)"
Btissam, Idrissi Loukli, e Babounia Aziz. "TICE et formation pédagogique des enseignants : une approche intégrée Cas de I’enseignement primaire : région Fès – Mèknes". SHS Web of Conferences 175 (2023): 01046. http://dx.doi.org/10.1051/shsconf/202317501046.
Testo completoCREIS. "Proposition de programme « informatique et société numérique» pour l'option informatique au lycée". Terminal, n. 110 (15 aprile 2012): 133–41. http://dx.doi.org/10.4000/terminal.1265.
Testo completoRadulović, Lidija, e Ildiko Erdei. "“Veliki brat vas gleda”/“Vi gledate Velikog brata”. Fenomen (nad)gledanja i imperativ gledanosti u rijaliti programu". Issues in Ethnology and Anthropology 12, n. 1 (31 marzo 2017): 19. http://dx.doi.org/10.21301/eap.v12i1.1.
Testo completoGlessgen, Martin. "Linguistique romane". Annuaire de l'EPHE, section des Sciences historiques et philologiques (2022-2023) 155 (2024): 258–59. http://dx.doi.org/10.4000/11t5c.
Testo completoGemme1, Brigitte. "Orientations, représentations et projets de femmes étudiant en informatique". Note de recherche 15, n. 1 (23 aprile 2003): 113–34. http://dx.doi.org/10.7202/000773ar.
Testo completoCourcelle, Bruno. "The monadic second-order logic of graphs IV: definability properties of equational graphs11This work has been supported by the “Programme de Recherches Coordonnées: Mathématiques et Informatique”, and by the ESPRIT-Basic Research Action contract No. 3299, “Computing by graph transformations”." Annals of Pure and Applied Logic 49, n. 3 (ottobre 1990): 193–255. http://dx.doi.org/10.1016/0168-0072(90)90027-y.
Testo completoFreyssinet, Éric. "Transformation numérique de la gendarmerie nationale". Sécurité et stratégie 31, n. 3 (19 marzo 2024): 20–24. http://dx.doi.org/10.3917/sestr.031.0020.
Testo completoVerkerk, Philippe, e Anne-Marie Turcan-Verkerk. "Un programme informatique pour l’étude de la prose rimée et rythmée". Le médiéviste et l'ordinateur 33, n. 1 (1996): 41–48. http://dx.doi.org/10.3406/medio.1996.1448.
Testo completoBéroud, C., C. Antignac, C. Jeanpierre e C. Junien. "Un programme informatique pour la recherche d'amorces pour l'amplification par PCR". médecine/sciences 6, n. 9 (1990): 901. http://dx.doi.org/10.4267/10608/4257.
Testo completoTreuil, Jean-Pierre, Claude Lobry, Claude Millier, Jean-Pierre Müller e Dominique Hervé. "De l'équation mathématique au programme informatique, dialogue entre mathématiciens et informaticiens". Natures Sciences Sociétés 15, n. 1 (gennaio 2007): 33–43. http://dx.doi.org/10.1051/nss:2007021.
Testo completoTesi sul tema "Transformation de programme (Informatique)"
Kunz, César. "Préservation des preuves et transformation de programmes". Phd thesis, École Nationale Supérieure des Mines de Paris, 2009. http://pastel.archives-ouvertes.fr/pastel-00004940.
Testo completoAlexandre, Francis. "Transformation de programmes logiques". Nancy 1, 1991. http://www.theses.fr/1991NAN10429.
Testo completoGrenier, Christophe. "Transformation de programme et protection de la propriété intellectuelle - préparation, intégration et vérification". Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00915579.
Testo completoDai, Min. "Transformation et optimisation des programmes pour le parallélisme d'instructions". Versailles-St Quentin en Yvelines, 2000. http://www.theses.fr/2000VERS002V.
Testo completoNous commencerons d'abord par l'introduction des techniques de transformation et d'optimisation a haut niveau au chapitre 2. La presentation des architectures auxquelles nous nous interessons, les processeurs superscalaires et vliw, est presentee dans le chapitre 3. Apres avoir aborde les principales machines, nous presentons la methode de la simulation des unites fonctionnelles qui est voisine des tables de reservation reduites. Dans le quatrieme chapitre, nous introduisons les techniques existantes d'extraction de dependances de donnees pour qu'elles puissent etre utilisees dans les phases de transformation et d'optimisation. Le chapitre suivant resumera les differentes methodes de la transformation de code source. Nous avons utilise sage++ comme base de travail pour realiser les transformations, les parallelisations et les optimisations de code source (tops) dai99. Sage++ fournit une abstraction du programme source, qui facilite la manipulation de code source. Le chapitre 6 detaillera les techniques d'elimination de code redondant en integrant le pipeline logiciel afin de minimiser les operations de chargement et dechargement dans la boucle pipelinee. Dans le chapitre 7, nous donnons les resultats experimentaux des performances qui integrent differentes transformations et les methodes d'optimisation que nous avons developpees. Finalement, le dernier chapitre est destine a donner quelques details d'implantation et de comparaison avec les travaux existants
Neron, Pierre. "Transformation de Programmes pour des Nombres Réels Fiables". Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00960808.
Testo completoCohen, Albert Henri. "Analyse et transformation de programmes : du modèle polyédrique aux langages formels". Versailles-St Quentin en Yvelines, 1999. https://tel.archives-ouvertes.fr/tel-00550829.
Testo completoAmini, Mehdi. "Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU". Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2012. http://pastel.archives-ouvertes.fr/pastel-00958033.
Testo completoBalland, Emilie Kirchner Claude Moreau Pierre-Etienne. "Conception d'un langage dédié à l'analyse et la transformation de programmes". S. l. : Nancy 1, 2009. http://www.scd.uhp-nancy.fr/docnum/SCD_T_2009_0026_BALLAND.pdf.
Testo completoIoualalen, Arnault. "Transformation de programmes synchrones pour l’optimisation de la précision numérique". Perpignan, 2012. http://www.theses.fr/2012PERP1108.
Testo completoThe certification of programs embedded in critical systems is still a challenge for both the industry and the research communities. The numerical accuracy of programs using the floating-point arithmetics is one aspect of this issue which has been addressed by manytechniques and tools. Nowadays we can statically infer a sound over-approximation of the rounding errors introduced by all the possible executions of a program. However, these techniques do not indicate how to correct or even how to reduce these errors. This work presents a new automatic technique to transform a synchronous program in order to reduce the rounding errors arising during its execution. We introduce a new intermediate representation of programs, called APEG, which is an under-approximation of the set of all the programs that are mathematically equivalent to the original one. This representation allows us to synthesize, in polynomial time, a program with a better numerical accuracy, while being mathematically equivalent to the original one. In addition, we present many experimental results obtained with the tool we have developed, Sardana, and which implements all of our contributions
Jouvelot, Pierre. "Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels". Paris 6, 1986. http://www.theses.fr/1986PA066559.
Testo completoLibri sul tema "Transformation de programme (Informatique)"
Reinhard, Wilhelm, Hack Sebastian e SpringerLink (Online service), a cura di. Compiler Design: Analysis and Transformation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Cerca il testo completoOptimal interprocedural program optimization: A new framework and its application. Berlin: Springer, 1998.
Cerca il testo completoGovernment transformation programme: The roadmap. Putrajaya: Unit Pengurusan Prestasi dan Pelaksanaan, Jabatan Perdana Menteri, 2010.
Cerca il testo completoOffice, National Audit. HM Revenue & Customs' transformation programme: Report. London: Stationery Office, 2008.
Cerca il testo completoJanusz, Beksiak, a cura di. The Polish transformation: Programme and progress. London: Centre for Research into Communist Economies, 1990.
Cerca il testo completoEconomic transformation programme: A roadmap for Malaysia. Putrajaya: Performance Management and Delivery Unit, Jabatan Perdana Menteri, 2010.
Cerca il testo completoSt-Amand, Léo. Mon nouveau programme d'introduction à la science de l'informatique Léo St-Amand. Montréal: Guérin, 1985.
Cerca il testo completoMenteri, Malaysia Jabatan Perdana. The roadmap 2.0: Catalysing transformation for a brighter future : government transformation programme. Kuala Lumpur]: Jabatan Perdana Menteri, 2013.
Cerca il testo completoRwanda. Direction générale de la politique économique., a cura di. Le Modèle macro-économique UMUGANDA: Spécifications et programme informatique. 2a ed. Kigali: La Direction, 1987.
Cerca il testo completoMalaysian economy: Economic transformation programme : next economic experience. Kuala Lumpur]: Malaysian Institute of Economic Research, 2013.
Cerca il testo completoCapitoli di libri sul tema "Transformation de programme (Informatique)"
Goetz, Christophe, Aurélien Zang e Nicolas Jay. "Apports d’une méthode de fouille de données pour la détection des cancers du sein incidents dans les données du programme de médicalisation des systèmes d’information". In Informatique et Santé, 189–99. Paris: Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_17.
Testo completoGuilherme, Alexandre, e Fernanda Felix de Oliveira. "Programme ‘Future-se’". In Transformation of the University, 139–55. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003102922-13.
Testo completoAltena, Sharon, e Karen Theobald. "Leading successful programme transformation". In Supporting Course and Programme Leaders in Higher Education, 188–90. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003127413-36.
Testo completoJessop, Tansy. "Inspiring Transformation Through TESTA’s Programme Approach". In The Enabling Power of Assessment, 49–64. Singapore: Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-10-3045-1_4.
Testo completoWang, Lin. "The Guangcai Programme and Transformation of Poverty-Alleviation Model". In Poverty Alleviation Investment and Private Economy in China, 135–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40612-6_6.
Testo completoSońta-Drączkowska, Ewa. "Brexit as a National Transformation Programme: Project Management Perspective". In Brexit and the Consequences for International Competitiveness, 43–61. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03245-6_3.
Testo completoAngeletti, G. "Research on Atmospheric Composition within the EC Environment Programme of FP5". In Transport and Chemical Transformation in the Troposphere, 6–10. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56722-3_2.
Testo completoLiu, Yu, Franz Gatzweiler, Philippa Howden-Chapman, Charlotte Marchandise, Zhang Shaohua, Yonette Thomas, Virginia Murray e Wang Lan. "Post-pandemic Recovery and Transformation: Resilient Cities, Healthy Planet “Will Healthy and Anti-Fragile Cities Emerge from the Crisis?”". In Urban Health and Wellbeing Programme, 37–44. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-2523-8_6.
Testo completoWang, Lin. "The Guangcai Programme and the Transformation of China’s Poverty Alleviation". In Poverty Alleviation Investment and Private Economy in China, 99–133. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40612-6_5.
Testo completoAmboala, Tamrin, Mohd Zulkifli Muhammad, Haneffa Muchlis Gazali, Esmadi Abu Seman, Mohd Rushdan Yasoa’ e Soffri Yussof. "Technology Entrepreneurship and Commercialisation of Computing Artefacts in University Incubator Programme". In Industry Forward and Technology Transformation in Business and Entrepreneurship, 701–18. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-2337-3_60.
Testo completoAtti di convegni sul tema "Transformation de programme (Informatique)"
Wolff, Marion, Baptiste Leroy, Florence Peschaud e Regis Mollard. "Transformation du travail et accompagnement ergonomique". In the Ergonomie et Informatique Avancee Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868683.
Testo completoMollard, Régis, Alban Gibert e Marion Wolff. "Transformation du travail et prévention des risques". In the Ergonomie et Informatique Avancee Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868682.
Testo completoMcBarron, Martha, Jim Cassidy e Louise Hutton. "Benefits of Low Resolution Gamma Spectroscopy (LRGS) in Assessment and Remediation of Alpha Contamination". In ASME 2009 12th International Conference on Environmental Remediation and Radioactive Waste Management. ASMEDC, 2009. http://dx.doi.org/10.1115/icem2009-16023.
Testo completo"Programme". In 2020 ITU Kaleidoscope: Industry-Driven Digital Transformation (ITU K). IEEE, 2020. http://dx.doi.org/10.23919/ituk50268.2020.9303212.
Testo completoPorsani, M., e B. Ursin. "Signal Resolution Enhancement with a Non-Linear Phase Transformation". In 85th EAGE Annual Conference & Exhibition - Workshop Programme. European Association of Geoscientists & Engineers, 2024. http://dx.doi.org/10.3997/2214-4609.2024101219.
Testo completoGoodwin, Stephen, Alan Ford, Peter Griffiths, Kerry Moore-Cernoch e Paul Williams. "Advanced Collaborative Environments - The Growth of a Capability Transformation Programme". In SPE Intelligent Energy Conference and Exhibition. Society of Petroleum Engineers, 2010. http://dx.doi.org/10.2118/128650-ms.
Testo completoCasey, S., e J. Buckley. "Bord Gais networks transformation programme- evolving to an asset centric organisation". In IET and IAM Asset Management Conference 2011. IET, 2011. http://dx.doi.org/10.1049/cp.2011.0557.
Testo completoBahçe, Serdal, Altuğ Murat Köktas e Deniz Abukan. "Health Care Reform and Household Welfare: Health Transformation Programme in Turkey". In International Conference on Eurasian Economies. Eurasian Economists Association, 2013. http://dx.doi.org/10.36880/c04.00718.
Testo completoLi, C., Z. H. Zuo, J. Wang, Y. Ren e X. T. Yu. "A New Pre-Stack Direct Inversion Technique based on Zoeppritz Transformation Equations and Its Application". In 85th EAGE Annual Conference & Exhibition - Workshop Programme. European Association of Geoscientists & Engineers, 2024. http://dx.doi.org/10.3997/2214-4609.2024101022.
Testo completoMarinič, Peter, e Jan Válek. "TRANSFORMATION OF THE FRAMEWORK EDUCATION PROGRAMME TO THE SCHOOL EDUCATION PROGRAMME WITH THE FOCUS ON EDUCATION OF ECONOMIC SUBJECTS IN CZECH REPUBLIC". In 12th International Technology, Education and Development Conference. IATED, 2018. http://dx.doi.org/10.21125/inted.2018.1301.
Testo completoRapporti di organizzazioni sul tema "Transformation de programme (Informatique)"
Schrader, Ted, Geremew Terefe, Anteneh Mekuria, Florentine Dirks, Andualem Tadesse e Judith Jacobs. Agricultural sector transformation is teamwork : experiences of the Sesame Business Network support programme in Northwest Ethiopia. Wageningen: Wageningen Centre for Development Innovation, 2020. http://dx.doi.org/10.18174/536894.
Testo completoDinges, Michael, Christiane Kerlen, Peter Kaufmann, Anna Wang, Kathleen Toepel, Jakob Kofler, Stefan Meyer e Harald Wieser. Theories of change for transformation-oriented R&I polices: the case of the 7th Energy Research Programme in Germany. Fteval - Austrian Platform for Research and Technology Policy Evaluation, aprile 2022. http://dx.doi.org/10.22163/fteval.2022.542.
Testo completoClarke, Geraldine, Paris Pariza e Arne Wolters. The long-term impacts of New Care Models on hospital use: An evaluation of the Integrated Care Transformation Programme in Mid Nottinghamshire. The Health Foundation, settembre 2020. http://dx.doi.org/10.37829/hf-2020-da03.
Testo completoReeve, Sophie, Susanna Cartmell, Alice Mutimer e Olivia Frost. e-Dialogues Spark Debate on the Dynamics of Agricultural Commercialisation. APRA, Future Agricultures Consortium, aprile 2022. http://dx.doi.org/10.19088/apra.2022.029.
Testo completoKortantamer, Dicle. Leadership: Responding to complexity. Association for Project Management, maggio 2019. http://dx.doi.org/10.61175/yccv7570.
Testo completoGuerra, Flávia, Monique Menezes, Lucas Turmena, Alejandra Ramos-Galvez, Simone Sandholz, Michael Roll, Camila Alberti e Tátila Távora. TUC Urban Lab Profile: Alliance for the Residencial Edgar Gayoso, Teresina, Brazil. United Nations University - Institute for Environment and Human Security (UNU-EHS), marzo 2024. http://dx.doi.org/10.53324/vfoy6162.
Testo completoBunse, Simone, e Vongai Murugani. The World Food Programme’s Contribution to Improving The Prospects for Peace in Sri Lanka. Stockholm International Peace Research Institute, aprile 2023. http://dx.doi.org/10.55163/jkvi4195.
Testo completoPritchett, Lant, Kirsty Newman e Jason Silberstein. Focus to Flourish: Five Actions to Accelerate Progress in Learning. Research on Improving Systems of Education (RISE), dicembre 2022. http://dx.doi.org/10.35489/bsg-rise-misc_2022/07.
Testo completoKhoury, Fares. The Pivot Roadmap: From Dreams to Reality. A cura di Musheer O. Kamau, Sasha Baxter, Claudia Alcaraz-Irizarry e Alan Mentis. Inter-American Development Bank, luglio 2021. http://dx.doi.org/10.18235/0003408.
Testo completoElshabik, Mohamed, a cura di. Citizens’ Perceptions of Democratic Participation in Sudan. International Institute for Democracy and Electoral Assistance (International IDEA), aprile 2022. http://dx.doi.org/10.31752/idea.2022.12.
Testo completo