Spelling suggestions: "subject:"[een] CONCURRENCE"" "subject:"[enn] CONCURRENCE""
151 |
Calcul d'objet asynchrone : confluence et déterminismeHenrio, Ludovic 28 November 2003 (has links) (PDF)
L'objectif de cette thèse est de concevoir un calcul d'objets permettant d'écrire des applications parallèles et distribuées, en particulier dans un cadre à grande échelle, tout en assurant de bonnes propriétés. Le calcul proposé s'intitule ASP : Asynchronous Sequential Processes. Les principales caractéristiques de ce calcul sont : des communications asynchrones, la présence de futurs et une exécution séquentielle dans chacun des processus. Ce calcul exhibe de fortes propriétés de confluence et de déterminisme. Cette thèse a donc aussi pour objectif de prouver de telles propriétés dans un cadre aussi général que possible. ASP est basé sur une répartition des objets en différentes activités disjointes. Une activité est un ensemble d'objets gérés par un unique processus. Les objets actifs sont des objets accessibles par des références globales/distantes. Ils communiquent à travers des appels de méthodes asynchrones avec un mécanisme de futurs. Un futur est une référence globale désignant un résultat qui n'est pas encore calculé. Cette thèse modélise ces différents aspects, leurs principales propriétés et les conséquences de ces mécanismes sur la notion de comportement déterministe des programmes. Le résultat principal consiste en une propriété de confluence et son application à l'identification d'un ensemble de programmes se comportant de façon déterministe. Du point de vue pratique, ASP peut aussi être considéré comme une modélisation de la librairie ProActive. Cette librairie fournit des outils pour développer des applications parallèles et distribuées en Java.
|
152 |
Economie des Approches Volontaires dans les Politiques Environnementales en Concurrence et Coopération ImparfaitesDavid, Maia 17 May 2004 (has links) (PDF)
Les approches volontaires (AV) constituent une forme de régulation environnementale qui s'est développée récemment et dans laquelle les entreprises s'engagent volontairement à améliorer leurs performances environnementales. Notre analyse intègre de manière inédite le rôle des structures de marché qui prévalent aussi bien du côté des industries polluantes que des industries de dépollution afin de comparer certaines AV aux autres instruments de politique environnementale. La thèse compare tout d'abord une AV inspirée d'une politique introduite au Danemark à une taxe dans un cadre de concurrence imparfaite entre les firmes polluantes. Elle compare ensuite la même forme d'AV à une taxe, un quota de pollution et une norme de procédé lorsque la dépollution est déléguée à une industrie imparfaitement concurrentielle. Enfin, l'étude d'une AV appliquée en France dans le domaine des déchets d'emballages ménagers permet de confronter le point de vue théorique et l'observation de la réalité.
|
153 |
Construction de collecticiels : étude d'architectures logicielles et de fonctions de contrôleKanawati, Rushed 24 November 1997 (has links) (PDF)
Nous nous intéressons dans ce travail à la problématique du développement des applications pour le travail coopératif, dites aussi collecticiels. Un collecticiel est à la fois une application multi-utilisateurs, répartie et interactive. La somme des trois propriétés précédentes rend le développement de ce type d'applications particulièrement difficile. Une approche souvent empruntée pour la construction des collecticiels consiste à développer une plate-forme qui fournit les services requis pour la coopération. Dans ce rapport nous identifions les principaux services demandés à une telle plate-forme et nous décrivons et nous comparons les différentes approches possibles pour réaliser ces services. Nous proposons ensuite un nouvel environnement de coopération appelé Colt (pour Collaboration Terrain). Une première qualité de Colt est l'intégration des deux modes de travail : individuel et en groupe. Les utilisateurs partagent un espace d'information où chacun a le droit de voir et de se mouvoir selon des \em rôles qui lui sont attribués. Une deuxième qualité importante est l'adaptabilité fonctionnelle et structurelle. Selon l'axe structurel Colt permet de définir et de réajuster dynamiquement les rôles des utilisateurs, de définir autant d'activités coopératives que l'on souhaite et d'utiliser dans ces différentes activités les outils dont on a besoin. Sur l'axe fonctionnel, les utilisateurs peuvent définir et changer dynamiquement la configuration des activités. Une attention particulière est faite en vue de doter l'environnement de stratégies variées pour contrôler les accès concurrents des utilisateurs aux données partagées. L'environnement Colt propose une famille de protocoles de tour de rôles et intègre un protocole original, appelé LICRA. L'algorithme LICRA est un algorithme optimiste fondé sur la détection de dépendances et la résolution automatique des conflits en utilisant un mécanisme de transformation d'opérations. Un premier prototype de l'environnement Colt est aujourd'hui disponible pour une plate-forme UNIX. Le prototype est implanté en utilisant l'environnement de développement TCL-TK.
|
154 |
Contribution aux problèmes de contrôle de concurrence et de reprise dans les bases de données à objetsMartinez, José 02 December 1992 (has links) (PDF)
Le contrôle des accès concurrents à des données partagées et manipulées simultanément par plusieurs utilisateurs, ainsi que la reprise lors de pannes, sont des composantes essentielles de tout système de gestion de données actuel, notamment des bases de données. Nous mettons en évidence les limites inhérentes au critère le plus important du domaine : la commutativité des opérations sur les types de données abstraits. Ces limites nous confortent dans l'utilisation de techniques relativement simples dans les deux travaux ultérieurs. Ensuite, nous proposons une technique de contrôle de concurrence adaptée aux bases de données à objets car s'appuyant sur le graphe d'héritage. Cette proposition s'avère être une généralisation de la seule méthode implémentée : le protocole d'ORION. Combinant les limites théoriques de la commutativité à la notion de méthodes, qui encapsulent le comportement des objets, nous proposons une technique simple, et dans une large mesure suffisante, pour déterminer la commutativité entre méthodes. Cette dernière proposition combine les avantages de la technique précédente à ceux obtenus, involontairement, par la décomposition en première forme normale dans les bases de données relationnelles.
|
155 |
Les Secrets d’Affaires en France et en Suède / Företagshemligheter i Sverige och FrankrikeVinka, Anders January 2001 (has links)
<p>Un but de la coopération dans le cadre de l'Union Européenne, c'est de réaliser une unification législative dans les états-membres. La Suède et la France ont eu des développements différents en ce qui concerne la publication et des différences existent aussi dans le domaine des secrets d'affaires. Ce mémoire a pour tâche d'étudier les différences en question ainsi que les possibilités d'une unification franco-suédoise. Au début se trouve une présentation de la protection des secrets d'affaires en France suivie d'une présentation de la protection suédoise. Les lois, la jurisprudence et la doctrine sont présentées et il y a une subdivision entre droit pénal et droit privé. A la fin une comparaison a été faite et les possiblités d'une unification ont été discutées. Le résultat du mémoire indique la possibilité d'une unification, surtout en cas d'une abrogation de certaines lois obsolètes en France.</p>
|
156 |
Den responsiva demokratin? : Effekter av medborgarnas delaktighet i den lokala demokratin / Democracy and ResponsivenessWohlgemuth, Daniel January 2006 (has links)
<p>This thesis aims at investigating the relationship between citizens' attempts to influence decision-making in a democracy and the representativeness of policy outcome. The question is to what extent the degree of citizen political activity, in terms of expressing policy preferences, affects: 1. The <i>policy agreement</i> between citizens and their elected representatives. 2. The <i>perceptual accuracy</i> of citizen opinions among representatives. It is argued that both policy agreement and perceptual accuracy are potentially important prerequisites to attain responsiveness in a democratic political system. The important normative question of the thesis is based on the fact that citizen's attempts to influence public decision-making often seems to be biased in favour of social groups already rich in resources. If political participation is socially biased the question is if this participation also will cause a bias in the opinions articulated towards decisionmakers and in the end also in a biased political influence.</p><p>Earlier research on the topic of this thesis has basically been limited to the classical study published by Sidney Verba and Norman H. Nie in 1972: <i>Participation in America. Political democracy and social equality.</i> In order to examine this issue further, a survey was conducted in 40 Swedish municipalities. Included was a random sample of citizen from each municipality as well as a sample including all elected councilors in the municipalities. The effects of four different channels of citizen preference articulation is examined 1) participation in local elections, 2) non-electoral political participation, 3) activities and membership in voluntary associations and 4) everyday contacts between citizens and their elected representatives.</p><p>The results of the empirical analyses show that electoral participation does not have a positive effect on either policy agreement or perceptual accuracy in Swedish municipalities. The main tendency as regards the non-electoral channels of citizen preference articulation indicates a linear and positive effect on the policy agreement between citizens and representatives but no similar positive effect on the perceptual accuracy. </p>
|
157 |
Les Secrets d’Affaires en France et en Suède / Företagshemligheter i Sverige och FrankrikeVinka, Anders January 2001 (has links)
Un but de la coopération dans le cadre de l'Union Européenne, c'est de réaliser une unification législative dans les états-membres. La Suède et la France ont eu des développements différents en ce qui concerne la publication et des différences existent aussi dans le domaine des secrets d'affaires. Ce mémoire a pour tâche d'étudier les différences en question ainsi que les possibilités d'une unification franco-suédoise. Au début se trouve une présentation de la protection des secrets d'affaires en France suivie d'une présentation de la protection suédoise. Les lois, la jurisprudence et la doctrine sont présentées et il y a une subdivision entre droit pénal et droit privé. A la fin une comparaison a été faite et les possiblités d'une unification ont été discutées. Le résultat du mémoire indique la possibilité d'une unification, surtout en cas d'une abrogation de certaines lois obsolètes en France.
|
158 |
Den responsiva demokratin? : Effekter av medborgarnas delaktighet i den lokala demokratin / Democracy and ResponsivenessWohlgemuth, Daniel January 2006 (has links)
This thesis aims at investigating the relationship between citizens' attempts to influence decision-making in a democracy and the representativeness of policy outcome. The question is to what extent the degree of citizen political activity, in terms of expressing policy preferences, affects: 1. The policy agreement between citizens and their elected representatives. 2. The perceptual accuracy of citizen opinions among representatives. It is argued that both policy agreement and perceptual accuracy are potentially important prerequisites to attain responsiveness in a democratic political system. The important normative question of the thesis is based on the fact that citizen's attempts to influence public decision-making often seems to be biased in favour of social groups already rich in resources. If political participation is socially biased the question is if this participation also will cause a bias in the opinions articulated towards decisionmakers and in the end also in a biased political influence. Earlier research on the topic of this thesis has basically been limited to the classical study published by Sidney Verba and Norman H. Nie in 1972: Participation in America. Political democracy and social equality. In order to examine this issue further, a survey was conducted in 40 Swedish municipalities. Included was a random sample of citizen from each municipality as well as a sample including all elected councilors in the municipalities. The effects of four different channels of citizen preference articulation is examined 1) participation in local elections, 2) non-electoral political participation, 3) activities and membership in voluntary associations and 4) everyday contacts between citizens and their elected representatives. The results of the empirical analyses show that electoral participation does not have a positive effect on either policy agreement or perceptual accuracy in Swedish municipalities. The main tendency as regards the non-electoral channels of citizen preference articulation indicates a linear and positive effect on the policy agreement between citizens and representatives but no similar positive effect on the perceptual accuracy.
|
159 |
Complexité Implicite de Lambda-Calculs ConcurrentsMadet, Antoine 06 December 2012 (has links) (PDF)
Contrôler la consommation en ressources des programmes informatiques est d'importance capitale, non seulement pour des raisons de performance, mais aussi pour des questions de sécurité quand par exemple certains systèmes mobiles ou embarqués disposent de quantités limitées de ressources. Dans cette thèse, nous développons des critères statiques pour contrôler la consommation en ressources de programmes concurrents d'ordre supérieur. Nous prenons comme point de départ le cadre des Logiques Light qui a été étudié afin de contrôler la complexité de programmes fonctionnels d'ordre supérieur au moyen de la correspondance preuves-programmes. La contribution de cette thèse est d'étendre ce cadre aux programmes concurrents d'ordre supérieur. Plus généralement, cette thèse s'inscrit dans le domaine de la complexité implicite qui cherche à caractériser des classes de complexité par des principes logiques ou des restrictions de langage. Les critères que nous proposons sont purement syntaxiques et sont développés graduellement afin de contrôler le temps de calcul des programmes de plus en plus finement: dans un premier temps nous montrons comment garantir la terminaison des programmes (temps fini), puis nous montrons comment garantir la terminaison des programmes en temps élémentaire, et enfin nous montrons comment garantir la terminaison des programmes en temps polynomial. Nous introduisons également des systèmes de types tels que les programmes bien typés terminent en temps borné et retournent des valeurs. Enfin, nous montrons que ces systèmes de types capturent des programmes concurrents intéressants qui itèrent des fonctions produisant des effets de bord sur des structures de données inductives. Dans la dernière partie, nous étudions une méthode sémantique alternative afin de contrôler la consommation en ressources de programmes impératifs d'ordre supérieur. Cette méthode est basée sur la réalisabilité quantitative de Dal Lago et Hofmann et permet d'obtenir plusieurs bornes de complexité de manière uniforme. Cette dernière partie est un travail en collaboration avec Aloïs Brunel.
|
160 |
Le régime des télécommunications en Amérique du Nord : d'un modèle monopolistique à un modèle concurrentielGélinas, Isabelle January 2007 (has links) (PDF)
Les règles, les lois et les institutions qui encadrent les télécommunications en Amérique du Nord ont subi d'importantes transformations depuis les trente dernières années. Elles sont passées d'un régime monopolistique à un régime basé sur la promotion de la concurrence. Les États-Unis, le Canada et le Mexique ont transformé les cadres de leurs télécommunications selon le modèle concurrentiel pour des raisons différentes. Les États-Unis ont adopté et exercé des pressions pour diffuser le modèle concurrentiel dans l'objectif de profiter de leur avantage dans le domaine des télécommunications et d'améliorer la compétitivité de l'économie américaine. Le Canada voulait conserver ses avantages compétitifs et sécuriser l'accès au marché américain. Le Mexique désirait développer et moderniser son secteur des télécommunications et stimuler son économie.
Les impacts des transformations sur la structure du secteur des télécommunications,
c'est-à-dire l'évolution des prix des services et la concentration des parts des marchés en oligopoles, remettent en doute la capacité du nouveau régime à créer une véritable concurrence dans les télécommunications en Amérique du Nord. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Télécommunications, Régime, Concurrence, Libéralisation.
|
Page generated in 0.0266 seconds