Bibliographies thématiques / Transformation de programme (Informatique)

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Transformation de programme (Informatique) »

Auteur : Grafiati

Publié le 25 juillet 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Transformation de programme (Informatique) ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Transformation de programme (Informatique)"

Btissam, Idrissi Loukli, et 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.

Texte intégral

Résumé :

L’évolution technologique et la réalité virtuelle mènent à une transformation fondamentale des modes d’enseignement. Les enseignants d’aujourd’hui ne sont pas ceux de demain. Conscient de l’importance d’innovation technologique et numérique dans l’enseignement ; L’éducation au Maroc a connu des changements radicaux en manière et méthodes d’enseignement grâce aux différents reformes structurelles. L’une des principales réformes a été le lancement du Programme de modernisation de l’enseignement (PME) en 2022, qui ambitionne à rénover la manière de l’enseignement primaire et à encourager les élèves à participer à des activités créatives et à des projets liés à l’éducation. Cet article examine un état des lieux de la manière d’insertion des TICE chez les enseignants primaires du secteur publique. Plus spécifiquement, il vise à mieux présenter les liens entre la formation initiale en matière des TICE ; les équipements informatiques et leur utilisation par les enquêtés.

Styles APA, Harvard, Vancouver, ISO, etc.

CREIS. « Proposition de programme « informatique et société numérique» pour l'option informatique au lycée ». Terminal, n^o 110 (15 avril 2012) : 133–41. http://dx.doi.org/10.4000/terminal.1265.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Radulović, Lidija, et 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^o 1 (31 mars 2017) : 19. http://dx.doi.org/10.21301/eap.v12i1.1.

Texte intégral

Résumé :

The reality show "Big Brother" represents a metaphor for the transformation of contemporary media toward its commercialization and the primate which is given to entertainment as opposed to classic informative and educational content, which, in Serbia, takes place in the context of post-socialist transformation. The hyper commercialized character of "Big Brother" is the product of a new guiding idea in the media sphere, which is to measure success only on the criteria of ratings. In all versions of "Big Brother" (the "ordinary" as well as VIP), the framework of the reality show is made up of two elements: the phenomenon of surveillance and the commercial principle of the programme. In this paper we wanted to take these two themes - surveillance and commercialization - and connect them through the concepts of the "panopticon"/"synopticon" and "ratings". In the analysis and discussion we will show that the newfangled criteria of "ratings" is directly dependent on the situation in which the viewers of the reality format find themselves, situations in which "many view and decide on the fate of the few". We will analyze the ways in which the very production of the reality show is geared toward influencing the ratings, through interventions and the direction done by the production team, but also the reception of the show in specialized forums. In the second case, a netography of the reception of VIP BB 2013 was undertaken, taking into account the discussions in the forum and the monitoring of YouTube videos. Based on this, we singled out the most viewed moments in the reality show, and considered the reasons why certain events and/or actors who participated in them garnered special attention among viewers, thus increasing the ratings of the show, but also multiplicating the commercial effect through the participation of viewers through different media platforms (websites, forums, online votes etc.)

Styles APA, Harvard, Vancouver, ISO, etc.

Glessgen, 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Gemme1, Brigitte. « Orientations, représentations et projets de femmes étudiant en informatique ». Note de recherche 15, n^o 1 (23 avril 2003) : 113–34. http://dx.doi.org/10.7202/000773ar.

Texte intégral

Résumé :

Résumé L’expérience de la première année d’études au programme de diplôme d’études collégiales en informatique de huit femmes a été observée par le biais d’entrevues semi-directives et d’un suivi individuel. Les parcours de ces étudiantes, caractérisés parfois par la persévérance mais surtout par des réorientations et des abandons scolaires, sont présentés à la lumière des motifs de leur choix de programme, de leurs représentations de l’informatique et de leurs projets scolaires, professionnels et personnels. L’analyse descriptive révèle le fort désir de mobilité socioéconomique de ces femmes et l’importance perçue des perspectives d’emploi en informatique dans la décision d’orientation. Des avenues de recherche et d’action sont ébauchées.

Styles APA, Harvard, Vancouver, ISO, etc.

Courcelle, 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^o 3 (octobre 1990) : 193–255. http://dx.doi.org/10.1016/0168-0072(90)90027-y.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Freyssinet, Éric. « Transformation numérique de la gendarmerie nationale ». Sécurité et stratégie 31, n^o 3 (19 mars 2024) : 20–24. http://dx.doi.org/10.3917/sestr.031.0020.

Texte intégral

Résumé :

Le colonel Éric Freyssinet est chef de la Mission numérique de la gendarmerie nationale depuis le 1 er mai 2017, dans la continuité de 19 ans de carrière dans le domaine de la lutte contre la cybercriminalité à des postes techniques, stratégiques et opérationnels. Il a notamment exercé comme chef du département informatique-électronique de l’Institut de recherche criminelle de la gendarmerie nationale, chargé de projets cybercriminalité à la sous-direction de la police judiciaire de la gendarmerie nationale ou encore chef du Centre de lutte contre les criminalités numériques. Plus récemment il fut conseiller au sein de la Délégation chargé de la lutte contre les cybermenaces au ministère de l’Intérieur. Après une formation initiale d’ingénieur généraliste (Ecole Polytechnique, X92), le colonel Freyssinet s’est spécialisé dans la sécurité des systèmes d’information (Mastère spécialisé SSIR Télécom Paristech 99-2000) et a pour-suivi dans une démarche par la recherche en défendant une thèse de doctorat en informatique en 2015 (Université Pierre et Marie Curie), sur le sujet de la lutte contre les botnets .

