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
Artigo

Investigador INESC TEC publica pela primeira vez artigo na Communications of the ACM

Carlos Baquero, investigador do Laboratório de Software Confiável (HASLab) do INESC TEC e docente da Universidade do Minho, é o primeiro investigador do INESC TEC a publicar um artigo na revista especializada Communications of the ACM. O artigo, intitulado “Why logical clocks are easy”, foi publicado na edição de abril da revista.

16 maio 2016

No artigo, produzido juntamente com Nuno Preguiça, investigador do Nova Laboratory for Computer Science and Informatics, o investigador do HASLab aborda o tema da causalidade nos sistemas distribuídos, considerada uma componente essencial para compreender o mundo físico e as interações entre humanos.

De acordo com o trabalho levado a cabo pelos investigadores, num sistema computacional existem várias sequências de ações executadas em vários locais e, além disso, as relações causa-efeito nestas ações são fundamentais para o desenvolvimento de algoritmos. Tradicionalmente um tema complexo para os programadores, este trabalho coloca o enfoque na natureza da causalidade, recorrendo à noção de histórias causais, e mostrando como é que os vetores versão, os relógios vetoriais e outros mecanismos mais sofisticados permitem lidar com milhões de clientes a interagir simultaneamente com lojas na internet.

Este artigo é o resultado de uma profunda investigação na área da causalidade, tendo estes resultados já sido adotados por várias empresas internacionais, como por exemplo a SoundCloud (plataforma de música), a Basho (plataforma de Big Data), ou a Bet 365 (apostas online).

A Communications of the ACM é uma revista mensal da Association for Computing Machinery (ACM), e integra conteúdos relacionados com as áreas da Informática, Computação e Tecnologia da Informação. É considerada líder de mercado, sendo reconhecida como a fonte mais fiável e experiente nos temas relacionados com as suas áreas de especialização.

O investigador com ligação ao INESC TEC mencionado no corpo da notícia tem vínculo à U.Minho.

INESC TEC, abril de 2016