Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

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

O presente relatório é o resultado do estágio de seis meses efetuado entre setembro de 2014 e fevereiro de 2015 no Centro de Arbitragem Comercial da Câmara de Comércio e Indústria Portuguesa. O presente texto descreve as diversas atividades desenvolvidas durante o período do estágio, assim como uma análise teórica do instituto de arbitragens paralelas. Foi também efetuada uma atualização de dados recolhidos sobre processos arbitrais do Centro de Arbitragem já terminados, entre os anos 1990 e 2015, e adicionados dados novos, sobre as diferentes pessoas jurídicas que recorrem ao CAC, tanto em arbitragens institucionalizadas como arbitragens ad hoc.

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.

O Ciclo Vicioso do Satisfatório na Gestão de Terminologia em Contexto Empresarial: problemas e oportunidades

É objetivo geral deste trabalho perceber o modo como as empresas gerem as terminologias e as línguas de especialidade em contextos de comunicação multilingues, especialmente quando mediada por tradução. Com base num suporte teórico da Terminologia aplicada à tradução e, sempre que necessário, dado o teor interdisciplinar do tema, em pressupostos da Gestão e da Tradução especializada, desenvolvemos a pesquisa no âmbito de um quadro metodológico descritivo, sustentado em vários métodos qualitativos e quantitativos de recolha primária e secundária de dados. Temos, por pano de fundo, um cenário aparentemente paradoxal. Por um lado, para os clientes (empresas e consumidores), a língua é vista como um ativo e um recurso funcional e de apoio: serve como meio para atingir um objetivo, não é o objetivo em si. Do outro lado, da indústria da língua, a língua é matéria-prima e o bem final, ou seja, é o objetivo, o seu produto final, pelo que a preocupação com a qualidade linguística é muito maior. A investigação foi desenvolvida em dois ciclos de pesquisa. No primeiro, o trabalho centra-se na língua portuguesa, como língua de chegada, no mercado global da tradução especializada da CPLP, do qual apresentamos um contorno possível. No segundo ciclo, descrevemos a forma como as línguas são geridas nas empresas internacionalizadas, com destaque para a prática de tradução empresarial ad hoc – e discutimos o status quo da gestão terminológica na generalidade das empresas. Mais do que apontar falhas, apesar de termos identificado a terminologia como um dos fatores críticos do processo, tentamos perceber a causa do ciclo do satisfatório mantido nas empresas, que os melhores argumentos e estudos dos agentes da indústria da língua, nomeadamente da terminologia, não têm conseguido mudar. Numa abordagem, sempre que possível, abrangente e integradora à questão, tentamos desmistificar a clivagem entre fornecedores e clientes e a ideia tout court de más-práticas das empresas, vendo-as à luz das políticas linguísticas da Comunidade Europeia, mas também das caraterísticas da sociedade global do conhecimento. Aí identificamos algumas oportunidades, que exigem não só o investimento da cultura empresarial, mas também uma atitude mais pró-ativa dos agentes da Terminologia, de forma a agilizar o processo de mudança baseado na educação para a qualidade. Deste modo, pensamos ser mais fácil criar uma “cultura favorável” à gestão de terminologia, e à qualidade da língua de especialidade em geral, baseada na confiança e na competência, com atitudes e comportamentos cooperantes ao nível de todas as partes interessadas.

A public transport bus assignment problem: parallel metaheuristics assessment

Combinatorial Optimization Problems occur in a wide variety of contexts and generally are NP-hard problems. At a corporate level solving this problems is of great importance since they contribute to the optimization of operational costs. In this thesis we propose to solve the Public Transport Bus Assignment problem considering an heterogeneous fleet and line exchanges, a variant of the Multi-Depot Vehicle Scheduling Problem in which additional constraints are enforced to model a real life scenario. The number of constraints involved and the large number of variables makes impracticable solving to optimality using complete search techniques. Therefore, we explore metaheuristics, that sacrifice optimality to produce solutions in feasible time. More concretely, we focus on the development of algorithms based on a sophisticated metaheuristic, Ant-Colony Optimization (ACO), which is based on a stochastic learning mechanism. For complex problems with a considerable number of constraints, sophisticated metaheuristics may fail to produce quality solutions in a reasonable amount of time. Thus, we developed parallel shared-memory (SM) synchronous ACO algorithms, however, synchronism originates the straggler problem. Therefore, we proposed three SM asynchronous algorithms that break the original algorithm semantics and differ on the degree of concurrency allowed while manipulating the learned information. Our results show that our sequential ACO algorithms produced better solutions than a Restarts metaheuristic, the ACO algorithms were able to learn and better solutions were achieved by increasing the amount of cooperation (number of search agents). Regarding parallel algorithms, our asynchronous ACO algorithms outperformed synchronous ones in terms of speedup and solution quality, achieving speedups of 17.6x. The cooperation scheme imposed by asynchronism also achieved a better learning rate than the original one.

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.