Styles APA, Harvard, Vancouver, ISO, etc.

Verkerk, Philippe, et 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^o 1 (1996) : 41–48. http://dx.doi.org/10.3406/medio.1996.1448.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Béroud, C., C. Antignac, C. Jeanpierre et C. Junien. « Un programme informatique pour la recherche d'amorces pour l'amplification par PCR ». médecine/sciences 6, n^o 9 (1990) : 901. http://dx.doi.org/10.4267/10608/4257.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Treuil, Jean-Pierre, Claude Lobry, Claude Millier, Jean-Pierre Müller et Dominique Hervé. « De l'équation mathématique au programme informatique, dialogue entre mathématiciens et informaticiens ». Natures Sciences Sociétés 15, n^o 1 (janvier 2007) : 33–43. http://dx.doi.org/10.1051/nss:2007021.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "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.

Texte intégral

Résumé :

Le paradigme du code mobile implique la distribution des applications par les producteurs de code à environnements hétérogènes dans lesquels elles sont exécutées. Une pratique étendue de ce paradigme est constituée par le développement d'applications telles que les applets ou les scripts Web, transferés à travers un réseau non sécurisé comme Internet à des systèmes distants, par exemple un ordinateur, un téléphone mobile ou un PDA (Assistant personnel). Naturellement, cet environnement peux ouvrir la porte au déploiement de programmes malveillants dans des plateformes distantes. Dans certains cas, la mauvaise conduite du code mobile ne constitue pas un risque grave, par exemple lorsque l'intégrité des données affectées par l'exécution n'est pas critique ou lorsque l'architecture d'exécution impose de fortes contraintes sur les capacités d'exécution du code non sécurisé. Il y a toujours, toutefois, des situations dans lesquelles il est indispensable de vérifier la correction fonctionnelle du code avant son exécution, par exemple lorsque la confidentialité de données critiques comme l'information des cartes de crédit pourrait être en danger, ou lorsque l'environnement d'exécution ne possède pas un mécanisme spécial pour surveiller la consommation excessive des ressources. George Necula a proposé une technique pour apporter de la confiance aux consommateurs sur la correction du code sans faire confiance aux producteurs. Cette technique, Proof Carrying Code (PCC), consiste à déploier le code avec une preuve formelle de sa correction. La correction est une propriété inhérente du code reçuu qui ne peut pas être directement déduite du producteur du code. Naturellement, cela donne un avantage à PCC quant-aux méthodes basées sur la confiance à l'autorité d'un tiers. En effet, une signature d'une autorité ne suffit pas à fournir une confiance absolue sur l'exécution du code reçu. Depuis les origines du PCC, le type de mécanisme utilisé pour générer des certificats repose sur des analyses statiques qui font partie du compilateur. Par conséquent, en restant automatique, il est intrinsèquement limité à des propriétés très simples. L'augmentation de l'ensemble des propriétés à considerer est difficile et, dans la plupart des cas, cela exige l'interaction humaine. Une possibilité consiste à vérifier directement le code exécutable. Toutefois, l'absence de structure rend la vérification du code de bas niveau moins naturelle, et donc plus laborieuse. Ceci, combiné avec le fait que la plupart des outils de vérification ciblent le code de haut niveau, rend plus appropriée l'idée de transferer la production de certificats au niveau du code source. Le principal inconvénient de produire des certificats pour assurer l'exactitude du code source est que les preuves ne comportent pas la correction du code compilé. Plusieurs techniques peuvent etre proposées pour transférer la preuve de correction d'un programme à sa version exécutable. Cela implique, par exemple, de déployer le programme source et ses certificats originaux (en plus du code exécutable) et de certifier la correction du processus de compilation. Toutefois, cette approche n'est pas satisfaisante, car en plus d'exiger la disponibilité du code source, la longueur du certificat garantissant la correction du compilation peut être prohibitive. Une alternative plus viable consiste à proposer un mécanisme permettant de générer des certificats de code compilé à partir des certificats du programme source. Les compilateurs sont des procédures complexes composées de plusieurs étapes, parmi lesquelles le programme original est progressivement transformé en représentations intermédiaires. Barthe et al. et Pavlova ont montré que les certificats originaux sont conservés, à quelques différences près non significatives, par la première phase de compilation: la compilation non optimale du code source vers une représentation non structurée de niveau intermédiaire. Toutefois, les optimisations des compilateurs sur les représentations intermédiaires représentent un défi, car a priori les certificats ne peuvent pas être réutilisés. Dans cette thèse, nous analysons comment les optimisations affectent la validité des certificats et nous proposons un mécanisme, Certificate Translation, qui rend possible la génération des certificats pour le code mobile exécutable à partir des certificats au niveau du code source. Cela implique transformer les certificats pour surmonter les effets des optimisations de programme.

