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

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

Institucional

INESC TEC quer ajudar empresas a abraçar a transformação digital a custos reduzidos

Transição digital, inovação, capacitação das empresas, financiamento, tecnologias disruptivas como Inteligência Artificial (IA) e Computação Avançada (HPC). E uma certeza: 2024 será um ano de oportunidades para as empresas que estiverem dispostas a arriscar. No Palácio do Freixo, no Porto, cerca de 100 participantes juntaram-se para conhecer em detalhe o ATTRACT, o pólo europeu de inovação digital (EDIH – European Digital Innovation Hub), coordenado pelo INESC TEC.

08 fevereiro 2024

Institucional

Robustas, eficientes e sustentáveis: investigador do INESC TEC cria soluções para melhorar aplicações Android

As notícias que dão conta de fugas de informação armazenada pelas principais aplicações informáticas — recolhidas através da sua utilização por parte de cidadãos comuns —são recorrentes, deixando expostos dados pessoais, muitas vezes com um cariz sensível. Na origem destas fugas estão, na maioria das vezes, erros de funcionamento de software capazes de causar perdas astronómicas às empresas, tanto a nível financeiro como reputacional. Não se estranha, por isso, que mais meios e esforços estejam a ser alocados à deteção de defeitos no software ainda em fases embrionárias do seu ciclo de vida, evidenciando a importância da utilização de boas práticas de codificação. É, neste sentido, que o investigador do INESC TEC Rui Rua tem vindo a trabalhar, para criar soluções que melhorem o desempenho de aplicações Android através de alterações ao nível do código fonte.  

23 janeiro 2024

Institucional

Projeto europeu de coordenação e apoio a HPC com a América Latina chega ao fim

O projeto RISC2, que durante três anos tentou construir pontes na investigação e formação de High-Performance Computing (HPC), considerada a base para avanços científicos, industriais e sociais com impacto na qualidade de vida da população mundial, chegou oficialmente ao fim. Entre os principais resultados alcançados por este consórcio composto por 16 parceiros — 12 da América Latina e quatro da Europa — destacam-se o HPC Observatory e o White Paper on HPC R&I Collaboration Opportunities. 

11 janeiro 2024

Institucional

Investigadores do INESC TEC conquistam pódio em maratona universitária de programação

Luís Pereira, Rui Pedro Oliveira e Tiago Pereira conquistaram o terceiro lugar da Maratona Inter-Universitária de Programação, após terem resolvido seis dos 11 problemas que lhes foram apresentados em cinco horas. Competição internacional é o novo desafio dos CatamorfismUM, o nome da equipa escolhida pelos investigadores do INESC TEC.

04 dezembro 2023

Institucional

Investigadores portugueses desenvolvem ferramenta pioneira para a deteção de código com riscos de segurança

A solução GLITCH transforma o código original dos programas num modelo próprio, onde é feita uma análise para a deteção de code smells — padrões que ocorrem no código e que podem gerar vulnerabilidades ao nível da segurança. 

14 novembro 2023

Institucional

Investigador INESC TEC apresenta solução que visa simplificar e otimizar operações analíticas sobre dados

As múltiplas situações em que o sistema transacional não dá garantias de isolamento às bases de dados, comprometendo a sua eficiência, foram o ponto de partida para uma investigação que visa o desenho e a implementação do isolamento no query engine, preparando-o para workloads híbridos.

19 outubro 2023

Institucional

Melhorar o desempenho de bases de dados: Investigação INESC TEC apresentada em conferência internacional

No quotidiano, dificilmente nos apercebemos das estruturas que sustentam setores como o comércio, a banca, ou outros, e que suportam elevadas cargas transacionais de dados. Regra geral, só nos damos conta da sua existência em situações de disrupção, que acabam por perturbar o normal funcionamento destes serviços.

28 agosto 2023

Institucional

Verão no Campus: Alunos do ensino secundário dão os primeiros passos na computação com o INESC TEC

Alunos de escolas do norte do país passaram uma semana na Universidade do Minho, onde puderam ter primeiras experiências nas suas áreas de interesse.

14 agosto 2023

Institucional

INESC TEC lidera projeto de capacitação digital nas áreas de IA e HPC

Um polo europeu de inovação digital que quer promover e apoiar a experimentação, o desenvolvimento e adoção de soluções baseadas em Inteligência Artificial (IA) e Computação de Alto Desempenho (HPC), com vista a melhorias significativas no desempenho das empresas e administração pública. Esta é a premissa do projeto ATTRACT que está a dar os primeiros passos para apoiar a transição digital em curso em Portugal e na Europa.  

27 julho 2023

  • 1
  • 15