La Bosnie-Herzégovine est sous supervision internationale depuis 1995. Les principaux acteurs de cette communauté internationale soit l’Union Européenne (UE) et le Bureau du Haut-Représentant à la Communauté Internationale (OHR) ont exprimé à de nombreuses reprises leur intention de transformer la mission internationale en s’éloignant du pouvoir discrétionnaire du OHR en le remplaçant par la perspective d’intégration offerte par l’UE. Malgré les bonnes intentions, cette transition semble être dans une impasse. Depuis 2006, l’organisation et la distribution des responsabilités au sein de la communauté internationale sont restées inchangées. Ce mémoire s’intéresse à ces deux principaux acteurs et à leur rôle dans l’impasse. L’objectif est de tester trois cadres d’analyse soit le rationalisme, le constructivisme et la complexité des régimes pouvant expliquer cette impasse. En se basant sur des interviews avec des experts et des représentants des deux institutions, ce mémoire explore dans quelle mesure et dans quels contextes chaque cadre d’analyse est apte à expliquer le comportement des acteurs. / Bosnia and Herzegovina has been under international supervision since 1995. Key actors in the international community namely the Office of the High Representative (OHR) and the European Union (EU) have expressed a desire to change the focus of this mission from one led by the OHR to one led by the EU. Despite the strong will of the international community to carry out this transition, it seems to have reached a deadlock. In the last few years, the arrangement of the international community has remained unchanged. This thesis focuses on these two main actors in this transition and their responsibility in the deadlock. This thesis tests three frameworks in order to explain this deadlock, specifically rationalism, constructivism, and regime complexity. Drawing on interviews with experts and officials working in the European Union and in the Office of the High Representative, this thesis explores the suitability of these frameworks for explaining these actors’ behaviours.

In the pursuit for ever-increasing compute power, and with Moore's law slowly coming to an end, high-performance computing started to scale-out to larger systems. Alongside the increasing system size, the interconnection network is growing to accommodate and connect tens of thousands of compute nodes. These networks have a large influence on total cost, application performance, energy consumption, and overall system efficiency of the supercomputer. Unfortunately, state-of-the-art routing algorithms, which define the packet paths through the network, do not utilize this important resource efficiently. Topology-aware routing algorithms become increasingly inapplicable, due to irregular topologies, which either are irregular by design, or most often a result of hardware failures. Exchanging faulty network components potentially requires whole system downtime further increasing the cost of the failure. This management approach becomes more and more impractical due to the scale of today's networks and the accompanying steady decrease of the mean time between failures. Alternative methods of operating and maintaining these high-performance interconnects, both in terms of hardware- and software-management, are necessary to mitigate negative effects experienced by scientific applications executed on the supercomputer. However, existing topology-agnostic routing algorithms either suffer from poor load balancing or are not bounded in the number of virtual channels needed to resolve deadlocks in the routing tables. Using the fail-in-place strategy, a well-established method for storage systems to repair only critical component failures, is a feasible solution for current and future HPC interconnects as well as other large-scale installations such as data center networks. Although, an appropriate combination of topology and routing algorithm is required to minimize the throughput degradation for the entire system. This thesis contributes a network simulation toolchain to facilitate the process of finding a suitable combination, either during system design or while it is in operation. On top of this foundation, a key contribution is a novel scheduling-aware routing, which reduces fault-induced throughput degradation while improving overall network utilization. The scheduling-aware routing performs frequent property preserving routing updates to optimize the path balancing for simultaneously running batch jobs. The increased deployment of lossless interconnection networks, in conjunction with fail-in-place modes of operation and topology-agnostic, scheduling-aware routing algorithms, necessitates new solutions to solve the routing-deadlock problem. Therefore, this thesis further advances the state-of-the-art by introducing a novel concept of routing on the channel dependency graph, which allows the design of an universally applicable destination-based routing capable of optimizing the path balancing without exceeding a given number of virtual channels, which are a common hardware limitation. This disruptive innovation enables implicit deadlock-avoidance during path calculation, instead of solving both problems separately as all previous solutions.