Styles APA, Harvard, Vancouver, ISO, etc.

Alexandre, Francis. « Transformation de programmes logiques ». Nancy 1, 1991. http://www.theses.fr/1991NAN10429.

Texte intégral

Résumé :

La transformation de programmes est reconnue comme un moyen puissant de construire des programmes corrects et efficaces. La démarche générale consiste à appliquer pas à pas des transformations en vue d'obtenir un programme plus efficace. Dans ce cadre, le point de départ est une spécification écrite en clauses de horn (programme défini), les transformations de base sont le dépliage, le pliage et l'introduction de nouveaux prédicats. Les compositions des transformations de base sont appelées des tactiques. L'invention de tactiques produisant des programmes plus efficaces est étudiée. Ces tactiques sont basées sur une analyse statique des programmes, on considère des schémas de programmes. Les tactiques présentées font appel à la généralisation et peuvent être automatisées. Une transformation de programme défini en système de réécriture est définie. Les programmes transformes sont caractérises par des modes entrée-sortie. La correction de la transformation est prouvée. L'approche de ce travail est aussi expérimentale puisqu'un système de transformation appelé SPES a été développé

Styles APA, Harvard, Vancouver, ISO, etc.

Grenier, 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.

Texte intégral

Résumé :

Dans le domaine de la Défense, les contrats export s'accompagnent souvent de transferts de technologie. Un compromis est donc nécessaire entre la protection de la propriété industrielle, celle du secret national et les demandes client. Nous étudierons dans ce contexte et au sein de DCNS les transformations de sécurisation de programme, principalement l'obfuscation et le watermarking. Nous présenterons ces transformations et les principaux résultats théoriques qui les concernent, ainsi que leur adéquation au besoin de sécurité. Nous étudierons la formalisation et la mise en oeuvre des principales techniques connues de transformations. Celles-ci ont pour objectif de rendre diffcile la rétro-ingénierie tout en préservant les fonctionnalités et les performances des systèmes. Nous aborderons les grandes familles existantes et leur implémentation à travers le bytecode Java. Ensuite, nous étudierons l'intégration de ces techniques dans le cycle de développement d'un logiciel complexe. Un premier focus sera effectué sur la mise en oeuvre de certaines techniques de transformation où leurs limites seront exhibées et des pistes d'amélioration proposées. Nous présenterons l'outillage réalisé pour cette analyse et les perspectives d'utilisation envisagées. Enfin, nous présenterons les mécanismes déployés en amont de la transformation permettant d'intégrer au plus tôt la gestion des contraintes et en aval pour vérifier que les techniques utilisées sont conformes à celles demandées afin de renforcer la confiance dans les transformations effectuées.

Styles APA, Harvard, Vancouver, ISO, etc.

Dai, Min. « Transformation et optimisation des programmes pour le parallélisme d'instructions ». Versailles-St Quentin en Yvelines, 2000. http://www.theses.fr/2000VERS002V.

Texte intégral

Résumé :

Nous commencerons d'abord par l'introduction des techniques de transformation et d'optimisation a haut niveau au chapitre 2. La présentation des architectures auxquelles nous nous intéressons, les processeurs super scalaires et vliw, est présentée dans le chapitre 3. Après avoir aborde les principales machines, nous présentons la méthode de la simulation des unités fonctionnelles qui est voisine des tables de réservation réduites. Dans le quatrième chapitre, nous introduisons les techniques existantes d'extraction de dépendances de données pour qu'elles puissent être utilisées dans les phases de transformation et d'optimisation. Le chapitre suivant résumera les différentes méthodes de la transformation de code source. Nous avons utilisé sage++ comme base de travail pour réaliser 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 détaillera les techniques d'élimination de code redondant en intégrant le pipeline logiciel afin de minimiser les opérations de chargement et déchargement dans la boucle pipelinée. Dans le chapitre 7, nous donnons les résultats expérimentaux des performances qui intègrent différentes transformations et les méthodes d'optimisation que nous avons développées. .
Nous 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

Styles APA, Harvard, Vancouver, ISO, etc.

Neron, Pierre. « Transformation de Programmes pour des Nombres Réels Fiables ». Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00960808.

Texte intégral

Résumé :

Cette thèse présente un algorithme qui élimine les racines carrées et les divisions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations permet d'éviter les erreurs d'arrondis à l'exécution, ces erreurs d'arrondis pouvant entraîner un comportement complètement inattendu de la part du programme. Cette trans- formation respecte les contraintes du code embarqué, en particulier la nécessité pour le programme produit de s'exécuter en mémoire fixe. Cette transformation utilise deux algorithmes fondamentaux développés dans cette thèse. Le premier permet d'éliminer les racines carrées et les divisions des expressions booléennes contenant des comparaisons d'expressions arithmétiques. Le second est un algorithme qui résout un problème d'anti-unification particulier, que nous appelons anti-unification contrainte. Cette transformation de programme est définie et prouvée dans l'assistant de preuves PVS. Elle est aussi implantée comme une stratégie de ce système. L'anti-unification contrainte est aussi utilisée pour étendre la transformation à des programmes contenant des fonctions. Elle permet ainsi d'éliminer les racines carrées et les divisions de spécifications écrites en PVS. La robustesse de cette méthode est mise en valeur par un exemple conséquent: l'élimination des racines carrées et des divisions dans un programme de détection des conflits aériens.

