Auswahl der wissenschaftlichen Literatur zum Thema „Transformation de programme (Informatique)“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Transformation de programme (Informatique)" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Transformation de programme (Informatique)"
Btissam, Idrissi Loukli, und 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.
Der volle Inhalt der QuelleCREIS. „Proposition de programme « informatique et société numérique» pour l'option informatique au lycée“. Terminal, Nr. 110 (15.04.2012): 133–41. http://dx.doi.org/10.4000/terminal.1265.
Der volle Inhalt der QuelleRadulović, Lidija, und 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, Nr. 1 (31.03.2017): 19. http://dx.doi.org/10.21301/eap.v12i1.1.
Der volle Inhalt der QuelleGlessgen, 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.
Der volle Inhalt der QuelleGemme1, Brigitte. „Orientations, représentations et projets de femmes étudiant en informatique“. Note de recherche 15, Nr. 1 (23.04.2003): 113–34. http://dx.doi.org/10.7202/000773ar.
Der volle Inhalt der QuelleCourcelle, 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, Nr. 3 (Oktober 1990): 193–255. http://dx.doi.org/10.1016/0168-0072(90)90027-y.
Der volle Inhalt der QuelleFreyssinet, Éric. „Transformation numérique de la gendarmerie nationale“. Sécurité et stratégie 31, Nr. 3 (19.03.2024): 20–24. http://dx.doi.org/10.3917/sestr.031.0020.
Der volle Inhalt der QuelleVerkerk, Philippe, und 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, Nr. 1 (1996): 41–48. http://dx.doi.org/10.3406/medio.1996.1448.
Der volle Inhalt der QuelleBéroud, C., C. Antignac, C. Jeanpierre und C. Junien. „Un programme informatique pour la recherche d'amorces pour l'amplification par PCR“. médecine/sciences 6, Nr. 9 (1990): 901. http://dx.doi.org/10.4267/10608/4257.
Der volle Inhalt der QuelleTreuil, Jean-Pierre, Claude Lobry, Claude Millier, Jean-Pierre Müller und Dominique Hervé. „De l'équation mathématique au programme informatique, dialogue entre mathématiciens et informaticiens“. Natures Sciences Sociétés 15, Nr. 1 (Januar 2007): 33–43. http://dx.doi.org/10.1051/nss:2007021.
Der volle Inhalt der QuelleDissertationen zum Thema "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.
Der volle Inhalt der QuelleAlexandre, Francis. „Transformation de programmes logiques“. Nancy 1, 1991. http://www.theses.fr/1991NAN10429.
Der volle Inhalt der QuelleGrenier, 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.
Der volle Inhalt der QuelleDai, Min. „Transformation et optimisation des programmes pour le parallélisme d'instructions“. Versailles-St Quentin en Yvelines, 2000. http://www.theses.fr/2000VERS002V.
Der volle Inhalt der QuelleNous 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.
Der volle Inhalt der QuelleCohen, 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.
Der volle Inhalt der QuelleAmini, 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.
Der volle Inhalt der QuelleBalland, 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.
Der volle Inhalt der QuelleIoualalen, Arnault. „Transformation de programmes synchrones pour l’optimisation de la précision numérique“. Perpignan, 2012. http://www.theses.fr/2012PERP1108.
Der volle Inhalt der QuelleThe 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.
Der volle Inhalt der QuelleBücher zum Thema "Transformation de programme (Informatique)"
Reinhard, Wilhelm, Hack Sebastian und SpringerLink (Online service), Hrsg. Compiler Design: Analysis and Transformation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenOptimal interprocedural program optimization: A new framework and its application. Berlin: Springer, 1998.
Den vollen Inhalt der Quelle findenGovernment transformation programme: The roadmap. Putrajaya: Unit Pengurusan Prestasi dan Pelaksanaan, Jabatan Perdana Menteri, 2010.
Den vollen Inhalt der Quelle findenOffice, National Audit. HM Revenue & Customs' transformation programme: Report. London: Stationery Office, 2008.
Den vollen Inhalt der Quelle findenJanusz, Beksiak, Hrsg. The Polish transformation: Programme and progress. London: Centre for Research into Communist Economies, 1990.
Den vollen Inhalt der Quelle findenEconomic transformation programme: A roadmap for Malaysia. Putrajaya: Performance Management and Delivery Unit, Jabatan Perdana Menteri, 2010.
Den vollen Inhalt der Quelle findenSt-Amand, Léo. Mon nouveau programme d'introduction à la science de l'informatique Léo St-Amand. Montréal: Guérin, 1985.
Den vollen Inhalt der Quelle findenMenteri, Malaysia Jabatan Perdana. The roadmap 2.0: Catalysing transformation for a brighter future : government transformation programme. Kuala Lumpur]: Jabatan Perdana Menteri, 2013.
Den vollen Inhalt der Quelle findenRwanda. Direction générale de la politique économique., Hrsg. Le Modèle macro-économique UMUGANDA: Spécifications et programme informatique. 2. Aufl. Kigali: La Direction, 1987.
Den vollen Inhalt der Quelle findenMalaysian economy: Economic transformation programme : next economic experience. Kuala Lumpur]: Malaysian Institute of Economic Research, 2013.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Transformation de programme (Informatique)"
Goetz, Christophe, Aurélien Zang und 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.
Der volle Inhalt der QuelleGuilherme, Alexandre, und 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.
Der volle Inhalt der QuelleAltena, Sharon, und 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.
Der volle Inhalt der QuelleJessop, 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.
Der volle Inhalt der QuelleWang, 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.
Der volle Inhalt der QuelleSoń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.
Der volle Inhalt der QuelleAngeletti, 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.
Der volle Inhalt der QuelleLiu, Yu, Franz Gatzweiler, Philippa Howden-Chapman, Charlotte Marchandise, Zhang Shaohua, Yonette Thomas, Virginia Murray und 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.
Der volle Inhalt der QuelleWang, 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.
Der volle Inhalt der QuelleAmboala, Tamrin, Mohd Zulkifli Muhammad, Haneffa Muchlis Gazali, Esmadi Abu Seman, Mohd Rushdan Yasoa’ und 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.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Transformation de programme (Informatique)"
Wolff, Marion, Baptiste Leroy, Florence Peschaud und 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.
Der volle Inhalt der QuelleMollard, Régis, Alban Gibert und 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.
Der volle Inhalt der QuelleMcBarron, Martha, Jim Cassidy und 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.
Der volle Inhalt der Quelle„Programme“. In 2020 ITU Kaleidoscope: Industry-Driven Digital Transformation (ITU K). IEEE, 2020. http://dx.doi.org/10.23919/ituk50268.2020.9303212.
Der volle Inhalt der QuellePorsani, M., und 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.
Der volle Inhalt der QuelleGoodwin, Stephen, Alan Ford, Peter Griffiths, Kerry Moore-Cernoch und 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.
Der volle Inhalt der QuelleCasey, S., und 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.
Der volle Inhalt der QuelleBahçe, Serdal, Altuğ Murat Köktas und 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.
Der volle Inhalt der QuelleLi, C., Z. H. Zuo, J. Wang, Y. Ren und 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.
Der volle Inhalt der QuelleMarinič, Peter, und 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.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "Transformation de programme (Informatique)"
Schrader, Ted, Geremew Terefe, Anteneh Mekuria, Florentine Dirks, Andualem Tadesse und 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.
Der volle Inhalt der QuelleDinges, Michael, Christiane Kerlen, Peter Kaufmann, Anna Wang, Kathleen Toepel, Jakob Kofler, Stefan Meyer und 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, April 2022. http://dx.doi.org/10.22163/fteval.2022.542.
Der volle Inhalt der QuelleClarke, Geraldine, Paris Pariza und 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, September 2020. http://dx.doi.org/10.37829/hf-2020-da03.
Der volle Inhalt der QuelleReeve, Sophie, Susanna Cartmell, Alice Mutimer und Olivia Frost. e-Dialogues Spark Debate on the Dynamics of Agricultural Commercialisation. APRA, Future Agricultures Consortium, April 2022. http://dx.doi.org/10.19088/apra.2022.029.
Der volle Inhalt der QuelleKortantamer, Dicle. Leadership: Responding to complexity. Association for Project Management, Mai 2019. http://dx.doi.org/10.61175/yccv7570.
Der volle Inhalt der QuelleGuerra, Flávia, Monique Menezes, Lucas Turmena, Alejandra Ramos-Galvez, Simone Sandholz, Michael Roll, Camila Alberti und 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), März 2024. http://dx.doi.org/10.53324/vfoy6162.
Der volle Inhalt der QuelleBunse, Simone, und Vongai Murugani. The World Food Programme’s Contribution to Improving The Prospects for Peace in Sri Lanka. Stockholm International Peace Research Institute, April 2023. http://dx.doi.org/10.55163/jkvi4195.
Der volle Inhalt der QuellePritchett, Lant, Kirsty Newman und Jason Silberstein. Focus to Flourish: Five Actions to Accelerate Progress in Learning. Research on Improving Systems of Education (RISE), Dezember 2022. http://dx.doi.org/10.35489/bsg-rise-misc_2022/07.
Der volle Inhalt der QuelleKhoury, Fares. The Pivot Roadmap: From Dreams to Reality. Herausgegeben von Musheer O. Kamau, Sasha Baxter, Claudia Alcaraz-Irizarry und Alan Mentis. Inter-American Development Bank, Juli 2021. http://dx.doi.org/10.18235/0003408.
Der volle Inhalt der QuelleElshabik, Mohamed, Hrsg. Citizens’ Perceptions of Democratic Participation in Sudan. International Institute for Democracy and Electoral Assistance (International IDEA), April 2022. http://dx.doi.org/10.31752/idea.2022.12.
Der volle Inhalt der Quelle