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

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

Ciência e Engenharia dos Computadores

INESC TEC integra novo projeto de colaboração para aproximar Europa e Japão na área da supercomputação

Medicina, clima, física quântica ou ciência dos materiais. Estas são apenas algumas das áreas em que a supercomputação e a modelação poderão desempenhar um papel de destaque para o desenvolvimento científico, industrial e social. Para reforçar estrategicamente a cooperação entre a Europa e o Japão nesta área de investigação, nasceu o projeto HANAMI - HPC Alliance for Applications and Supercomputing Innovation: the Europe-Japan Collaboration.

17 maio 2024

Ciência e Engenharia dos Computadores

Investigação INESC TEC sobre aplicação de funções booleanas na computação quântica integra publicação de referência

Investigadores do INESC TEC desenvolveram estudo para testar a capacidade de execução de qualquer função booleana em computadores quânticos concebidos segundo o modelo de computação quântica baseada em medições com uma única camada de medidas.

17 maio 2024

Ciência e Engenharia dos Computadores

Investigadores do INESC TEC cimentam parceria com rede CENTRA

Desde a sua génese, a rede CENTRA tem em vista a facilitação de colaborações que permitam a aplicação de ciberinfraestruturas transacionais — contando, para isso, com membros de países tão díspares como Indonésia, Estados Unidos da América, Vietnam ou Japão. Foi precisamente com o intuito de estreitar estas relações com estes parceiros que investigadores do INESC TEC viajaram até Tóquio, onde decorreu o mais recente evento no âmbito desta iniciativa.

19 março 2024

Ciência e Engenharia dos Computadores

INESC TEC em projeto para apoiar utilizadores de supercomputadores europeus, incluindo o português Deucalion

Chama-se EPICURE (High-level specialised application support service in High-Performance Computing) o projeto que reúne os supercomputadores da rede europeia EuroHPC Joint Undertaking (EuroHPC JU) e que vai apoiar os seus utilizadores.   

28 fevereiro 2024

Ciência e Engenharia dos Computadores

Tecnologia INESC TEC para garantir transparência e privacidade nos serviços digitais no pódio da 4ª edição do Prémio IN3+

Onde se traça a linha entre a transparência e a privacidade nos serviços digitais? Como pode o cidadão, enquanto utilizador de serviços, validar o correto seguimento do seu processo, sem que tal comprometa o sigilo a que os respetivos prestadores estão obrigados a seguir? O projeto PeT – Privacidade e Transparência, liderado pelo Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC) e em colaboração com a Universidade do Minho (UMinho), que pretende garantir a transparência e a privacidades nos serviços digitais ficou em  segundo lugar  da 4ª edição do Prémio IN3+, Um Milhão para a Inovação, recebendo, assim, 250 mil euros para poder ser colocada no mercado, numa primeira fase, a nível nacional, em serviços públicos e privados, nomeadamente, nas áreas da saúde, educação e justiça.

23 fevereiro 2024

  • 1
  • 16