Monitoring energy consumption in android applications

Dissertação de Mestrado em Engenharia Informática

Aplicação móvel android de apoio a gestão de empréstimos e reservas das bibliotecas da Universidade do Minho

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Mapping numbers onto space in preschool children and adults

Tese de Doutoramento em Psicologia - Especialidade em Psicologia Experimental e Ciências Cognitivas

Comunicação Android com câmaras ONVIF e gestão de Perfis de Media

Dissertação de mestrado integrado em Engenharia de Telecomunicações e Informática

Indicadores chave de sustentabilidade para edifícios residenciais em estrutura metálica

Dissertação de mestrado integrado em Engenharia Civil

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.