Learn More
Type 2 diabetes (T2D) is considered a major risk factor for Alzheimer's disease (AD). To elucidate the links between both pathological conditions, we compared behavioral and cognitive functions, cerebral amyloid-β peptide (Aβ) levels and vasculature integrity of 11-month-old T2D and AD mice. For this purpose, we performed behavioral tests (open field,(More)
This paper presents CoopREP, a system that provides support for fault replication of concurrent programs, based on cooperative recording and partial log combination. CoopREP employs partial recording to reduce the amount of information that a given program instance is required to store in order to support deterministic replay. This allows to substantially(More)
We present Symbiosis: a concurrency debugging technique based on novel <i>differential schedule projections</i> (DSPs). A DSP shows the small set of memory operations and dataflows responsible for a failure, as well as a reordering of those elements that avoids the failure. To build a DSP, Symbiosis first generates a <i>full, failing, multithreaded(More)
Deterministic replay tools are a useful asset when it comes to pinpoint hard-to-reproduce bugs. However, no sweet spot has yet been found with respect to the trade-off between recording overhead and bug reproducibility, especially in the context of search-based deterministic replay techniques, which rely on inference mechanisms. In this paper, we argue(More)
Recent models of semantic memory propose that the semantic representation of concepts is based, in part, on a network of features. In this view, a feature that is distinctive for an object (a zebra has stripes) is processed differently from a feature that is shared across many objects (a zebra has four legs). The goal of this paper is to determine whether(More)
This paper addresses the problem of reproducing an execution of a concurrent buggy program, in order to ease its debugging. This paper proposes a novel technique to provide execution replay based on a great number of partial logs. The use of partial logs allows to substantially reduce the overhead imposed by the instrumented code execution, but raises the(More)
A distributed system is often built on top of an overlay network. Overlay networks enable network topology transparency while, at the same time, can be designed to provide efficient data dissemination, load balancing, and even fault tolerance. They are constructed by defining logical links between nodes creating a node graph. In practice, this is(More)
Resumo As redes definidas por software (do Inglês, Software Defined Networks, SDNs) têm vindo a afirmar-se como uma das mais promisso-ras abordagens para simplificar a configuração e gestão de equipamentos. No entanto, as SDNs não são imunes a erros tais como ciclos no encami-nhamento, buracos negros, encaminhamento sub-óptimo, entre outros. Estes erros são(More)
Acknowledgements Firstly, I would like to thank my advisor, Prof. Luis Rodrigues, for guiding and supporting me over this year, and also for patience. I would like to express my gratitude to the members of thesis committee for their feedback and fairness. I would specially like to thank Nuno Machado and Manuel Bravo for the fruitful discussions and their(More)