This thesis examines the role of mediators in WTO trade negotiations and the impact of individual mediation strategies on the outcome of these negotiations. It seeks to answer the question how mediators can help negotiators to overcome the bargaining problem and reach an agreement. The thesis first presumes that mediators who frequently apply more interventionist and inclusive tactics can increase the likelihood of a successful outcome of negotiations. Secondly, it presupposes that particular mediation tactics enable negotiators to save their face not only in front of their opponents, but more importantly also in front of domestic constituencies. Using the case of Geneva-based negotiations and the Bali Ministerial Conference, the thesis tracks individual mediation strategies which were employed by WTO chairs or the Director-General to determine their impact on the final adoption of the Bali package, representing the first multilateral trade agreement concluded under the auspices of the WTO. The analysis indicates that mediators who actively intervene in the bargaining process and assist negotiators in decreasing their audience costs may positively influence the chances of reaching an agreement. Contrarily, it shows at the same time that the effects of inclusive mediation are varied and...

Synchoros VLSI design style can be an alternative choice to fit the increasing complexity of embedded multi-processor architectures. SiLago Block is part of the synchoros blocks, which can effectively reduce the cost of logic and physical synthesis as it is hardened and highly centralized details from each layer of metal. Global NoCs play an essential part in system-level design and there is necessary to benchmark the SiLago global NoC against other existing NoC libraries. In this degree project, the structure of the NoC is established based on the SiLago models, including the wires and the switches. The whole structure has nine times nine grids and sixteen switches are placed inside symmetrically. The connection between two adjacent switches is built up by wires. The routing algorithm inside the switches can support the most common routing situations by destinations, routing states, and routing history. Except the routing algorithm, this essay provides some deadlock situations and also conclude some ways to solve them. The scripts developed from the NoC generator can be used to do the logical and physical synthesis for the SiLago models. The results from the synthesis can be explored to compare against other methods about the hability to estimate cost metrics from a high level of abstraction and the quality of results. The concept of partition is introduced to accomplish physical synthesis, and through this, the design can be more approach to the core idea of synchoros VLSI design. / Synchoros VLSI designstil kan vara ett alternativt val för att passa den ökande komplexiteten hos inbäddade flerprocessorarkitekturer. SiLago Block är en del av synchoros-blocken, som effektivt kan minska kostnaderna för logik och fysisk syntes eftersom det är härdat och mycket centraliserade detaljer från varje lager av metall. Globala NoC spelar en viktig roll i design på systemnivå och det är nödvändigt att jämföra SiLago globala NoC mot andra befintliga NoC-bibliotek. I detta examensarbete fastställs strukturen för NoC baserat på SiLago-modellerna, inklusive ledningarna och switcharna. Hela strukturen har nio gånger nio rutnät och sexton brytare är placerade inuti symmetriskt. Förbindelsen mellan två intilliggande brytare byggs upp av ledningar. Routingalgoritmen inuti switcharna kan stödja de vanligaste routingsituationerna efter destinationer, routingtillstånd och routinghistorik. Förutom routingalgoritmen ger den här uppsatsen några dödlägessituationer och kommer också fram till några sätt att lösa dem. Skripten som utvecklats från NoC-generatorn kan användas för att göra den logiska och fysiska syntesen för SiLago-modellerna. Resultaten från syntesen kan utforskas för att jämföras med andra metoder om förmågan att uppskatta kostnadsmått från en hög abstraktionsnivå och kvaliteten på resultaten. Begreppet partition introduceras för att åstadkomma fysisk syntes, och genom detta kan designen vara mer förhållningssätt till kärnidén med synchoros VLSI-design.

Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.

Les langages synchrones tels que Signal, Lustre et Esterel sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources. En adoptant une approche de validation de la traduction, cette thèse vise à prouver formellement la correction d'un compilateur optimisé et industriel de Signal. La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé. / Synchronous languages such as Signal, Lustre and Esterel are dedicated to designing safety-critical systems. Their compilers are large and complicated programs that may be incorrect in some contexts, which might produce silently bad compiled code when compiling source programs. The bad compiled code can invalidate the safety properties that are guaranteed on the source programs by applying formal methods. Adopting the translation validation approach, this thesis aims at formally proving the correctness of the highly optimizing and industrial Signal compiler. The correctness proof represents both source program and compiled code in a common semantic framework, then formalizes a relation between the source program and its compiled code to express that the semantics of the source program are preserved in the compiled code.