Styles APA, Harvard, Vancouver, ISO, etc.

Cohen, 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.

Texte intégral

Résumé :

Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au coeur de la détection du parallélisme, elles rassemblent des informations à la compilation sur les propriétés des programmes à l'exécution. Ces informations valident des transformations utiles pour l'extraction du parallélisme et la génération de code parallèle. Cette thèse aborde principalement des analyses et des transformations avec une vision par instances, c'est-à-dire considérant les propriétés individuelles de chaque instance d'une instruction à l'exécution. Une nouvelle formalisation à l'aide de langages formels nous permet tout d'abord d'étudier une analyse de dépendances et de définitions visibles par instances pour programmes récursifs. L'application de cette analyse à l'expansion et la parallélisation de programmes récursifs dévoile des résultats encourageants. Les nids de boucles quelconques font l'objet de la deuxième partie de ce travail. Une nouvelle étude des techniques de parallélisation fondées sur l'expansion nous permet de proposer des solutions à des problèmes d'optimisation cruciaux.

Styles APA, Harvard, Vancouver, ISO, etc.

Amini, 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.

Texte intégral

Résumé :

Depuis le début des années 2000, la performance brute des cœurs des processeurs a cessé son augmentation exponentielle. Les circuits graphiques (GPUs) modernes ont été conçus comme des circuits composés d'une véritable grille de plusieurs centaines voir milliers d'unités de calcul. Leur capacité de calcul les a amenés à être rapidement détournés de leur fonction première d'affichage pour être exploités comme accélérateurs de calculs généralistes. Toutefois programmer un GPU efficacement en dehors du rendu de scènes 3D reste un défi.La jungle qui règne dans l'écosystème du matériel se reflète dans le monde du logiciel, avec de plus en plus de modèles de programmation, langages, ou API, sans laisser émerger de solution universelle.Cette thèse propose une solution de compilation pour répondre partiellement aux trois "P" propriétés : Performance, Portabilité, et Programmabilité. Le but est de transformer automatiquement un programme séquentiel en un programme équivalent accéléré à l'aide d'un GPU. Un prototype, Par4All, est implémenté et validé par de nombreuses expériences. La programmabilité et la portabilité sont assurées par définition, et si la performance n'est pas toujours au niveau de ce qu'obtiendrait un développeur expert, elle reste excellente sur une large gamme de noyaux et d'applications.Une étude des architectures des GPUs et les tendances dans la conception des langages et cadres de programmation est présentée. Le placement des données entre l'hôte et l'accélérateur est réalisé sans impliquer le développeur. Un algorithme d'optimisation des communications est proposé pour envoyer les données sur le GPU dès que possible et les y conserver aussi longtemps qu'elle ne sont pas requises sur l'hôte. Des techniques de transformations de boucles pour la génération de code noyau sont utilisées, et même certaines connues et éprouvées doivent être adaptées aux contraintes posées par les GPUs. Elles sont assemblées de manière cohérente, et ordonnancées dans le flot d'un compilateur interprocédural. Des travaux préliminaires sont présentés au sujet de l'extension de l'approche pour cibler de multiples GPUs.

Styles APA, Harvard, Vancouver, ISO, etc.

Balland, Emilie Kirchner Claude Moreau Pierre-Etienne. « Conception d'un langage dédié à 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ioualalen, Arnault. « Transformation de programmes synchrones pour l’optimisation de la précision numérique ». Perpignan, 2012. http://www.theses.fr/2012PERP1108.

Texte intégral

Résumé :

La certification de programmes embarqués dans des systèmes critiques est, aujourd'hui encore, un enjeu majeur pour l'industrie et un défi pour la recherche. En outre, la précision numérique de programmes utilisant l'arithmétique des nombres à virgule flottante a fait l'objet de nombreux travaux et outils. À ce jour, il est possible de déterminer statiquement des sur-approximations fiables des erreurs d'arrondi pouvant apparaître lors des exécutions possibles d'un programme. Néanmoins, ces techniques n'indiquent pas comment corriger ou réduire ces erreurs. Ce travail de thèse présente une méthode automatique de transformation de programmes synchrones permettant de réduire la part des erreurs d'arrondi générées durant leurs exécutions. Pour cela nous utilisons une nouvelle représentation intermédiaire de programmes, appelée APEG, qui constitue une sous-approximation de l'ensemble des programmes mathématiquement équivalents à celui que l'on souhaite optimiser. Cette représentation permet de synthétiser, en temps polynomial, une version plus précise numériquement d'un programme, tout en lui étant mathématiquement équivalent. De plus, nous présentons de nombreux résultats expérimentaux obtenus à l'aide de l'outil que nous avons développé, Sardana, et qui implante toutes les contributions de ce travail
The 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

