A framework for memory contention analysis in multi-core platforms

The last decade has witnessed a major shift towards the deployment of embedded applications on multi-core platforms. However, real-time applications have not been able to fully benefit from this transition, as the computational gains offered by multi-cores are often offset by performance degradation due to shared resources, such as main memory. To efficiently use multi-core platforms for real-time systems, it is hence essential to tightly bound the interference when accessing shared resources. Although there has been much recent work in this area, a remaining key problem is to address the diversity of memory arbiters in the analysis to make it applicable to a wide range of systems. This work handles diverse arbiters by proposing a general framework to compute the maximum interference caused by the shared memory bus and its impact on the execution time of the tasks running on the cores, considering different bus arbiters. Our novel approach clearly demarcates the arbiter-dependent and independent stages in the analysis of these upper bounds. The arbiter-dependent phase takes the arbiter and the task memory-traffic pattern as inputs and produces a model of the availability of the bus to a given task. Then, based on the availability of the bus, the arbiter-independent phase determines the worst-case request-release scenario that maximizes the interference experienced by the tasks due to the contention for the bus. We show that the framework addresses the diversity problem by applying it to a memory bus shared by a fixed-priority arbiter, a time-division multiplexing (TDM) arbiter, and an unspecified work-conserving arbiter using applications from the MediaBench test suite. We also experimentally evaluate the quality of the analysis by comparison with a state-of-the-art TDM analysis approach and consistently showing a considerable reduction in maximum interference.

A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

A lei aplicável ao processo de arbitragem internacional

This paper is the author’s Master’s Thesis. It aims to study the content of lexarbitri, i.e. the relevant law regarding international arbitration. Under both Portuguese law and UNCITRAL model law, the seat’s legal provisions shall be applied at all times. Contrarily, French and Swiss legislations allow parties and arbitrators to apply any arbitration law to international arbitration, whether the seat law or a foreign arbitration law. There is not a sole understanding towards the criteria to determine the legal provisions that shall govern international arbitration. Traditionally, the lexarbitri would correspond to the arbitration law of the seat of the arbitration. The territorialist criteria remains in force under the majority of arbitration laws that the author has consulted. However, it has been criticized by several authorities in international arbitration, who suggest that the arbitration shall be governed by the law of the seat or of the place in which the award is to be enforcement, whichever better grants its enforcement – the cumulative doctrine; or the arbitration shall be governed by a set of provisions that make up the autonomous transnational legal, regardless of the legal provisions of the law of the seat – the transnational doctrine. The author intends to debate the three mentioned understandings regarding the lexarbitriand further explains why the territorialist criteria is the most adequate to the characteristics and demands of international arbitration, to the governing instruments in force and to the need for a useful award.

A arbitragem como alternativa para diminuir a morosidade do sistema judiciário brasileiro

This thesis is about arbitration, a form of alternative dispute resolution, as a solution for the slowness of the Brazilian Judiciary. The paper starts with an approach of the fundamental rights, highlighting their positivation, important to distinguish them from human rights, the four dimensions of the fundamental rights and, lastly, the analysis of their features, emphasizing their characters of complementarity and universality. After, it starts to discourse about the “access to Justice”, an important fundamental right, and, to delimitate the role of the Judiciary and the problems related to solve cases in a reasonable amount of time. Next, it exposes other alternative forms of dispute resolutions that, like the arbitration, can help to the concretization of a faster and more effective Justice. Then, it discusses the historical evolution of the arbitration in Brazil, highlighting the contemporary features of the institute, which were more visible with the ratification of the New York Convention and the promulgation of Law nº 9.307/1996. In addition, it analyses the possible changes that will come with the New Brazilian Procedure Law Code and the PL 7.108/2014, intended to change the current Arbitration Law. It also explains the main arbitration attributes, describing the peculiarities of the arbitral convention, the arbitrator role, and the arbitral award aspects. At least, it lists the main reasons someone should choose arbitration instead the Judiciary, considering the Brazilian Courts reality.

As práticas comerciais desleais

The following study aims to examine a controversial and relatively unexplored subject within our system: the legal framework on unfair business-to-consumer commercial practices. Given the fact that this subject is based on the Directive 2005/29/EC, we considered to be appropriate to explore, firstly, the background and origin of such normative instrument. Nevertheless, we have centered our analysis on the interpretation of the set rules established by the Portuguese legal system (Law nr 57/2008, March 26th). For this dissertation, we have proposed a model of tripartite approach. Chapter V seeks to shed light on the general clause by analyzing a set of open concepts such as professional diligence, honest market practice, good faith or material distortion of the consumer’s economic behavior. In chapter VI, we will focus on two common types of unfair commercial practices: misleading and aggressive practices. Finally, due to the fact that chapter VII deals with the black list, we have illustrated the listed practices by giving real life examples. Taking into account the indefinite concepts used in the general prohibition and in the misleading and aggressive clauses, it is particularly difficult to demonstrate the unfairness of the professional’s behavior. In the light of this information, we have concluded that the regime fails on achieving its main goal: it does not protect proper and effectively the consumer’s interests.

Relatório de estágio no Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa

