autores Pinto, Sandro Miguel Silva Silva, Miguel Ângelo Fernandes CERDEIRA, DAVID Gomes, Tiago Manuel Ribeiro
palavras-chave Benchmarking Embedded systems Internet of Things (IoT) Low-end devices Operating systems (OSes)