Serviceevolution erlaubt es, einen Service durch einen anderen Service zu verfeinern oder zu ersetzen. Der Austausch durch einen anderen Service sollte garantieren, dass alle oder ausgewählte Partner des Originalservices erhalten bleiben. In dieser Arbeit entwickeln wir einen Ansatz welcher einem Serviceentwickler helfen soll, Analyse- und Syntheseaufgaben für den Serviceaustausch so durchzuführen, dass jeder Partner eines gegebenen Services beim Austausch erhalten bleibt. Wir modellieren einen Kontrollfluss eines Services als Beschreibung der Reihenfolge von asynchron kommunizierenden Ereignissen mittels eines impliziten ungeordneten Nachrichtenspeichers. Weiterhin studieren wir den Verhaltensaspekt von korrekter Interaktion zwischen Services und konzentrieren uns auf zwei Varianten von Verklemmungsfreiheit als Korrektheitskriterien von Serviceersetzung. Der wichtigste Beitrag ist ein Ansatz zur Charakterisierung jedes möglichen Austausches eines gegebenen Services. Die zentrale Idee dieses Ansatzes ist eine systematische Untersuchung der Verbindung zwischen einem Service und all seiner Partner bzgl. eines gegebenen Korrektheitskriteriums. Wir nutzen diese Verbindung um von einem gegebenen Service einen kanonischen Partner und einen kanonischen Austausch bzgl. aller Partner zu synthetisieren. Ein Service welcher den kanonischen Austausch eines gegebenen Services verfeinert wird als Austausch des gegebenen Services angesehen, wenn die Menge all seiner Partner jeden Partner des gegebenen Services enthält. Mit dem kanonischen Austausch eines gegebenen Services identifizieren wir die Menge der möglichen austauschenden Services eines gegebenen Services bei der jeder exakt die gleichen Partner wie der gegebene Service hat. Einige Ergebnisse dieser Arbeit fundieren auf früheren Arbeiten zu Austausch und Korrektheit von Services und können daher mit diesen verbunden werden um schwierigere Analyse- und Syntheseaufgaben für den Serviceaustausch durchzuführen. / Service evolution allows one service to be refined into or substituted by another service. Substituting one service by another service should guarantee to preserve all or selected partners of the original service. In this thesis, we develop an approach that shall assist a service designer, such as a domain expert, to perform analysis and synthesis tasks on service substitution. We model a control flow of services that describes the ordering of asynchronously communicating events over an implicit unordered message buffer. We study the behavioral aspect of correct interaction between services and concentrate on two variants of deadlock freedom as correctness criteria of service substitution. The major contribution of this thesis is an approach for characterizing the set of all substitutes for a given service. We systematically investigate the relationship between a service and all its partners under a given correctness criterion and employ this relationship to synthesize from a given service its canonical partner and its canonical substitute with respect to all partners. A service that refines the canonical substitute for a given service is regarded as a substitute for the given service if the set of all its partners includes every partner of the given service. With the canonical substitute of a given service, we identify a specific subset of the set of all substitutes for the given service, each of which has exactly the same set of partners as that of the given service. Parts of the results in this thesis have been established upon previous works on service substitution and correctness of services. Consequently, we can also combine our results with the related existing techniques to perform more sophisticated analysis and synthesis tasks on service substitution.

Indiana University-Purdue University Indianapolis (IUPUI) / Current mainstream computing systems have become increasingly complex. Most of which have Central Processing Units (CPUs) that invoke multiple threads for their computing tasks. The growing issue with these systems is resource contention and with resource contention comes the risk of encountering a deadlock status in the system. Various software and hardware approaches exist that implement deadlock detection/avoidance techniques; however, they lack either the speed or problem size capability needed for real-time systems. The research conducted for this thesis aims to resolve issues present in past approaches by converging the two platforms (software and hardware) by means of the Graphics Processing Unit (GPU). Presented in this thesis are two GPU-based deadlock detection algorithms and one GPU-based deadlock avoidance algorithm. These GPU-based algorithms are: (i) GPU-OSDDA: A GPU-based Single Unit Resource Deadlock Detection Algorithm, (ii) GPU-LMDDA: A GPU-based Multi-Unit Resource Deadlock Detection Algorithm, and (iii) GPU-PBA: A GPU-based Deadlock Avoidance Algorithm. Both GPU-OSDDA and GPU-LMDDA utilize the Resource Allocation Graph (RAG) to represent resource allocation status in the system. However, the RAG is represented using integer-length bit-vectors. The advantages brought forth by this approach are plenty: (i) less memory required for algorithm matrices, (ii) 32 computations performed per instruction (in most cases), and (iii) allows our algorithms to handle large numbers of processes and resources. The deadlock detection algorithms also require minimal interaction with the CPU by implementing matrix storage and algorithm computations on the GPU, thus providing an interactive service type of behavior. As a result of this approach, both algorithms were able to achieve speedups over two orders of magnitude higher than their serial CPU implementations (3.17-317.42x for GPU-OSDDA and 37.17-812.50x for GPU-LMDDA). Lastly, GPU-PBA is the first parallel deadlock avoidance algorithm implemented on the GPU. While it does not achieve two orders of magnitude speedup over its CPU implementation, it does provide a platform for future deadlock avoidance research for the GPU.