This report is the outcome of an internship that took place in Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa and its completion is an essential part of the path towards obtaining the Master’s Degree in Faculdade de Direito da Universidade Nova de Lisboa. This report has been structured in two stages – firstly, the presentation of the Centro de Arbitragem Comercial, focusing on its field of expertise, organic structure, principles and advantages. Then, the description of the activities developed within the Secretariat over the several stages of the arbitration procedure – since the reception of the arbitration requirement in institutional proceedings, terms of reference in ad hoc procedures, through the monitoring of the arbitral tribunal sessions (preliminary hearings, submission of evidence and final allegations) and the notification of the arbitration award. The second stage of this report is related to the description of the functions and powers of the President of Centro de Arbitragem Comercial. Firstly, it defines those powers by analyzing the statutes and rules of proceedings of the Centro de Arbitragem, drawing comparisons between the above mention and the rules of proceedings of others arbitral institutional centres, some of them are international references. The report assesses and describes the presidential powers, such as: configuration and composition of the arbitral tribunal (including arbitrator’s replacements, excuses and refusals); deadline extensions; determination of procedural rules and decision-making on any procedural incidents which arise before the constitution of the arbitral tribunal; definition of arbitration costs and fees; joinder of parties and consolidation of proceedings admission; and appointment of an emergency arbitrator. Lastly, this report analyzes some decisions delivered by the President in the respective institutional procedures which took place in the Centre.

Períodos de Fidelização

This dissertation aims to study the loyalty clauses present in most of the long lasting service contracts. We introduce its main features and the consequences that arise from breaching of contract. We analyze the presence of loyalty periods in the Portuguese legislation. In this sense, we discuss Decree-Law 446/85, Law 24/96, Decree-Law 57/2008 and Decree-Law 56/2010. The loyalty period is the minimum period of time for which the contract should be maintained. In most cases, when this obligation is not fulfilled a penalty clause is set, intending to push the weaker party to comply with the contract or sanction it when the party fails to do so. We conclude that the contractual relationship where there is a loyalty period is usually an unbalanced relationship because it only protects the interest of one party. The penalty clause should not be admitted between parties with unequal bargaining powers. The contractual imbalance is not limited to consumer contracts.

Relatório de estágio curricular no Centro de Arbitragem Comercial da Câmara de Comércio e Indústria portuguesa

This report is the outcome of an internship that took place in Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa and its completion is an essential part of the path towards obtaining the Master’s Degree in Faculdade de Direito da Universidade Nova de Lisboa. This report has been structured in two stages – firstly, the presentation of the Centro de Arbitragem Comercial, focusing on its field of expertise, organic structure, principles and advantages. Then, the description of the activities developed within the Secretariat over the several stages of the arbitration procedure – since the reception of the arbitration requirement in institutional proceedings, terms of reference in ad hoc procedures, through the monitoring of the arbitral tribunal sessions (preliminary hearings, submission of evidence and final allegations) and the notification of the arbitration award. The second stage of this report is related to the description of the functions and powers of the President of Centro de Arbitragem Comercial. Firstly, it defines those powers by analyzing the statutes and rules of proceedings of the Centro de Arbitragem, drawing comparisons between the above mention and the rules of proceedings of others arbitral institutional centres, some of them are international references. The report assesses and describes the presidential powers, such as: configuration and composition of the arbitral tribunal (including arbitrator’s replacements, excuses and refusals); deadline extensions; determination of procedural rules and decision-making on any procedural incidents which arise before the constitution of the arbitral tribunal; definition of arbitration costs and fees; joinder of parties and consolidation of proceedings admission; and appointment of an emergency arbitrator. Lastly, this report analyzes some decisions delivered by the President in the respective institutional procedures which took place in the Centre.

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.

A lei aplicável ao processo de arbitragem internacional

This paper is the author’s Master’s Thesis. It aims to study the content of lexarbitri, i.e. the relevant law regarding international arbitration. Under both Portuguese law and UNCITRAL model law, the seat’s legal provisions shall be applied at all times. Contrarily, French and Swiss legislations allow parties and arbitrators to apply any arbitration law to international arbitration, whether the seat law or a foreign arbitration law. There is not a sole understanding towards the criteria to determine the legal provisions that shall govern international arbitration. Traditionally, the lexarbitri would correspond to the arbitration law of the seat of the arbitration. The territorialistcriteria remains in force under the majority of arbitration laws that the author has consulted.However, it has been criticized by several authorities in international arbitration, who suggest that the arbitration shall be governed by the law of the seat or of the place in which the award is to be enforcement, whichever better grants its enforcement – the cumulative doctrine; or the arbitration shall be governed by a set of provisions that make up the autonomous transnational legal, regardless of the legal provisions of the law of the seat – the transnational doctrine. The author intends to debate the three mentioned understandings regarding the lexarbitriand further explains why the territorialist criteria is the most adequate to the characteristics and demands of international arbitration, to the governing instruments in force and to the need for a useful award.

Relatório de estágio curricular no Centro de Arbitragem Comercial

The main purpose of this report is to present the work developed during the curricular internship on the Commercial Arbitration Centre of the Portuguese Chamber of Commerce and Industry. It is structured in two parts. The first, in which i´ll present the CAC, its organic structure and its activities. In this part I will also show the work I´ve done during the internship, as well as i´m going to identified, and comment, the tasks performed. The second part presents a study on arbitration awards that aimed to determine the amount “split the baby awards”, that is to say those that condemn in (approximately) half of the request. In addition to these data, I collected from sentences other, such as the duration of the cases, the number of foreign persons in each process, the number of foreign arbitrators, the language of proceedings etc. What is expected with this paperwork is to be able to clarify, and make known, some aspects on Arbitration in Portugal, thus contributing to the strengthening of the role of the Arbitration and Arbitral Justice.

A escolha do direito aplicável ao mérito do litígio na arbitragem comercial internacional

Dissertação de mestrado em Direito dos Contratos e da Empresa

A criação de um Tribunal Internacional Tributário como forma de superar limitações do Procedimento Amigável previsto no artigo 25.º da Convenção Modelo da OCDE

Dissertação de mestrado em Direito Tributário e Fiscal

A (in)existência de apoio judiciário na arbitragem administrativa: o direito de acesso à tutela jurisdicional efetiva?

Dissertação de mestrado em Direito Administrativo