Spelling suggestions: "subject:"coacteurs"" "subject:"cofacteurs""
121 |
Approche multicritère de l'utilisation des matériaux alternatifs dans les chausséesSayagh, Shahinaz 12 December 2007 (has links) (PDF)
Une méthode d'évaluation environnementale de tronçons routiers, modulaire, basée sur l'Analyse de Cycle de Vie et développée au LCPC, a été étendue aux calculs d'impacts et aux matériaux alternatifs. L'objet de cette thèse était de comparer des variantes d'autoroutes interurbaines utilisant des matériaux naturels et alternatifs et d'étendre l'outil associé au milieu urbain, tout en menant une réflexion sur l'accessibilité de l'outil par des non-spécialistes de l'environnement. Les spécificités de conception urbaine ont été implémentées sur une base de dimensionnement classique. L'extension aux matériaux alternatifs a été traitée pour des laitiers de hauts fourneaux. Plusieurs applications à des cas types de chaussées ainsi que des études d'ouvrages sont présentées. Une enquête sous forme d'entretiens et de questionnaires a été réalisée auprès de différents acteurs de la profession, permettant de dégager la place des critères environnementaux au sein du processus décisionnel.
|
122 |
Acteurs et pratiques de la production foncière et immobilière à Ourossogui (Sénégal)Sall, Mohamadou 22 April 2004 (has links)
Quelles sont les mutations sociales qui s'opèrent dans les localités en transition entre le rural et l'urbain ?
Comment peut-on les saisir ?
Quel est l'impact de ces mutations sur le processus de développement local ?
Ces interrogations, qui articulent une problématique multipolaire, sont au centre de cette étude qui a pour cadre la localité d'Ourossogui (Sénégal). Ourossogui est située dans la partie septentrionale du pays. Nous avons choisi de partir de l'observation et de l'analyse du système de production foncière et immobilière pour rendre compte des mutations sociales en cours dans cette localité. Ce choix se fonde sur le fait que les rapports fonciers et immobiliers sont essentiellement des rapports sociaux. L'observation et l'analyse des acteurs et de leurs pratiques sur la scène foncière et immobilière nous a conduit à tirer quelques conclusions essentielles.
Nous avons d'abord saisi les facteurs qui peuvent être à la base de l'émergence d'un marché foncier et immobilier dans une localité en transition entre le rural et l'urbain.
Nous avons aussi montré que les pratiques des acteurs avaient plusieurs caractéristiques. Elles sont opaques dans la mesure où il y a un hiatus entre les discours des acteurs et leurs pratiques sur la scène foncière et immobilière. Elles sont aussi opportunistes et rationnelles. Elles sont composites en ce sens que les acteurs se réfèrent à la fois à la tradition et à la modernité, ce qui montre que les rapports sociaux sont renégociés et reconstruits. Les pratiques sont décalées par rapport aux lois et aux règlements. Nous assistons ainsi à la production de nouvelles normes qui relèvent à la fois des coutumes, de la loi, de la tradition et de la modernité. Ces caractéristiques, ainsi que la production de règles nouvelles, témoignent d'une aptitude certaine des acteurs à se mettre au diapason des changements affectant leur localité.
Cependant, cette aptitude ne milite pas forcément en faveur de l'émergence d'un développement local. En fait, cette aptitude masque un processus ségrégatif dans lequel il y a des acteurs gagnants et des acteurs perdants et vulnérables. Par ailleurs, la production par les acteurs de normes nouvelles, décalées par rapport aux lois et aux règlements, ne va toujours dans le sens d'un ancrage du développement local. Certes, ces normes sont parfois efficaces dans le fonctionnement de tous les systèmes dans les espaces en transition, mais il est peu probable que l'on puisse bâtir un développement dans « la défaite de l'État », pour reprendre le terme de Hernando De Soto.
|
123 |
Economie populaire, territoires et développement à Madagascar : les dimensions historiques, économiques et socioculturelles du fokonolona. Etude de cas : la commune rurale de Masindray et la commune urbaine d'AnosibeAndriamanindrisoa, Emmanuelle 07 June 2004 (has links)
Lire le secteur informel en termes d'économie populaire éloigne l'approche purement économique qui relie le secteur informel avec les problèmes de la pauvreté de masse et aide à prendre en considération d'autres dimensions de l'économie populaire comme expression matérielle de l'ensemble des pratiques populaires.
La lecture du secteur informel a beaucoup évolué depuis les années 70. Ce concept est utilisé pour la première fois dans les années septante par le BIT sur les réalités de pauvreté de masse des pays du Sud comme au Kenya, en Colombie, à Sri lanka, et en Indonésie. Réalités auxquelles les gens se sont adaptées en pratiquant des activités économiques « de survie » avec des moyens dérisoires. Ces activités que l'on interprète de secteur informel ont suscité des réactions de la part des observateurs occidentaux que les observateurs des pays du Sud, dans l'idée qu'il faut les intégrer dans le secteur moderne car elles n'obéissent pas à des règles déterminées ou qui n'a pas de caractère officiel. Elles sont pratiquées généralement par les populations démunies donc les pauvres, mais elles sont aussi pratiquées par la classe moyenne qui a vu régresser son pouvoir d'achat. Tout cela dans un contexte de la crise de la modernisation qui a débuté vers la fin des années soixante.
L'objectif de cette recherche est d'appliquer la lecture en terme d'économie populaire au cas de Madagascar dont l'axe se situe dans la continuité de l'économie populaire et existence des éléments de longue période qui ont constitué les bases de l'économie populaire et ses dimensions multiples.
La notion du vadin'asa est donc, le point de départ important pour faire une transition entre secteur informel et économie populaire. La crise de la modernisation a activé, renouvelé et diversifié ses formes anciennes. Le vadin'asa s'inscrit alors dans la continuité du vécu des populations ou des acteur populaires. Il renvoi à la fois à des pratiques très anciennes qui s'inscrivent dans l'histoire longue de Madagascar et à un ensemble de dimensions socioculturelles qui l'encadrent comme les réalités du fihavanana, du fokonolona, du tanindrazana et les fomba.
Ainsi pour lire cette économie populaire en termes non économiques, les facteurs sociaux et facteurs culturels sont pris en considération à travers les pratiques économiques et pratiques sociales des acteurs populaires collectifs, le fokonolona, la communauté de base qui existe bien avant la centralisation du royaume merina jusqu'à maintenant, en milieu rural et en milieu urbain.
Ces pratiques économiques et sociales qu'on connaît aujourd'hui entrent dans la continuité des activités séculaires, donc dans un processus historique de longues périodes. D'où l'importance de la dimension historique dans l'étude de l'économie populaire à Madagascar.
L'enjeu est de changer le regard sur le secteur informel à Madagascar, et de le lire en tant qu'économie populaire et non pas comme secteur qui attend de s'intégrer dans le système économique moderne. Pour appliquer cette lecture au cas de Madagascar, deux localités ont été choisi, la commune rurale de Masindray et la commune urbaine d'Anosibe afin d'analyser l'économie populaire et de comprendre son enracinement dans les pratiques anciennes.
L'économie populaire à Madagascar s'est construite en trois étapes. La première étape est celle de l'économie communautaire antérieure au temps du royaume merina, basée sur l'agriculture et l'artisanat local. Elle se fait sur les terres appropriées par les fokonolona, qui rassemblent une communauté, dans les premiers temps relativement peu différenciée. On y trouve l'équivalent de ce qui est le premier niveau selon l'historien Fernand Braudel. L'économie communautaire se réfère à un territoire, le tanindrazana la terre d'origine ou précisément les terres des ancêtres. La deuxième étape est le début de la transition de l'économie communautaire à l'économie populaire avec toujours comme base l'agriculture et l'artisanat local. C'est la période de la construction du royaume merina, qui stimule le développement du deuxième niveau.
La troisième étape est le stade de l'autonomisation progressive de l'économie populaire elle-même, confrontée aux acteurs du troisième niveau. Avec l'introduction de l'économie de marché à l'époque coloniale, l'invasion du capitalisme et la mise en place des structures économiques coloniales, la vie de la grande majorité de la population a changé.
L'approche historique a donc été importante pour comprendre l'enracinement de l'économie populaire dans les pratiques populaires séculaires en matières économique, sociale et culturelle. La prise en considération des acteurs des trois niveaux proposés par F. Braudel appliquée au cas de Madagascar a permis d'analyser l'évolution de l'économie populaire à travers le temps.
L'économie populaire a existé, continue d'exister et continuera d'exister avec ou sans crises. Elle est tout simplement un mode de vie qui englobe le social en interaction avec l'économique et le culturel dans des pratiques simples qui s'accommodent aux réalités vécues par l'immense majorité de la population, et s'adaptent aux besoins les plus élémentaires d'une société, ancrée dans ses valeurs morales et culturelles, propre à la société malagasy.
C'est ainsi que les tentatives de l'Etat de soumettre le fokonolona à plusieurs reprises, depuis le royaume merina jusqu'à la Troisième république, en passant par le système colonial, ont été vouées à l'échec.
|
124 |
Le développement durable : penser le changement ou changer le pansement ? : bilan et analyse des outils d'évaluation des politiques publiques locales en matière de développement durable en France : de l'émergence d'un changement dans les modes de faire au défi d'un changement dans les modes de penserBoutaud, Aurélien 14 February 2005 (has links) (PDF)
C'est dans le contexte international d'emergence d'un conflit entre les préoccupations d'environnement et de développement que la notion de développement durable est apparue. L'histoire de ce concept peut ainsi être relue à travers le prisme des théories de la négociation : le développement durable nous apparaît alors comme la tentative de formulation, au plus haut niveau international, d'une valeur nouvelle dont l'objet serait la réconciliation entre des exigences de protection de l'environnement et de développement socio-économique (équivalant à ce que les théoriciens de la négociation appellent une approche gagnant-gagnant, ou un jeu à somme positive, entre environnement et développement). Mais s'il apparaît que le concept de développement durable a effectivement été construit dans une logique coopérative, force est de constater que, tant au niveau local que global, l'appropriation du développement durable par les différents acteurs revêt toutes les formes d'une appropriation compétitive : Etats, entreprises, ONG, collectivités locales, économistes ou écologistes se réclament aujourd'hui du développement durable sans pour autant en donner une définition et un contenu identiques. Les débats sur la soutenabilité ± faible (approche néoclassique) ou ± forte (approche écosystémique) illustrent bien cette lutte d'appropriation . C'est précisément dans ce contexte conflictuel qu'il convient de mettre en perspective la question de l'évaluation du développement durable. En effet, ces démarches normatives disposent d'un fort pouvoir d'appropriation en cela qu'elles permettent de rigidifier un concept souvent considéré comme mou . Elles sont, de ce fait, au cœur d'un débat à la fois technique et idéologique fort. Au niveau local, et concernant plus particulièrement les domaines de l'urbanisme, il est intéressant de constater qu'un même schéma s'est dessiné : la notion de ville durable a émergé elle aussi dans le contexte d'une remise en cause par les mouvements de l'ecologie urbaine de la pensée urbanistique moderne. De la même manière que le développement durable est apparu comme une tentative de réconciliation entre environnement et développement, la ville durable semble progressivement se dessiner sous les contours d'une alternative entre la ville écologique (utopique) et la ville moderne, voire sur-moderne (bien réelle). Du fait de leur capacité d'appropriation, certains outils d'évaluation développés par des collectivités locales nous permettent ainsi de cerner ce que les acteurs publics locaux entendent précisément par développement durable ; leur analyse tend à confirmer la tendance des acteurs publics à se servir du développement durable comme élément de conciliation interne entre des intérêts parfois divergents. La question de la prise en compte des intérêts des générations futures et des autres territoires semble par contre plus difficile à appréhender. L'analyse, dans un seconde temps, des contextes dans lesquels ces outils sont généralement utilisés et développés montre par ailleurs un phénomène intéressant : le développement durable est le plus souvent considéré comme une approche technique, déléguée par le politique aux services opérationnels, qui sont alors chargés a posteriori de rendre durables les décisions prises. Ces grilles de questionnement ou d'analyse des projets butent ainsi sur le problème de la prise en compte des préoccupations du développement durable au plus haut niveau des prises de décision : le niveau politique. létude plus spécifique du cas de la Communauté urbaine de Lyon permet de valider certaines de ces hypothèses. Au final, la difficulté d'appréhension de certains enjeux du développement durable par les sphères politiques et administratives interroge sur la capacité des systèmes démocratiques à répondre à ces nouveaux problèmes. La durabilité, en particulier, semble devoir faire éclater le cadre spatial et temporel dans lequel a traditionnellement été défini l'intérêt général. En imposant d'introduire dans la définition de cet intérêt général la prise en compte des intérêts de nouveaux acteurs non représentés (générations futures, autres territoires), la durabilité ne finit-elle pas par questionner les bases mêmes du fonctionnement des démocraties modernes ?
|
125 |
L'État et les relations de travail au TogoPanier, Elise 07 December 2012 (has links) (PDF)
Dans un contexte où l'on parlerait volontiers de " non-droit " ou de " droit invalide ", où l'on serait tenté d'établir une corrélation entre secteur formel ou informel de l'économie et effectivité ou ineffectivité du droit, les modes d'intervention juridique de l'État dans les relations de travail ainsi que leurs formalisations, apparaissent sous-tendus au Togo par des réalités aussi diverses que paradoxales. L'analyse des conditions de production et de mobilisation du droit du travail permet de dégager quelques caractéristiques propres au fonctionnement de ce dernier en tant que système normatif au Togo. L'État peut sembler à la fois omniprésent et absent, puissant et impuissant. Les conditions de production du droit d'apparence hétéronome comme de celui élaboré sous contrôle étatique, conduisent à s'interroger sur la validité de certaines dispositions. Le droit positif apparaît parfois produit sans véritable attention à la question, pourtant essentielle, de l'articulation de ses sources et, quelquefois, selon des voies imprévues. Au travers du prisme particulier de l'analyse des mobilisations du droit du travail, des thématiques apparaissent récurrentes ou marginales, selon que l'on se réfère aux politiques et discours officiels ou bien à la pratique des acteurs institutionnels et sociaux. La réception du droit des relations de travail par ces derniers dépend en réalité non seulement du contexte socio-économique mais aussi des pouvoirs et situations en cause. L'interprétation juridictionnelle témoigne elle-même d'originalité quand ce n'est pas d'invention du droit.
|
126 |
Les juges de l'activité professionnelle sportive. : Contribution à l'étude des relations entre pluralisme juridique et pluralisme de justice / The judges of professional sporting activity. : Contribution to the study of the relationships betwen legal pluralism and pluralism of justiceKaraa, Skander 01 December 2014 (has links)
L’activité professionnelle des acteurs sportifs suscite de la conflictualité. Les litiges qui en découlent sont extrêmement diversifiés. Matériellement, ils sont de nature associative ou contractuelle, administrative ou judiciaire, sociale, fiscale ou pénale, disciplinaire ou non disciplinaire. Territorialement, ils sont de dimension nationale ou internationale. Tous s’inscrivent dans un système de sources particulièrement étoffées : à des normes imposées aux acteurs (normes sportives, étatiques, supra-étatiques) se superposent des normes négociées par eux. Créant des interactions inévitables entre ces ensembles juridiques, un tel pluralisme juridique est à l’origine d’un véritable pluralisme de justice aux incidences processuelles et matérielles fortes.D’un point de vue processuel, qu’ils soient situés dans un ordre juridique national ou rattachés à un ordre juridique supranational ou transnational, les organes de justice ont des caractéristiques et des pouvoirs forts différents, mais répondent néanmoins à des logiques procédurales communes. Si les principes de répartition entre les divers modes de justice diffèrent selon que le litige sportif demeure dans la sphère nationale ou dépasse celle-ci, il reste que, dans leur ensemble, les juges interviennent dans une relation de combinaison, de complémentarité, plutôt que dans un rapport d’opposition.D’un point de vue du droit substantiel, cette démultiplication des juges n’en est pas pour autant malheureuse dans la mesure où ce pluralisme de justice vient, de son côté, opportunément consacrer et alimenter le pluralisme juridique sportif. Forts de leur action jurisprudentielle normative, ces juges, ces arbitres, participent, par une action isolée ou parfois dans le cadre d’un dialogue constructif, à une régulation adaptée et cohérente des différends liés à l’activité professionnelle des acteurs sportifs, en tenant compte des particularités de l’organisation du mouvement sportif et des rapports juridiques noués par ces derniers.Si bien qu’en définitive, les relations entre les phénomènes de pluralisme juridique et de pluralisme de justice participent d’un règlement des litiges sportifs fédéraux et de travail généralement conforme aux principes élémentaires de bonne justice et paraissant résolument adapté aux spécificités de l’activité professionnelle sportive. Ne serait-ce pas là, au fond, l’illustration saillante d’un « pluralisme ordonné » qui tend à respecter la diversité tout en permettant une harmonie d’ensemble ? / The professional activity of those involved in sport provokes much conflict. Consequent disputes are extremely diverse. Materially, they are associative or contractual, administrative or legal, social, fiscal or criminal, disciplinary or non-disciplinary in nature. Territorially, they are national or international. All fit into a particularly robust system of sources: norms imposed on actors (sporting rules, state rules, and supranational rules) overlap with norms negotiated by them. Creating inevitable interactions between these legal entities, such legal pluralism is the source of a true pluralism of justice with strong litigation and material consequences.From a procedural standpoint, whether they are attached to a national legal system or a supranational or transnational one, legal bodies have strongly different characteristics and powers, yet still meet a common procedural logic. In general, judges intervene with a combination and a complementary approach, rather than in an adversarial relationship, even if the principles of distribution between the various methods of justice differ, whether a sporting dispute remains within the domestic sphere or exceeds it. From a substantive law standpoint, this multiplication of judges is not necessarily unfortunate in so far as this pluralism of justice appropriately consecrates and nourishes legal sporting pluralism. With their normative case law actions, these judges and arbitrators take part by acting alone or sometimes within a constructive dialogue, to an appropriate and consistent regulation of disputes relating to the professional activity of those involved in sport. This takes into account the peculiarities of the organisation of sport and the legal relationships established by these actors.Whereby, ultimately, the relationships between legal pluralism and pluralism of justice are part of a general settlement of federal sporting disputes and working disputes that generally conform to the basic principles of fair justice and appearing resolutely adapted to the specificities of professional sporting activity. Does this not illustrate an “ordered pluralism ?
|
127 |
La ville accélérée et ses acteurs : anatomie du projet urbain des Bassins à flot à Bordeaux / Accelerated city and urban project stakeholders : detailed analysis of the Bassins à flot planning operation, Bordeaux.Grosbellet, Jean 05 December 2016 (has links)
Ce travail de recherche s’inscrit dans un courant critique de l’accélération urbaine. Nous avons tout d’abord montré l’émergence dans le contexte de concurrence internationale des villes, l’émergence d’une « métropole accélérative » en prenant exemple sur le cas de Bordeaux. Cette forme urbaine de la modernité tardive se caractérise par un double phénomène : une accélération sociale dans ses usages et modes de vie ainsi qu’une accélération spatiale qui contribue à mettre sous pression son développement urbain, par l’ampleur, la rapidité et la simultanéité des projets à l’œuvre. Nous nous sommes ensuite particulièrement intéressés aux mécanismes de production de cette « métropole accélérative » en étudiant un grand projet d’aménagement bordelais : l’opération des Bassins à flot. Ce projet réalisé dans un dispositif dit « négocié » se présente comme plus réactif, itératif et adaptable afin de produire plus rapidement la ville qu’en utilisant des méthodes plus « classiques » qui s’appuient sur une forte hiérarchisation du système d’acteurs. L’analyse des articulations entre temporalités des acteurs et temporalités des outils révèle dans la suite de ce travail des reconfigurations importantes liées à la vitesse de production. La méthode itérative mise en place est comprimée par le contexte de l’accélération et les acteurs du projet n’ont pas le temps nécessaire pour faire circuler les éléments d’informations et de décisions entre eux. Nous assistons alors à des re-hiérarchisations temporaires du système d’acteurs en fonction des phases du projet. Une typologie originale peut être dégagée, avec au centre de ces dispositifs reconfigurés les acteurs métronomes, ceux qui dictent le tempo du projet ; les acteurs dans le temps s’accordent aux rythmes du projet ; les acteurs à contre temps évoluent par rattrapage et les acteurs désynchronisés deviennent observateurs des transformations urbaines. L’accélération se présente alors comme un phénomène urbain à réguler pour assurer une fabrication durable de la ville autour de rythmes de production partagés. / This research is part of a critical study of urban acceleration. Based on the Bordeaux case, we first noticed the emergence, in an international competition context affecting cities, of an “accelerating city”. This urban form of late modernity is caracterised by both a social acceleration in its uses and ways of life and a spatial acceleration that leads to its urban development – by the size, speed and simultaneity of on-going projects. Then, we looked at the mechanisms of production in this “accelerating city” by studing a large planning project in Bordeaux, the Bassins à flot operation. This project, produced through a “negociated” plan, seems more reactive, repetitive and adaptable in order produce the city in a more rapid way than using “classic” technics and based on a strong hierarchy of staheholders. Anylising the links between stakeholders and temporalities tools shows that important reconfigurations of the production speed. The repetitive technic is compressed by this accelerative context ; project stakeholders do not have enough time to exchange and decide among themselves. Therefore, we can observe new and temporary hierarchisations of the stakeholders system, depending on the different steps of the project. An original typology can be settled : leader stakeholders can decide the rhythm of the project ; out of phase stakeholders become the observers of urban transformations. The acceleration is finally an urban phenomenom that needs to be control to look forward a sustainable urban fabric, based on shared production rhythm.
|
128 |
Communication publique : ancrage des TIC dans l'organisation : étude de cas : l'administration tunisienne / Public communication : anchoring of ICTS (information and communication technologies) in an organization : the case of the Tunisian administrationBen Jeddou, Sameh 07 September 2015 (has links)
L'administration tunisienne vit des transformations considérables au niveau de ses moyens de fonctionnement et de gestion dues à l'implantation générale des TIC dans son mode d'organisation.À l'heure où de nombreuses équipes se mobilisent pour organiser ou pérenniser cette implantation dans leur structure, il nous parait intéressant de faire un état des lieux de l'existant sur les TIC et les différentes modalités d'évolution.Notre recherche est focalisée plus exactement sur l'analyse du processus du changement organisationnel engendré par les technologies d'information et de communication dans l'organisation. Les TIC en tant que moyen de communication et d'information à l'intérieur de l'organisation ont suscité notre curiosité scientifique. Nous avons essayé, à travers quatre administrations tunisiennes, de retracer les modalités d'appropriation ou de résistance des TIC à travers une analyse méticuleuse des jeux d'acteurs, des formes de perception des TIC pour comprendre par la suite les différentes formes d'usages des TIC et les attitudes des salariés envers ce nouveau modèle d'organisation dans l'administration tunisienne.Le discours promotionnel sur les TIC en Tunisie, soutient l'idée, selon laquelle, ces outils contribueraient à l'amélioration des conditions de travail et à l'accroissement de la productivité des salariés. Ce discours “prophétique” nous allons le confronter à la réalité de l'administration tunisienne et aux usages réels des salariés. Usages “réels” et usages “prescrits”, un écart perceptible dans l'administration tunisienne digne d'analyse et d'approfondissement. / The Tunisian government saw significant transformations in its means of operation and management due to general ICT implementation in itsorganization. At a time when many teams are working to organize and sustain this presence in their structure,it seems interesting to do an inventory of the existing ICT and the different ways of evolution.Our research is focused more specifically on the analysis of organizational change caused by information and communication technologies in the organization process. ICT as a means of communication and information within the organization has raised our scientific curiosity. We tried,through four Tunisian offices to trace the methods of appropriation or resistance of ICT through a deep analyzing office's actors,forms of perception to understand ICT thereafter, the different types of use ICT and employee attitudes toward this new model organization in the Tunisian government.Promotional discourse on ICT in Tunisia supports the idea that these tools contribute to improving working conditions and increasing employee productivity. This "prophetic" speech we will confront the reality of the Tunisian government and the actual use of employees. Uses "real" and uses "prescribed" a perceptible difference in the Tunisian administration worthy of analysis and deepening.
|
129 |
Siaam : Simple Isolation for an Actor-based Abstract Machine / Isolation dynamique pour une machine abstraite à base d'acteursSabah, Quentin 04 December 2013 (has links)
Dans cette thèse nous étudions l’isolation mémoire et les mesures de communications efficaces par passage de message dans le contexte des environnements à mémoire partagée et la programmation orientée-objets. L’état de l’art en la matière se base presque exclusivement sur deux techniques complémentaires dites de propriété des objets (ownership) et d’unicité de références (reference uniqueness) afin d’adresser les problèmes de sécurité dans les programmes concurrents. Il est frappant de constater que la grande majorité des travaux existants emploient des méthodes de vérification statique des programmes, qui requirent soit un effort d’annotations soit l’introduction de fortes contraintes sur la forme et les références vers messages échangés. Notre contribution avec SIAAM est la démonstration d’une solution d’isolation réalisée uniquement à l’exécution et basée sur le modèle de programmation par acteurs. Cette solution purement dynamique ne nécessite ni annotations ni vérification statique des programmes. SIAAM permet la communication sans copie de messages de forme arbitraire. Nous présentons la sémantique formelle de SIAAM ainsi qu’une preuve d’isolation vérifiée avec l’assistant COQ. L’implantation du modèle de programmation pour le langage Java est réalisé dans la machine virtuelle JikesRVM. Enfin nous décrivons un ensemble d’analyses statiques qui réduit automatiquement le cout à l’exécution de notre approche. / In this thesis we study state isolation and efficient message-passing in the context of concurrent object-oriented programming. The ’ownership’ and ’reference uniqueness’ techniques have been extensively employed to address concurrency safety in the past. Strikingly the vast majority of the previous works rely on a set of statically checkable typing rules, either requiring an annotation overhead or introducing strong restrictions on the shape and the aliasing of the exchanged messages.Our contribution with SIAAM is the demonstration of a purely runtime, actor-based, annotation-free, aliasing-proof approach to concurrent state isolation allowing efficient communication of arbitrary objects graphs. We present the formal semantic of SIAAM, along with a machine-checked proof of isolation. An implementation of the model has been realized in a state-of-the-art Java virtual-machine and a set of custom static analyses automatically reduce the runtime overhead.
|
130 |
São Longuinho em Freguesia: a dinâmica de uma devoçãoPimentel, Elam de Almeida 12 December 2008 (has links)
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-07-24T18:00:32Z
No. of bitstreams: 1
elamdealmeidapimentel.pdf: 9840495 bytes, checksum: c58b82454af6cb507bc2d51f7762d684 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-09T13:52:37Z (GMT) No. of bitstreams: 1
elamdealmeidapimentel.pdf: 9840495 bytes, checksum: c58b82454af6cb507bc2d51f7762d684 (MD5) / Made available in DSpace on 2017-08-09T13:52:37Z (GMT). No. of bitstreams: 1
elamdealmeidapimentel.pdf: 9840495 bytes, checksum: c58b82454af6cb507bc2d51f7762d684 (MD5)
Previous issue date: 2008-12-12 / Trata-se do estudo da dinâmica da devoção a São Longuinho em Freguesia, Bairro de Guararema-SP, onde está localizada a Igreja de Nossa Senhora da Escada, que possui uma imagem de São Longuinho em seu altar principal. Nesta igreja, o número de visitantes e devotos à procura da imagem de São Longuinho aumentou depois do roubo do oratório do santo em 2001, ocasião em que houve muita divulgação do fato, da imagem e da cidade de Guararema, onde, atualmente, há uma irradiação desta devoção. A composição e recomposição de tal devoção ocorrem num processo dinâmico em que se encontram presentes a conservação de costumes e a criatividade inventiva, influenciada pela mídia, internet, turismo e mercado religioso. O foco desta tese são os atores e fatores da devoção a São Longuinho na localidade, que dialogam e se interinfluenciam na dinamicidade da devoção. A pesquisa mostra também como uma comunidade se apropria do santo e o produz, tratando-o com cuidados familiares. / Il s´agit d´une étude de la dynamiqe de la dévotion à São Longuinho à Freguesia, quartier de la ville de Guararema - SP, où se trouve l´Eglise de Nossa Senhora da Escada, possedant une image de São Longuinho dans son autel principal. Dans cette église, le nombre de visiteurs et dévots s´est accru après le vol de l´oratoire de ce Saint en 2001. On a beaucoup annoncé ce fait, bien comme l´image et la ville de Guararema, d´où rayonne aujourd´hui cette dévotion. La composition et la décomposition d´une telle dévotion font objet d´un procès dynamique où se trouvent présentes la conservation des coûtumes et la créativité, influencées par les médias et par l´internet, le tourisme et le marché réligieux.
Le focus de cette thèse est sur les acteurs et les facteurs de la dévotion à São Longuinho dans la localité mentionée, qui dialoguent et s´influencent réciproquement avec la dynamicité de la dévotion. La recherche demonstre aussi comment une certaine communauté s´aproprie d´un Saint et le produit, en le traitant avec des soins familiaux.
|
Page generated in 0.0352 seconds