Styles APA, Harvard, Vancouver, ISO, etc.

Jouvelot, Pierre. « Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels ». Paris 6, 1986. http://www.theses.fr/1986PA066559.

Texte intégral

Résumé :

Notre principe consiste a voir les transformations de programmes introduites par la parllelisation comme definissant des semantiques denotationnelles non-standards du langage de programmation. Nous montrons comment utiliser ce concept pour detecter, dans un langage imperatif simplifie all, des instructions complexes parallelisables, reconnaitre des reductions et prendre en compte certains programmes avec indirections

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "Transformation de programme (Informatique)"

Reinhard, Wilhelm, Hack Sebastian et SpringerLink (Online service), dir. Compiler Design : Analysis and Transformation. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Optimal interprocedural program optimization : A new framework and its application. Berlin : Springer, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Government transformation programme : The roadmap. Putrajaya : Unit Pengurusan Prestasi dan Pelaksanaan, Jabatan Perdana Menteri, 2010.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Office, National Audit. HM Revenue & Customs' transformation programme : Report. London : Stationery Office, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Janusz, Beksiak, dir. The Polish transformation : Programme and progress. London : Centre for Research into Communist Economies, 1990.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Economic transformation programme : A roadmap for Malaysia. Putrajaya : Performance Management and Delivery Unit, Jabatan Perdana Menteri, 2010.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

St-Amand, Léo. Mon nouveau programme d'introduction à la science de l'informatique Léo St-Amand. Montréal : Guérin, 1985.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Menteri, Malaysia Jabatan Perdana. The roadmap 2.0 : Catalysing transformation for a brighter future : government transformation programme. Kuala Lumpur] : Jabatan Perdana Menteri, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rwanda. Direction générale de la politique économique., dir. Le Modèle macro-économique UMUGANDA : Spécifications et programme informatique. 2^e éd. Kigali : La Direction, 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Malaysian economy : Economic transformation programme : next economic experience. Kuala Lumpur] : Malaysian Institute of Economic Research, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Transformation de programme (Informatique)"

Goetz, Christophe, Aurélien Zang et 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 ». Dans Informatique et Santé, 189–99. Paris : Springer Paris, 2011. http://dx.doi.org/10.1007/978-2-8178-0285-5_17.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Guilherme, Alexandre, et Fernanda Felix de Oliveira. « Programme ‘Future-se’ ». Dans Transformation of the University, 139–55. London : Routledge, 2022. http://dx.doi.org/10.4324/9781003102922-13.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Altena, Sharon, et Karen Theobald. « Leading successful programme transformation ». Dans Supporting Course and Programme Leaders in Higher Education, 188–90. London : Routledge, 2022. http://dx.doi.org/10.4324/9781003127413-36.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Jessop, Tansy. « Inspiring Transformation Through TESTA’s Programme Approach ». Dans The Enabling Power of Assessment, 49–64. Singapore : Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-10-3045-1_4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Wang, Lin. « The Guangcai Programme and Transformation of Poverty-Alleviation Model ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sońta-Drączkowska, Ewa. « Brexit as a National Transformation Programme : Project Management Perspective ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Angeletti, G. « Research on Atmospheric Composition within the EC Environment Programme of FP5 ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Liu, Yu, Franz Gatzweiler, Philippa Howden-Chapman, Charlotte Marchandise, Zhang Shaohua, Yonette Thomas, Virginia Murray et Wang Lan. « Post-pandemic Recovery and Transformation : Resilient Cities, Healthy Planet “Will Healthy and Anti-Fragile Cities Emerge from the Crisis?” ». Dans Urban Health and Wellbeing Programme, 37–44. Singapore : Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-2523-8_6.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Wang, Lin. « The Guangcai Programme and the Transformation of China’s Poverty Alleviation ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Amboala, Tamrin, Mohd Zulkifli Muhammad, Haneffa Muchlis Gazali, Esmadi Abu Seman, Mohd Rushdan Yasoa’ et Soffri Yussof. « Technology Entrepreneurship and Commercialisation of Computing Artefacts in University Incubator Programme ». Dans 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Transformation de programme (Informatique)"

Wolff, Marion, Baptiste Leroy, Florence Peschaud et Regis Mollard. « Transformation du travail et accompagnement ergonomique ». Dans the Ergonomie et Informatique Avancee Conference. New York, New York, USA : ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868683.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Mollard, Régis, Alban Gibert et Marion Wolff. « Transformation du travail et prévention des risques ». Dans the Ergonomie et Informatique Avancee Conference. New York, New York, USA : ACM Press, 2010. http://dx.doi.org/10.1145/1868650.1868682.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

McBarron, Martha, Jim Cassidy et Louise Hutton. « Benefits of Low Resolution Gamma Spectroscopy (LRGS) in Assessment and Remediation of Alpha Contamination ». Dans ASME 2009 12th International Conference on Environmental Remediation and Radioactive Waste Management. ASMEDC, 2009. http://dx.doi.org/10.1115/icem2009-16023.

