Partial replication in distributed software transactional memory

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

Maintaining the correctness of transactional memory programs

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

Negotiation environment to support enterprise interoperability sustainability

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

Um estudo de performance de uma ferramenta de Object/Relational Mapping

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

Lightweight monitoring of transactional memory programs

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.

Vodafone - Kabel Deutschland Merger

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Case study preparation: The whatsApp acquisition from Facebook

The purpose of this work project is to analyze the acquisition of WhatsApp from Facebook occurred on 19th February 2014. The main research has the aim to understand if the price tag of $19 billion paid by Mark Zuckerberg was fair. Along the reaction of Facebook’s EPS on the keydays after the purchase, a balanced assessment of the acquisition was obtained and discussed. Results suggest that the price tag could be reasonable. However, taking into account the industry in which the two companies operate, where competition is quite intense, Facebook should assess this deal in a longerterm perspective.

entrante aa noite

Este trabalho pretende, a partir da análise de textos literários e não literários do português antigo, incluídos no Corpus Informatizado do Português Medieval (CLUNL/FCSH-UNL), descrever e interpretar a distribuição sintática e as propriedades do particípio presente no português antigo, verificando semelhanças e diferenças com outras formas não finitas, principalmente o gerúndio. Procurou-se averiguar o que caracteriza as formas de particípio presente do português antigo e do português europeu contemporâneo e o que as distingue de outras formas não finitas do verbo, no que diz respeito aos contextos em que ocorrem, mas também quanto ao seu funcionamento. Assim, analisando mais detalhadamente as orações em que estes particípios ocorrem com função verbal, investigaram-se algumas das suas propriedades internas (legitimação de sujeitos plenos, identificação e legitimação de sujeitos nulos, ordem de palavras), de modo a poder explicar o seu funcionamento e estrutura. No português antigo, as formas de particípio presente tinham características distintas das do português contemporâneo. No português de hoje, as formas terminadas em -nte, subsistem apenas como nomes (estudante, presidente, pedinte) e adjetivos (minguante, cadente, seguinte). O uso verbal destas formas desapareceu, tendo sido substituído por outras formas não finitas, nomeadamente o gerúndio e o infinitivo. Quando ainda mantinha o seu funcionamento verbal, o particípio presente ocorria nos mesmos contextos sintáticos em que encontramos outras formas não finitas, principalmente o gerúndio. Estas duas formas pareciam funcionar como variantes livres, tendo depois o gerúndio substituído a forma participial na maioria dos contextos. A análise dos dados e a comparação efetuada com as formas de gerúndio que ocorrem no mesmo contexto (adjunção adverbial) permitiram concluir que as estruturas com particípio do português se mostram mais defetivas (ocorrem sem conector, não há casos de negação própria e não há particípios presentes compostos) do que as gerundivas. No entanto, essa defetividade não parece dever-se à própria forma de particípio, pois foi possível encontrar particípios presentes como predicados principais.

In vitro activity of antimicrobial combinations against multidrug-resistant Pseudomonas aeruginosa

Introduction Pseudomonas aeruginosa isolates related to nosocomial infections are often resistant to multiple antibacterial agents. In this study, antimicrobial combinations were evaluated to detect in vitro synergy against clinical isolates of P. aeruginosa. Methods Four clinical P. aeruginosa isolates were selected at random among other isolates from inpatients treated at the public University hospital in Ribeirão Preto, SP, Brazil. Two isolates were susceptible to imipenem (IPM-S) and several other antimicrobials, while the other two isolates were imipenem and multidrug resistant (IPM-R). The checkerboard method was used to assess the interactions between antimicrobials. Results Combinations of imipenem or other anti-Pseudomonas drugs with complementary antibiotics, such as aminoglycosides, fosfomycin and rifampin, reached synergy rates of 20.8%, 50%, 62.5% and 50% for the two IPM-S and two IPM-R Pseudomonas isolates, respectively. Imipenem, piperacillin-tazobactam and ceftazidime yielded a greater synergy rate than cefepime or ciprofloxacin. Synergist combinations were more commonly observed when the complementary drug was tobramycin (65%) or fosfomycin (57%). Conclusions Some antibacterial combinations led to significant reductions of the minimum inhibitory concentrations of both drugs, suggesting that they could be clinically applied to control infections caused by multidrug-resistant P. aeruginosa.

Multipacket reception in the presence of in-band full-duplex communication

