Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Hard real-time multiprocessor scheduling resilient to core failures

Presented at 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Structured Light System Calibration for Perception in Underwater Tanks

The process of visually exploring underwater environments is still a complex problem. Underwater vision systems require complementary means of sensor information to help overcome water disturbances. This work proposes the development of calibration methods for a structured light based system consisting on a camera and a laser with a line beam. Two different calibration procedures that require only two images from different viewpoints were developed and tested in dry and underwater environments. Results obtained show, an accurate calibration for the camera/projector pair with errors close to 1 mm even in the presence of a small stereos baseline.

Towards the Certification of Multicore Platforms in the Avionics Domain

Presented at Work in Progress Session, The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Reconstrução/processamento de imagem médica com GPU em tomossíntese

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Effect of selenization conditions on the growth and properties of Cu2ZnSn(S,Se)4 thin films

The opto-electronic properties of copper zinc tin sulfide can be tuned to achieve better cell efficiencies by controlled incorporation of selenium. In this paper we report the growth of Cu2ZnSn(S,Se)4 (CZTSSe) using a hybrid process involving the sequential evaporation of Zn and sputtering of the sulfide precursors of Cu and Sn, followed by a selenization step. Two approaches for selenization were followed, one using a tubular furnace and the other using a rapid thermal processor. The effects of annealing conditions on the morphological and structural properties of the films were investigated. Scanning electron microscopy and energy dispersive spectroscopy were employed to investigate the morphology and composition of the films. Structural analyses were done using X-ray diffraction (XRD) and Raman spectroscopy. Structural analyses revealed the formation of CZTSSe. This study shows that regardless of the selenization method a temperature above 450 °C is required for conversion of precursors to a compact CZTSSe layer. XRD and Raman analysis suggests that the films selenized in the tubular furnace are selenium rich whereas the samples selenized in the rapid thermal processor have higher sulfur content.

Visualization and interaction in a simulation system for flood emergencies

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

Monte Carlo simulations for dosimetric verification in photon and electron beam radiotherapy

Dissertação para obtenção do Grau de Doutor em Engenharia Biomédica

Reconstrução de imagem médica de mamografia por emissão de positrões (PEM) com GPU

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Design and implementation of 3D buildings integration for a Webgl-Based Virtual Globe: a case study of Valencian Cadastre and Fide Building Mode

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

Spatial distribution of Malaria indicator in Tanzania

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

Estudo sobre Perdas de Água

O presente relatório resulta de um estudo realizado na empresa Águas do Douro e Paiva, S.A. (AdDP), atual Águas do Norte, S.A., sob a forma de estágio curricular, com a duração de seis meses e que teve como tema as perdas de água na rede da empresa. Inicialmente é feito um enquadramento ao tema onde se aborda o setor das águas em Portugal, a importância do mesmo na sociedade Portuguesa e as suas principais características. É apresentada também uma introdução à empresa onde foi realizado o estágio e, posteriormente, são apresentados fundamentos teóricos relativos às perdas de água onde se incluem as diversas fases de abordagem ao problema, métodos de medição dos caudais e técnicas de localização de fugas. De modo a comparar resultados já obtidos pela empresa, foi feito um levantamento de dados anuais e mensais para o cálculo do balanço hídrico e indicadores de desempenho para toda a rede da empresa. A informação obtida foi traduzida sob a forma de gráficos e os resultados foram comparados com os resultados da empresa e com os valores recomendados pela Entidade Reguladora dos Serviços de Águas e Resíduos (ERSAR). Tendo em conta a problemática em estudo, foi desenvolvida uma folha de cálculo de auxílio à gestão que permite obter valores para as perdas de água diárias para os subsistemas de Lever e do Vale do Sousa e onde a informação é apresentada sob a forma de gráficos. Os vários passos necessários ao desenvolvimento da folha de cálculo são descritos no presente relatório e é explicado o funcionamento e distribuição dos diversos componentes da rede.

Conceção de um tutorial de Iniciação ao co-projeto de Hardware/software

A crescente evolução dos dispositivos contendo circuitos integrados, em especial os FPGAs (Field Programmable Logic Arrays) e atualmente os System on a chip (SoCs) baseados em FPGAs, juntamente com a evolução das ferramentas, tem deixado um espaço entre o lançamento e a produção de materiais didáticos que auxiliem os engenheiros no Co- Projecto de hardware/software a partir dessas tecnologias. Com o intuito de auxiliar na redução desse intervalo temporal, o presente trabalho apresenta o desenvolvimento de documentos (tutoriais) direcionados a duas tecnologias recentes: a ferramenta de desenvolvimento de hardware/software VIVADO; e o SoC Zynq-7000, Z-7010, ambos desenvolvidos pela Xilinx. Os documentos produzidos são baseados num projeto básico totalmente implementado em lógica programável e do mesmo projeto implementado através do processador programável embarcado, para que seja possível avaliar o fluxo de projeto da ferramenta para um projeto totalmente implementado em hardware e o fluxo de projeto para o mesmo projeto implementado numa estrutura de harware/software.