Formal Contracts for Runtime Verification Support in the Ada Programming Language

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

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

Paper/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.

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.

Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers

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

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.

Key-CRDT stores

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

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Tecnologias de Produção de Frio: Estudo e Análise de Soluções Técnico-económicas

A preocupação com os consumos energéticos é um assunto do qual se tem vindo cada vez mais a ter atenção no sentido de que sejam feitas reduções para que se consiga manter a sustentabilidade do planeta. As indústrias agroalimentares são um dos setores mais importantes em Portugal, sendo que os sistemas de refrigeração são os seus principais consumidores de energia elétrica, ocupando a maior parte da fatia do consumo da instalação. A identificação de oportunidades de racionalização dos consumos de energia toma assim especial importância, tanto na utilização de tecnologias mais eficientes como em medidas de boas práticas, ou seja como são utilizados os serviços. Neste âmbito surge o presente trabalho que tem como objetivo principal estudar duas instalações do mesmo setor e de escalas semelhantes de forma a identificar as diferenças entre elas e de como as tecnologias e os hábitos de utilização de cada uma influenciam nos consumos de energia. Foram estudados os sistemas de refrigeração e os seus principais constituintes, bem como as melhorias passiveis de implementar para que conduzissem a uma redução dos consumos energéticos. Assim, foi desenvolvida uma metodologia de auditoria orientada para os sistemas de refrigeração, em que foi aplicada aquando das auditorias às duas instalações. Após toda a recolha da informação acerca das instalações em estudo, fez se a sua análise individual e a comparação entre ambas, daqui foram obtidos os resultados.

Parallel programming in biomedical signal processing

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

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

Komponentenorientierte Modellierung elektrischer Systeme in der Mechatronik

Object-oriented simulation, mechatronic systems, non-iterative algorithm, electric components, piezo-actuator, symbolic computation, Maple, Sparse-Tableau, Library of components

Ultra deep blue: the ultimate chess player

Projecte d'adaptació del programa GNU Chess al sistema de grid computing 'Condor'. I amb això, es planteja un estudi sobre els algorismes de cerca i la seva aplicació en entorns distribuïts. Una sèrie de proves sobre unes mostres de una partida d'escacs contra el propi GNU Chess ens ajuden a posar de relleu els avantatges i inconvenients de cada un dels algorismes proposats.

Scheduling in virtual infrastructure

For the execution of the scientific applications, different methods have been proposed to dynamically provide execution environments for such applications that hide the complexity of underlying distributed and heterogeneous infrastructures. Recently virtualization has emerged as a promising technology to provide such environments. Virtualization is a technology that abstracts away the details of physical hardware and provides virtualized resources for high-level scientific applications. Virtualization offers a cost-effective and flexible way to use and manage computing resources. Such an abstraction is appealing in Grid computing and Cloud computing for better matching jobs (applications) to computational resources. This work applies the virtualization concept to the Condor dynamic resource management system by using Condor Virtual Universe to harvest the existing virtual computing resources to their maximum utility. It allows existing computing resources to be dynamically provisioned at run-time by users based on application requirements instead of statically at design-time thereby lay the basis for efficient use of the available resources, thus providing way for the efficient use of the available resources.

Anàlisi i disseny de una aplicació per la gestió de reserva d'un complexe d'apartaments

Aquest treball consisteix en l'anàlisi i disseny d'una aplicació per la gestió de reserves d'un complex de 39 apartaments, anomenat AIDA