In-Band Full-DupleX (IB-FDX) is defined as the ability for nodes to transmit and receive signals simultaneously on the same channel. Conventional digital wireless networks do not implement it, since a node’s own transmission signal causes interference to the signal it is trying to receive. However, recent studies attempt to overcome this obstacle, since it can potentially double the spectral efficiency of current wireless networks. Different mechanisms exist today that are able to reduce a significant part of the Self- Interference (SI), although specially tuned Medium Access Control (MAC) protocols are required to optimize its use. One of IB-FDX’s biggest problems is that the nodes’ interference range is extended, meaning the unusable space for other transmissions and receptions is broader. This dissertation proposes using MultiPacket Reception (MPR) to address this issue and adapts an already existing Single-Carrier with Frequency-Domain Equalization (SC-FDE) receiver to IB-FDX. The performance analysis suggests that MPR and IB-FDX have a strong synergy and are able to achieve higher data rates, when used together. Using analytical models, the optimal transmission patterns and transmission power were identified, which maximize the channel capacity with the minimal energy consumption. This was used to define a new MAC protocol, named Full-duplex Multipacket reception Medium Access Control (FM-MAC). FM-MAC was designed for a single-hop cellular infrastructure, where the Access Point (AP) and the terminals implement both IB-FDX and MPR. It divides the coverage range of the AP into a closer Full-DupleX (FDX) zone and a farther Half-DupleX (HDX) zone and adds a tunable fairness mechanism to avoid terminal starvation. Simulation results show that this protocol provides efficient support for both HDX and FDX terminals, maximizing its capacity when more FDX terminals are used.

Aspects of Passives in Capeverdean (Santiago’s variety)

The present dissertation intends to study passives in Capeverdean. I argue that Capeverdean have eventive passives with specific morphology, postverbal morphemes, -du and -da, which affix to the verb to form passives and interact with the TMA morphemes available in the language in the same way as in the active voice. I also show that Capeverdean only allows short passives. However, this study demonstrates that the by-phrase, although not expressed phonologically, is implicit and can be tracked through instrumentals and Agent-oriented adverbs. In order to account for this specific property of Capeverdean passives, I assume the existence of a Voice head which introduces the external argument in all finite sentences in Capeverdean, except in unaccusatives, following proposals from Marantz (1984), Kratzer (1996), Sailor & Ahn (2010), Pratas (2014). I also assume that this Voice head is subject to a Doubly Filled Comp Filter, similar to what is proposed in Koopman (1997), which determines that either heads or specifiers can be overt, never both. In the case of passives, I propose that external argument is in Spec,Voice and the passive morphology is lexicalized in Voice0 and that while Spec,Voice is silent, Voice0 is not. This configuration can be explained if it is assumed, following Costa & Martins (2004), that in Capeverdean passives Voice0 is a strong functional head, thus requiring visibility at PF. This restriction, combined with the Doubly Filled Comp filter, imposes that Spec,Voice is silent.

Synergistic interactions in mixed-species biofilms of pathogenic bacteria from the respiratory tract

IntroductionMixed-species biofilms are involved in a wide variety of infections. We studied the synergistic interactions during dual-species biofilm formation among isolates of Pseudomonas aeruginosa, Acinetobacter baumannii, and Stenotrophomonas maltophilia.MethodsIsolates were cultured as single-species and all possible combinations of dual-species biofilms.ResultsThe 61 A. baumannii biofilms increased by 26-fold when cultured with S. maltophilia isolates; 62 A. baumannii biofilms increased by 20-fold when cultured with S. maltophilia isolates; and 31 P. aeruginosa biofilms increased by 102-fold when cultured with S. maltophilia 106.ConclusionsSynergy was observed between two isolates, including those that inherently lacked biofilm formation ability.

O espaço das informações no combate ao terrorismo

The management of terrorism presents an added importance because of the ignorance and uncertainty that this threat to peace launches in societies. From the globalization process has resulted a capacity of mobility and communication which allowed the spread of terrorism globally and hence the ability to be in the international agenda. Thus it became necessary a synergy between the main international organizations and states, in the common interest of managing terrorism to acceptable levels. This thesis aims to assess how much space is reserved for intelligence on combating terrorism. To this end, it carried out a literature review related to intelligence, security and terrorism, such as legislation and official documents, national and international. These allowed realize the strategies for combating terrorism of major international organizations and the Portuguese, the institutions that are in charge of fighting terrorism and related crimes, highlighting the intelligence institutions within the European Union and Portugal. Intelligence should enter on this panel by the need to meet the threat and its contours. On the one hand lies to understand the framework which establishes terrorism, tracing relevant scenarios to reduce uncertainty in decision-making and, on the other hand, also be responsible for disseminating information to other stakeholders on security, allowing its commands to use the means efficiently.