Texte intégral

Résumé :

The legacy of alpha contamination in an exterior disused storage area at the Low Level Waste Repository (LLWR) presented difficult challenges with regard to assessment and remediation. The area was heavily overgrown, with degraded remnant surfaces and debris from past demolition activities. The use of conventional field instruments and/or an extensive intrusive sampling programme were precluded as being impractical, the latter prohibitively costly and not expeditious. This paper describes the identification of a cost-effective alternative for the initial site assessment and the role of LRGS in the subsequent remediation work. It includes: 1 identification and selection of a field instrumentation/system for investigating the site. 2 details of the TERRIER™ system, incorporating the SAM935 Low Resolution Gamma Spectrometer (LRGS) with the capability of real time identification of nuclides. 3 use of the TERRIER™ for a non-intrusive survey of the site, with rapid transformation of field data into informative plots useful for remediation planning. 4 use of the TERRIER™ during remediation work, including assay of arisings. 5 benefits and limitations of using LRGS to support remediation of alpha contamination. 6 application of the instrumentation/system to other radiological investigations.

Styles APA, Harvard, Vancouver, ISO, etc.

« Programme ». Dans 2020 ITU Kaleidoscope : Industry-Driven Digital Transformation (ITU K). IEEE, 2020. http://dx.doi.org/10.23919/ituk50268.2020.9303212.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Porsani, M., et B. Ursin. « Signal Resolution Enhancement with a Non-Linear Phase Transformation ». Dans 85th EAGE Annual Conference & Exhibition - Workshop Programme. European Association of Geoscientists & Engineers, 2024. http://dx.doi.org/10.3997/2214-4609.2024101219.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Goodwin, Stephen, Alan Ford, Peter Griffiths, Kerry Moore-Cernoch et Paul Williams. « Advanced Collaborative Environments - The Growth of a Capability Transformation Programme ». Dans SPE Intelligent Energy Conference and Exhibition. Society of Petroleum Engineers, 2010. http://dx.doi.org/10.2118/128650-ms.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Casey, S., et J. Buckley. « Bord Gais networks transformation programme- evolving to an asset centric organisation ». Dans IET and IAM Asset Management Conference 2011. IET, 2011. http://dx.doi.org/10.1049/cp.2011.0557.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Bahçe, Serdal, Altuğ Murat Köktas et Deniz Abukan. « Health Care Reform and Household Welfare : Health Transformation Programme in Turkey ». Dans International Conference on Eurasian Economies. Eurasian Economists Association, 2013. http://dx.doi.org/10.36880/c04.00718.

Texte intégral

Résumé :

We assessed the health care reform and its effects on household’s welfare such as access to health care and household economic burden. We used descriptive analysis on 2002-2011 Ministry of Health and OECD Health Statistics. The main result is about using health care. Access to health care increased after health care reform in Turkey. Number of applications to health care service server and its units rose. On the other hand, financial burden of health care on household’s budget decreased number of applications. The main result percentage of not consulting a specialist even needed to consult a specialist but did not during the past 12 months is %4.9 in 2003 and %19.9 in 2010. To improve health care access, policy makers should improve public sector provision of health care, increase social security benefit packages and protect poor and vulnerable.

Styles APA, Harvard, Vancouver, ISO, etc.

Li, C., Z. H. Zuo, J. Wang, Y. Ren et X. T. Yu. « A New Pre-Stack Direct Inversion Technique based on Zoeppritz Transformation Equations and Its Application ». Dans 85th EAGE Annual Conference & Exhibition - Workshop Programme. European Association of Geoscientists & Engineers, 2024. http://dx.doi.org/10.3997/2214-4609.2024101022.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Marinič, Peter, et 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 ». Dans 12th International Technology, Education and Development Conference. IATED, 2018. http://dx.doi.org/10.21125/inted.2018.1301.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Transformation de programme (Informatique)"

Schrader, Ted, Geremew Terefe, Anteneh Mekuria, Florentine Dirks, Andualem Tadesse et 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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Dinges, Michael, Christiane Kerlen, Peter Kaufmann, Anna Wang, Kathleen Toepel, Jakob Kofler, Stefan Meyer et 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, avril 2022. http://dx.doi.org/10.22163/fteval.2022.542.

Texte intégral

Résumé :

This article investigates how Theories of Change for transformation-oriented R&I programmes can be designed to better grasp system transformation processes and thereby set the basis for a deeper understanding of transformative impact mechanisms and programme learning. The analysis is based within the realm of the energy system, which is an area of specific concern for socio-technical transformation. It focuses on the “7th Energy Research Programme” (EFP) of the German Federal Ministry of Economic Affairs and Climate Action, which is the key R&I policy instrument contributing to the transformation of the energy system in Germany. The article shows how a programme theory approach can be combined with multi-level perspective innovation system thinking and the concept of transformative outcomes to increase the evaluability of complex, transformation-oriented R&I programmes.

Styles APA, Harvard, Vancouver, ISO, etc.

