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
Notícias

Notícias por Laboratório de Software Confiável

Institucional

Investigação INESC TEC sobre replicação de dados reforça impacto internacional em sistemas distribuídos

Investigação do INESC TEC sobre replicação de dados em bases de dados relacionais foi, recentemente, distinguida com uma menção honrosa na SIGMOD 2025, uma das principais conferências internacionais na área de gestão de dados, posicionando-se entre os quatro melhores artigos da conferência dos 250 submetidos. 

28 julho 2025

Ciência e Engenharia dos Computadores

Investigadora do INESC TEC é premiada com o Amazon Research Award

Alexandra Mendes, investigadora do INESC TEC, acaba de receber o Amazon Research Award, na área de automated reasoning. É a primeira vez que este prémio é atribuído a investigadores que desenvolvem os seus trabalhos de I&D em Portugal.

27 junho 2025

Institucional

Supercomputação mais “verde”? O INESC TEC está a processar soluções – e a palavra-chave é “desagregar”

Recursos subaproveitados, energia desperdiçada e custos operacionais elevados. O INESC TEC lidera um projeto que quer propor alternativas à forma como os recursos computacionais são organizados e geridos.

05 maio 2025

Institucional

Investigadores INESC TEC reforçam parceria com rede internacional CENTRA

O INESC TEC reafirmou o seu compromisso com a colaboração internacional em investigação ao participar no evento CENTRA 2025, uma iniciativa global que reúne centros de investigação, institutos e laboratórios das várias partes do mundo para impulsionar o desenvolvimento de ciberinfraestruturas transnacionais. Esta edição do evento focou-se na área da Inteligência Artificial (IA), explorando a sua aplicação na linguística, na psicologia cognitiva e na gestão avançada de ciberinfraestruturas. 

28 março 2025

Ciência e Engenharia dos Computadores

A computação avançada como ponte entre Portugal e o Japão: INESC TEC e AIST reforçam cooperação científica

Passaram cinco anos desde que o INESC TEC e o AIST - National Institute of Advanced Industrial Science and Technology -, situado no Japão, assinaram o primeiro Memorando de Entendimento (MoU). Deste acordo de cooperação científica, especialmente focado na área de computação avançada, resultaram oportunidades de intercâmbios, publicações conjuntas e troca de conhecimentos e experiências, que aproximaram os ecossistemas de I&D português e japonês – sobretudo na área de High-Performance Computing (HPC). Recentemente, os dois institutos renovaram o MoU e vão continuar a trabalhar em conjunto para potenciar a investigação em computação avançada.

03 fevereiro 2025

Ciência e Engenharia dos Computadores

Há pontes a unir a engenharia biomédica e a supercomputação. Investigadoras INESC TEC voaram até Barcelona para as atravessar

Durante uma semana, Alicia Oliveira e Beatriz Cepa trocaram os laboratórios do INESC TEC em Braga por Barcelona, onde decorreu a ACM Summer School. Ali, as investigadoras exploraram alguns dos conceitos introdutórios na área do HPC e perceberam que, num contexto dominado pela informática, a sua formação em engenharia biomédica era, afinal, uma mais-valia.

31 outubro 2024

Ciência e Engenharia dos Computadores

Os bugs de software são tão persistentes como os da Natureza — uma investigação INESC TEC apertou-lhes a rede

Investigadores INESC TEC desenvolveram a ferramenta LazyFS, capaz de injetar faltas e reproduzir bugs de perda de dados. A solução vem ajudar a compreender a origem e a causa destes bugs, mas também validar mecanismos de proteção contra as falhas. 

07 outubro 2024

Institucional

Na era do armazenamento incessante de dados, replicá-los pode ser a chave para sistemas de grande escala. Uma investigação INESC TEC explora esses desafios

Numa investigação publicada na revista ACM Computing Surveys, Paulo Sérgio Almeida, investigador do INESC TEC, sintetiza o conhecimento existente sobre abordagens aos Conflict-free Replicated Data Types, tópico que tem vindo a explorar na última década. Estes permitem replicação em sistemas distribuídos com resolução automática de conflitos, oferecendo grande disponibilidade — mesmo perante falhas de comunicação.

04 outubro 2024

Institucional

INESC TEC com 5 projetos exploratórios FCT aprovados em 4 áreas de I&D

Telecomunicações e multimédia, fotónica aplicada, software confiável e sistemas de computação avançada – são estas as quatro áreas que os investigadores do INESC TEC vão trabalhar no âmbito dos cinco projetos que foram aprovados através do Concurso de Projetos Exploratórios da Fundação para a Ciência e a Tecnologia (FCT).

02 outubro 2024

Ciência e Engenharia dos Computadores

Há vantagens nas bases de dados edge — e os investigadores do INESC TEC dedicaram-se a estudá-las

O artigo Databases in Edge and Fog Environments: A Survey, assinado por Luís Manuel Ferreira, Fábio Coelho e José Orlando Pereira e publicado na ACM Computing Surveys, estabelece conceitos inovadores na área de base de dados edge, recorrendo a diversas publicações ao nível de hardware utilizado, performance de latência, consumo de energia e privacidade. Este novo tipo de bases de dados tira partido de dispositivos situados próximos do utilizador para melhorar o desempenho e as funcionalidades oferecidas pelas mesmas.

03 julho 2024

Ciência e Engenharia dos Computadores

Protótipo para apoiar o desenvolvimento de políticas e estratégias de defesa vale prémio a investigadora do INESC TEC

Alexandra Mendes, investigadora do INESC TEC, é uma das vencedoras do Atlantic Security Award, promovido pela FLAD, com uma proposta que visa a utilização de um grande modelo de linguagem (LLM – Large Language Model), treinado com dados da dark web, na tomada de decisão e na elaboração de políticas e estratégias de defesa, assim como na aplicação da lei na segurança da região do Atlântico.

28 maio 2024

Ciência e Engenharia dos Computadores

Investigadores do INESC TEC propõem solução criptográfica inovadora para possíveis ameaças dos computadores quânticos

Solução proposta por Manuel Barbosa e João Duarte, investigadores do INESC TEC, consiste num key-encapsulation mechanism (KEM) híbrido, capaz de responder às exigências das dinâmicas dos modelos híbridos que conjugam algoritmos pré-quânticos e pós-quânticos. 

21 maio 2024

  • 1
  • 16