Offside
Lado B

O Presidente da Administração, José Manuel Mendonça, mostra-nos o seu lado B.

Corporate

Um olhar sobre nós na voz dos nossos parceiros - Testemunho da FLUPOL – SURFACE ENGINEERING, S.A., pela voz de Pedro Bandeira.

Fora de Série

"Esta nomeação deixa-me com um grande sorriso e motivação para continuar a minha investigação no CEGI", Margarida Carvalho (CEGI)

Asneira Livre

"O Povo costuma dizer que não devemos regressar a um sítio onde fomos felizes. Eu fui muito feliz no INESC Porto, e hoje estou de volta, catorze anos depois de ter saído!", Filipe Aranda de Sá (CRAS)

Galeria do Insólito

Numa instituição que usa a palavra computadores na lapela como a roupinha tem Versace, seria de esperar que a proteção de spam no e-mail fosse no mínimo eficaz. E quem disse que não era?

Ecografia

BIP tira Raio X a colaboradores do INESC TEC...

Novos Doutorados

Venha conhecer os novos doutorados do INESC TEC...

Cadê Você?

O INESC TEC lança todos os meses no mercado pessoas altamente qualificadas...

Jobs 4 the Boys & Girls

Referência a anúncios publicados pelo INESC TEC, oferecendo bolsas, contratos de trabalho e outras oportunidades do mesmo género.

Biptoon

Mais cenas de como bamos indo porreiros...

Subscrever o BIP
 

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.

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.