No description available.

La trascendencia práctica del tema del régimen jurídico de las joint ventures es indudable. En los Estados miembros de la Unión Europea, y más especialmente en España, las joint ventures remiten a una idea de mayor eficiencia económica, permitiendo a las empresas formar alianzas entre ellas, y así mejorar su competitividad, adaptando sus estructuras a las dimensiones crecientes de los mercados europeos y mundiales.Las joint ventures no están reguladas como tales en ninguna legislación nacional europea. El derecho comunitario se concentra por su parte en el análisis de los efectos de estas operaciones sobre la competencia. Las joint ventures adquieren en la práctica, únicamente, su contenido jurídico.Este estudio tiene por objetivo presentar un análisis a la vez teórico y práctico del régimen jurídico de las joint ventures, intentando definir el "valor añadido" del trabajo del jurista profesional cuando interviene en la creación y el funcionamiento de las joint ventures. La adopción de esta óptica funcionalista permite integrar el análisis de los diversos aspectos jurídicos de las joint ventures, sus estructuras contractuales y societarias así como su tratamiento en derecho de la competencia, que se abordan tradicionalmente en estudios separados, e insistir en la interelación existente entre las diversas ramas del derecho afectadas. Este estudio se concentra esencialmente en las cuestiones planteadas por las joint ventures en el ámbito del derecho de las obligaciones y del derecho societario.El jurista profesional desempeña, en primer lugar, una función de naturaleza organizativa, creando un conjunto de reglas obligatorias (reglas jurídicas) para todas las empresas participantes en la operación, de acuerdo con sus intereses estratégicos. El resultado puede ser, por ejemplo, la conclusión de un simple contrato, la constitución de una AEIE o la de una sociedad de capital. La complejidad de la organización jurídica de la joint venture impide estudiar de manera separada, como dos piezas aisladas, el llamado acuerdo de base de la joint venture por un lado, y la sociedad eventualmente constituida, la llamada filial común, por otro. El hecho de no entender la filial común como parte de un todo unitario y más complejo no permite describir correctamente las especialidades del régimen aplicable a dicha sociedad frente a sociedades constituidas en otros contextos económicos. La organización compleja de las joint ventures se diferencia de otros negocios jurídicos complejos por razón de su finalidad económica específica, la de establecer una alianza entre empresas. Tal como indica el derecho comunitario de la competencia, la joint venture es una operación en la que: (i) participan dos o más empresas independientemente activas en el mercado; (ii) se agrupan recursos necesarios al desarrollo de una actividad económica común en el seno eventualmente, pero no obligatoriamente, de una entidad separada (la llamada empresa común"); (iii) las empresas participantes ejercen un control conjunto sobre dicha actividad económica común. Estos tres elementos forman el núcleo de la definición de la joint venture en derecho.La cuestión de la validez y eficacia jurídica de los pactos presentes en el contrato complejo de joint venture, cuando implica la existencia de una sociedad de capital, es la que más dificultades plantea. El problema respecto a la joint venture, como respecto a muchos otros contratos complejos, es organizar un discurso sobre el uso de la libertad y sus consecuencias en el ámbito del derecho de sociedades.Mientras el jurista profesional organiza la joint venture, atrae también la atención del legislador sobre las necesidades jurídicas de las empresas que deciden "aliarse" en el seno de una joint venture. Los pactos presentes en los contratos complejos de joint venture no dependen únicamente del contenido del derecho aplicable a la sociedad "filial común" por ejemplo, sino también de la creatividad de los juristas profesionales. Las finalidades a cubrir por el contrato lo serán en regla general mediante combinaciones originales y complejas de mecanismos jurídicos, demostrándose una vez más el papel relevante de la práctica en la formación del derecho. Como consecuencia, puede observarse una tendencia a la flexibilización del derecho aplicable a las sociedades de capital, sobre todo en los países europeos continentales. Esta adaptación del derecho a la realidad práctica se observa también, y de manera significativa, en otras ramas del derecho, como en derecho de la competencia donde el legislador intenta introducir un tratamiento cada vez más pragmático de los efectos producidos por las joint ventures sobre los mercados. El análisis de la organización jurídica de las joint ventures en la práctica demuestra, sin embargo, la falta de utilidad y de oportunidad de una ordenación legal de la joint venture como tal en Europa. Como en el caso de la organización de la empresa, basta con que los operadores "candidatos" a la alianza encuentren en el derecho positivo los legal tools, o instrumentos jurídicos, adaptados a los objetivos económicos legítimos que persiguen ( por ejemplo, diversas formas sociales, la AIE, la UTE, la cuenta en participación etc), y sobre la base de los cuales puedan conservar y reforzar el sentimiento de confianza que necesitan tener en la operación y en su "aliado" para alcanzar con éxito estos objetivos. / This study provides a comprehensive analysis of both practical and theoretical legal issues raised by joint ventures in Europe. In the European Union member states and especially in Spain, joint ventures are viewed as a high efficient strategic operation - allowing alliances between firms, which may improve their competitiveness and adapt them to the growing dimensions of European markets and to the new global economy. Joint ventures are not organised as such by any statute law in Europe. European law focuses on the analysis of the effects they may produce on competition. Joint ventures obtain a legal content only in practice.The aim of this study is to define the "added value" of the practical work of lawyers, when they take part in processes of creation of joint ventures. This question allows to integrate the analysis of different legal aspects of joint ventures - their contractual and corporate structure as well as their legal treatment under competition law - which are traditionally treated in separate studies, and to point out the existence of on-going interfaces between them. This study focuses essentially on the contractual and corporate aspects of joint ventures. Practitioners set up, first of all, mechanisms which are compulsory - i.e. legal rules - for the firms involved in the operation according to their strategic interests. The result may be, for instance, the creation of a mere "contractual joint venture", of an European Economic Interest Grouping, or the incorporation of a "joint venture company". The complexity of the joint venture legal organisation prevents from studying separately the so-called "joint venture agreement" on which is based the operation, and the company which may be incorporated within it. The joint venture company is only a part of a more complex ensemble, which needs to be understood as such in order to be correctly analysed.The complex legal organisation of joint ventures differs from any other complex legal organisations because of its specific purpose, ie. establish a strategic alliance between firms. It aims to organise an operation in which: (i) participate two or more firms independently active on the market; (ii) are gathered the resources necessary to carry out a common business activity, possibly but not obligatory within a separate entity; and (iii) the participating firms jointly control the common business activity. Those three features are at the basis of the legal definition of joint ventures.The question of the legal validity and efficiency of the terms and conditions present in incorporated joint venture agreements is the more problematic one for the practitioners. The main difficulty in relation with joint ventures like in relation with many other complex agreements is to determine the limits of use of contractual freedom in company law.While organising the operation, the practitioners are also drawing the attention of the legislator on the legal needs of the firms willing to enter into alliances. The terms and conditions present in joint venture agreements depend not only on the content of the statute law applicable to the joint venture company for example, but also on the creative skills of the practitioners. The joint venture agreement needs to cover different purposes generally through original and complex combinations of legal mechanisms, proving once again the relevant role of practice in the generation of law.As a result, it is possible to observe a certain "flexibilization" of the rules in company law, especially in continental Europe. This new tendency develops in parallel with the movement observed in competition law towards a more realistic and pragmatic analysis of joint venture effects on the markets.The analysis of the legal organisations of joint ventures existing in practice demonstrates however the lack of necessity for a statutory regulation of this (strategic) operation in Europe. Like in the case of the organisation of a firm, the economic players willing to enter into strategic alliances only need to find in statute law different "legal tools" which may adapt their legitimate economic interests - such as different company forms, the Economic Interest Grouping, the partnership - and on the basis of which they can conserve and reinforce the confidence they need to have in their partner and in the operation in order to achieve successfully their purposes.