Markov decision processes provide a formal framework for a computer to make decisions
autonomously and intelligently when the effects of its actions are not deterministic. This …

Specifiers must be able to understand and compare the specification notations that they use.
Traditional means for describing notations' semantics (eg, operational semantics, logic …

Value Iteration (VI) is a core method to find optimal policies, allowing a robot to act
autonomously in environments where the effects of its actions are not deterministic. Although …

Our goal in this work is to make it easy and feasible to implement solutions for autonomous
decision-making and planning under uncertainty on low-power mobile platforms. We focus …

We address the problem of providing support for executing single streaming applications
implemented as a pipeline of stages that run on heterogeneous chips comprised of several …

We address the problem of providing support for executing single streaming applications
implemented as a pipeline of stages that run on heterogeneous chips comprised of several …

This work shows that it is feasible to solve large-scale decision-making problems for robot
navigation in real-time onboard low-power heterogeneous CPU+ iGPU platforms. We can …

Este trabajo de fin de máster presenta nuestra experiencia optimizando un algoritmo de
toma de decisiones para que un agente robótico navegue en un espacio cerrado en el …

During the last decade, we have witnessed the advent of heterogeneous architectures.
Nowadays, we can find heterogeneous processor designs at all levels, from the biggest …

During the last decade, power consumption and energy efficiency have become key aspects
in processor design. Nowadays, the power consumption is the principal limitation for further …