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

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

Institucional

INESC TEC participa em conferência sobre o ensino da computação

Especialistas nas áreas da educação e da computação estiveram reunidos no Auditório Super Bock Arena para discutir os desafios associados à integração do ensino da computação no espaço escolar. A conferência TNT|The New Trivium, que decorreu no dia 3 de junho, contou igualmente com a participação de José Nuno Oliveira, investigador sénior do Laboratório de Software Confiável (HASLab) do INESC TEC.

04 julho 2023

Institucional

INESC TEC contribui para reforço da segurança na mobilidade urbana

Investigadores do INESC TEC participaram na criação de uma solução que visa melhorar a segurança da ferrovia através da validação, de forma automática, de redes de transporte desse tipo. A solução, desenvolvida no âmbito do projeto DigiLightRail e em parceria com a Efacec, está assente na definição de regras de sinalização e encravamento, tendo como objetivo final a redução de acidentes na mobilidade urbana causados por falhas nos sistemas de sinalização.

28 junho 2023

Institucional

INESC TEC desenvolve investigação pioneira na aplicação de circuitos variacionais quânticos à aprendizagem de reforço

Investigadores do INESC TEC desenvolveram um estudo que visa mostrar a viabilidade e utilidade dos circuitos variacionais quânticos no domínio da aprendizagem por reforço, através da utilização de circuitos quânticos na unidade de processamento central responsável pela tomada de decisão automática. Trata-se de um dos primeiros trabalhos de investigação a provar o impacto dos circuitos variacionais quânticos no contexto “policy-based” e foi recentemente publicado na revista Quantum Machine Intelligence.

23 maio 2023

  • 2
  • 16