Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HASLab

2020

Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain

Autores
Baquero, C; Casari, P; Anta, AF; Frey, D; Garcia-Agundez, A; Georgiou, C; Menezes, R; Nicolaou, N; Ojo, O; Patras, P;

Publicação

Abstract
AbstractThe world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. The different national governments have problems evaluating the reach of the epidemic, having limited resources and tests at their disposal. Hence, any means to evaluate the number of persons with symptoms compatible with COVID-19 with reasonable level of accuracy is useful. In this paper we present the initial results of the @CoronaSurveys project. The objective of this project is the collection and publication of data concerning the number of people that show symptoms compatible with COVID-19 in different countries using open anonymous surveys. While this data may be biased, we conjecture that it is still useful to estimate the number of infected persons with the COVID-19 virus at a given point in time in these countries, and the evolution of this number over time. We show here the initial results of the @CoronaSurveys project in Spain and Portugal.

2020

Causality is Graphically Simple

Autores
Baquero, C;

Publicação
CoRR

Abstract

2020

State-Machine Replication for Planet-Scale Systems (Extended Version)

Autores
Enes, V; Baquero, C; Rezende, TF; Gotsman, A; Perrin, M; Sutra, P;

Publicação
CoRR

Abstract

2020

CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics

Autores
Ojo, O; Agundez, AG; Girault, B; Hernández, H; Cabana, E; García, AG; Arabshahi, P; Baquero, C; Casari, P; Ferreira, EJ; Frey, D; Georgiou, C; Goessens, M; Ishchenko, A; Jiménez, E; Kebkal, O; Lillo, R; Menezes, R; Nicolaou, N; Ortega, A; Patras, P; Roberts, JC; Stavrakis, E; Tanaka, Y; Anta, AF;

Publicação
CoRR

Abstract

2020

Age-Partitioned Bloom Filters

Autores
Shtul, A; Baquero, C; Almeida, PS;

Publicação
CoRR

Abstract

2020

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Autores
Pereira, R; Carcao, T; Couto, M; Cunha, J; Fernandes, JP; Saraiva, J;

Publicação
JOURNAL OF SYSTEMS AND SOFTWARE

Abstract
Although hardware is generally seen as the main culprit for a computer's energy usage, software too has a tremendous impact on the energy spent. Unfortunately, there is still not enough support for software developers so they can make their code more energy-aware. This paper proposes a technique to detect energy inefficient fragments in the source code of a software system. Test cases are executed to obtain energy consumption measurements, and a statistical method, based on spectrum-based fault localization, is introduced to relate energy consumption to the source code. The result of our technique is an energy ranking of source code fragments pointing developers to possible energy leaks in their code. This technique was implemented in the SPELL toolkit. Finally, in order to evaluate our technique, we conducted an empirical study where we asked participants to optimize the energy efficiency of a software system using our tool, while also having two other groups using no tool assistance and a profiler, respectively. We showed statistical evidence that developers using our technique were able to improve the energy efficiency by 43% on average, and even out performing a profiler for energy optimization.

  • 61
  • 256