Clarke, Geraldine, Paris Pariza et 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, septembre 2020. http://dx.doi.org/10.37829/hf-2020-da03.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Reeve, Sophie, Susanna Cartmell, Alice Mutimer et Olivia Frost. e-Dialogues Spark Debate on the Dynamics of Agricultural Commercialisation. APRA, Future Agricultures Consortium, avril 2022. http://dx.doi.org/10.19088/apra.2022.029.

Texte intégral

Résumé :

In early 2022, the Agricultural Policy Research in Africa (APRA) Programme of the Future Agricultures Consortium (FAC), in partnership with the United Nations Sustainable Development Solutions Network and Foresight4Food, held an e-Dialogue series: Towards an Equitable and Sustainable Transformation of Food Systems. This followed an earlier, highly successful series organised with the same partners in the second half of 2020 on What Future for Small-Scale Farming? The latest series included three online Zoom sessions led by APRA over January-March 2022 on topics including COVID-19 and its effects on local food systems and rural livelihoods, and transition pathways and strategies for supporting more equitable and resilient food systems in Africa. These virtual events were designed to replace an international conference that was part of APRA’s original end-of-programme plan, before the COVID-19 crisis prevented large, physical gatherings. The three e-Dialogues brought together APRA researchers and expert commentators from across sub-Saharan Africa, as well as a wider audience. The objective of these dialogues was to examine evidence and lessons from APRA’s six-year collaborative research programme (2016-22) analysing the dynamics of agricultural commercialisation processes, agrarian change and rural transformation in the region. This report looks at their impact, what worked well, and what could have been improved.

Styles APA, Harvard, Vancouver, ISO, etc.

Kortantamer, Dicle. Leadership : Responding to complexity. Association for Project Management, mai 2019. http://dx.doi.org/10.61175/yccv7570.

Texte intégral

Résumé :

The aim of this case study is to provide a systemic leadership framework for responding to complexity that can support the continued capability development in the transformation portfolios of government. This case study is part of Project X, a broader research programme seeking to generate insights into major government projects and programmes. This qualitative case study has sought to generate insights from project delivery professionals with significant experience in the delivery of the government’s transformation and service delivery portfolios. This research views leadership as an activity, rather than focusing on the competencies or styles of individuals holding leadership positions. This view, based on what the academic literature refers to as leadership-as-practice approaches, accommodates the contributions of the individuals appointed to formal leadership roles while confronting broader, systemic aspects of leadership such as alternative sources of leadership.

Styles APA, Harvard, Vancouver, ISO, etc.

Guerra, Flávia, Monique Menezes, Lucas Turmena, Alejandra Ramos-Galvez, Simone Sandholz, Michael Roll, Camila Alberti et 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), mars 2024. http://dx.doi.org/10.53324/vfoy6162.

Texte intégral

Résumé :

After almost two years in operation, the challenges and key achievements of the TUC Urban Lab established in Residencial Edgar Gayoso in Teresina, Brazil, provide valuable lessons for sustaining ongoing activities, accelerating broader transformations and guiding similar efforts elsewhere: 1. ASSEMBLING A TRANSFORMATIVE COALITION FOR PARTICIPATORY GOVERNANCE: The UL approach has been instrumental in overcoming challenges associated with the MCMV programme in Residencial Edgar Gayoso, fostering community empowerment and sustainable local transformation. Establishing commitment within new local networks requires fundamental steps such as building trust, defining tangible goals, decentralizing decision-making, making individuals accountable and ensuring accessible meeting formats. 2. BUILDING CONNECTIONS AND RAISING AWARENESS FOR CLIMATE ACTION: The development of mutual trust and awareness of climate change within the Alliance for the Residencial Edgar Gayoso is a precondition for tailoring climate discussions to the local context and emphasizing practical connections between pressing local needs and climate action. Promoting stronger engagement and collaboration is pivotal for achieving transformative changes across practical, political and personal spheres. 3. LEVERAGING OPPORTUNITIES TO BROADEN THE IMPACT OF THE UL: Triggering systemic transformation requires a shift from individual-centric participation to broader institutional involvement within the Alliance for the Residencial Edgar Gayoso. Moreover, institutionalization through diverse organizational strategies coupled with strategic partnerships is essential.

Styles APA, Harvard, Vancouver, ISO, etc.

Bunse, Simone, et Vongai Murugani. The World Food Programme’s Contribution to Improving The Prospects for Peace in Sri Lanka. Stockholm International Peace Research Institute, avril 2023. http://dx.doi.org/10.55163/jkvi4195.

Texte intégral

Résumé :

The World Food Programme (WFP) has supported food security and nutrition in Sri Lanka since 1968. Based on research conducted in the Monaragala district in the south, and the Mullaitivu district in the north, on gender dynamics and community resilience, this report aims to identify the ways in which selected WFP projects impact the prospects for peace. The study analyzes the linkages between gender and social cohesion of two WFP resilience-building projects. Its results show that WFP’s projects had the potential to improve social cohesion, especially through the involvement of women in higher-value agriculture and the provision of sustainable income sources. The report highlights the possibilities of strengthening gender transformation through WFP engagement and of contributing to sustainable peace in a particularly difficult operating context where ethnic and religious divisions are wide and gender grievances are often ignored.

