Solving colored nonograms

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

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.

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

Wetland Habitat Studies using various Classification Techniques on Multi-Spectral Landsat Imagery: Case study: Tram chim National Park, Dong Thap Vietnam

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

A proof system for lock-free concurrency

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

Speed control of induction machine based on direct torque control method

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Multi-GPU support on the marrow algorithmic skeleton framework

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

Data-centric concurrency control on the java programming language

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

Child programming: an adequate domain specific language for programming specific robots

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

Energy-efficient diversity combining for different access schemes in a multi-path dispersive channel

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e Computadores

Impact of carbon/nitrogen feeding strategy on polyhydroxyalkanoates production using mixed microbial cultures

Polyhydroxyalkanoates (PHA) production using mixed microbial cultures (MMC) requires a multi-stage process involving the microbial selection of PHA-storing microorganisms, typically operated in sequencing batch reactors (SBR), and an accumulation reactor. Since low-cost renewable feedstocks used as process feedstock are often nitrogen-deficient, nutrient supply in the selection stage is required to allow for microbial growth. In this context, the possibility to uncouple nitrogen supply from carbon feeding within the SBR cycle has been investigated in this study. Moreover, three different COD:N ratios (100:3.79, 100:3.03 and 100:2.43) were tested in three different runs which also allowed the study of COD:N ratio on the SBR performance. For each run, a synthetic mixture of acetic and propionic acids at an overall organic load rate of 8.5 gCOD L-1 d-1 was used as carbon feedstock, whereas ammonium sulfate was the nitrogen source in a lab-scale sequence batch reactor (SBR) with 1 L of working volume. Besides, a sludge retention time (SRT) of 1 d was used as well as a 6 h cycle length. The uncoupled feeding strategy significantly enhanced the selective pressure towards PHA-storing microorganisms, resulting in a two-fold increase in the PHA production (up to about 1.3 gCOD L-1). A high storage response was observed for the two runs with the COD:N ratios (gCOD:gN) of 100:3.79 and 100:3.03, whereas the lowest investigated nitrogen load resulted in very poor performance in terms of polymer production. In fact, strong nitrogen limitation caused fungi to grow and a very poor storage ability by microorganisms that thrived in those conditions. The COD:N ratio also affected the polymer composition, indeed the produced poly(3-hydroxybutyrate-co-3-hydroxyvalerate) (PHBV) showed a variable HV content (1-20 %, w/w) among the three runs, lessening as the COD:N increased. This clearly suggests the possibility to use the COD:N ratio as a tool for tuning polymer properties regardless the composition of the feedstock.