Pedro Souto

Learn More
End-to-end support for Quality of Service (QoS) has been broadly discussed in the literature. Many technologies have been proposed, each focusing on specific aspects for providing QoS guarantees to the end user. However, the integrated management of the end-to-end chain preserving QoS in heterogeneous environments is still a significant issue and(More)
Hard real- time multiprocessor scheduling has seen, in recent years, the flourishing of semi-partitioned scheduling algorithms. This category of scheduling schemes combines elements of partitioned and global scheduling for the purposes of achieving efficient utilization of the system’s processing resources with strong schedulability guarantees and with low(More)
The effects of ischemic-postconditioning (IPOC) on functional recovery and cell viability of ischemic-reperfused hearts from fed and fasted rats were studied in relation to triacylglycerol and glycogen mobilization, ATP content, glucose-6-phosphate dehydrogenase activity and reduced/oxidized glutathione (GSH/GSSG). Oxidative damage was estimated by(More)
—Schedulability analyses, while valuable in theoretical research, cannot be used in practice to reason about the timing behaviour of a real-time system without including the overheads induced by the implementation of the scheduling algorithm. In this paper, we provide an overhead-aware schedu-lability analysis based on demand bound functions for two hard(More)
This document describes a Ph.D. level course, corresponding to a Curricular Unit covering the Theory of Distributed Computing, currently running in the joint MAP-i doctoral programme in Informatics, organized by three Portuguese universities (Minho, Aveiro and Porto). This course has been submitted for accreditaion by the CMU doctoral programme in August(More)
This document describes a Ph.D. level course, corresponding to a Curricular Unit covering the Theory of Distributed Computing, currently running in the joint MAP-i doctoral programme in Informatics, organized by three Portuguese universities (Minho, Aveiro and Porto). This course has been submitted for accreditaion by the CMU doctoral programme in August(More)
  • 1