Styles APA, Harvard, Vancouver, ISO, etc.

Pritchett, Lant, Kirsty Newman et Jason Silberstein. Focus to Flourish : Five Actions to Accelerate Progress in Learning. Research on Improving Systems of Education (RISE), décembre 2022. http://dx.doi.org/10.35489/bsg-rise-misc_2022/07.

Texte intégral

Résumé :

There is a severe global learning crisis. While nearly all children start school, far too many do not learn even the most foundational skills of reading, writing, and basic mathematics during the years they spend there. The urgent need to address this crisis requires no elaborate reasoning. If one starts with love for a child, a human universal, it is easy to see that in the modern world a child’s dignity, self-worth, and freedom to define their own destiny require an adequate education. An adequate education is what will then enable that child to lead a full adult life as a parent, community member, citizen, and worker in the 21st century. To enable every child to leave school with the foundational skills they need will require fundamental changes to education systems. Since 2015, the Research on Improving Systems of Education (RISE) Programme, with which we are affiliated, has been conducting research exploring how to make these changes through country research teams in seven countries (Ethiopia, India, Indonesia, Nigeria, Pakistan, Tanzania, and Vietnam) and crosscutting teams on the political economy of education reform. Drawing on the cumulative body of research on learning outcomes and systems of education in the developing world, both from the RISE Programme and other sources, we advocate for five key actions to drive system transformation. (See next page.) A message cutting across all five actions is “focus to flourish”. Education systems have been tremendously successful at achieving specific educational goals, such as expanding schooling, because that is what they committed to, that is what they measured, that is what they were aligned for, and that is what they supported. In order to achieve system transformation for learning, systems must focus on learning and then act accordingly. Only after a system prioritises learning from among myriad competing educational goals can it dedicate the tremendous energies necessary to succeed at improving learning. The research points to these five actions as a means to chart a path out of the learning crisis and toward a future that offers foundational skills to all children. The first section that follows provides background on the depth and nature of the learning crisis. The remainder of the document explains each of the five actions in turn, synthesising the research that informs each action, contrasting that action with the prevailing status quo, and describing what the action would entail in practice.

Styles APA, Harvard, Vancouver, ISO, etc.

Khoury, Fares. The Pivot Roadmap : From Dreams to Reality. Sous la direction de Musheer O. Kamau, Sasha Baxter, Claudia Alcaraz-Irizarry et Alan Mentis. Inter-American Development Bank, juillet 2021. http://dx.doi.org/10.18235/0003408.

Texte intégral

Résumé :

The objective of this report is to present an actionable programme to bring initial moonshot ideas into fully accomplishable projects, ready to be deployed. It comprises three parts. The first part, namely Section 2, provides a background and development avenues for three broad domains of Caribbean economies, namely electric vehicles, digital transformation, and tourism. The second part breaks down the realisation of moonshot ideas into steps using a comprehensive roadmap, which lays out, in sequential point-by-point form, how to steer the coherent long-term deployment of moonshot ideas into concrete actionable projects. Sections 3.1 (From Dreams to Deployment) and 3.2 (Overview of Sequential Tasks by Stakeholder Category) present this in detail. Finally, in the third part, Sections 3.3 and 3.4 define and illustrate the roadmap of moonshot ideas identified during the PIVOT Event. In elaborating these two sections, key emphasis was put on the tasks to be conducted during the preparedness phase (Phase 2 of the roadmap). The conclusion summarizes all dimensions of the roadmap into three illustrations, one for each domain, depicting all nine moonshots from the PIVOT Event.

Styles APA, Harvard, Vancouver, ISO, etc.

Elshabik, Mohamed, dir. Citizens’ Perceptions of Democratic Participation in Sudan. International Institute for Democracy and Electoral Assistance (International IDEA), avril 2022. http://dx.doi.org/10.31752/idea.2022.12.

Texte intégral

Résumé :

Democracy cannot prosper without democrats. The challenges facing the democratic transformation in Sudan are immense. This report signified the power-sharing intricacies that had been in place for over two years between the civilians and military. The 25 October coup put an end to that partnership. Nonetheless, people in Sudan are increasingly determined to regain their democratic transition. Building Democracy requires more than extending goodwill. It has always been said democracy cannot prosper without democrats. In context, International IDEA Sudan’s Programme saw the need to explore the perceptions of the main stakeholder in the democratic transition of Sudan, its people. The primary objective of this report is to study the perceptions among the Sudanese population of the motivations for and barriers to democratic participation. The study aims to generate a baseline of understanding to guide the design of further relevant civic education interventions. Methodologically, this was achieved using primary and secondary data sources: Primary data was collected through direct fieldwork using a structured questionnaire, interviews, focus group discussions and key informant interviews, as well as participatory observation. Secondary sources were collated in a desk review of existing academic and public opinion research, such as data from Afro-barometer and the International IDEA Global State of Democracy Indices.

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!