INESC TEC
INESC TEC
INESC TEC
Resultados da pesquisa para:
Filtrar os seus resultados

0 Resultados

INESC TEC

Sistemas de Computação Avançada

Sobre o Centro

O Centro de Sistemas de Computação Avançada (CRACS) procura a excelência científica nas áreas de linguagens de programação, computação paralela e distribuída, mineração de informação, segurança e privacidade, com foco no desenvolvimento de sistemas de software escaláveis para aplicações multidisciplinares nas áreas da Engenharia, Ciências da Vida, Redes Sociais e Internet das Coisas, entre outras.

Particular ênfase no conhecimento dos conceitos teóricos e práticos subjacentes ao desenho e desenvolvimento de linguagens de programação e camadas intermédias de software para sistemas avançados de computação (sistemas de computação paralela, distribuída, de alto-desempenho, na nuvem, dispositivos wireless e IoT) e no conhecimento dos conceitos teóricos e práticos dos principais algoritmos e metodologias utilizadas para promover a confiança, privacidade e segurança em sistemas computacionais.

O ambiente de investigação é formado por talentosos investigadores juniores que, em conjunto, com os investigadores seniores, maioritariamente docentes universitários, constituem a massa crítica e as competências científicas necessárias para cumprir a nossa missão.

Projetos em Destaque

Ver mais projetos

Publicações Selecionadas

A software framework for rapid prototyping of run-time systems for mobile calculi

Bettini, L;De Nicola, R;Falassi, D;Lacoste, M;Lopes, L;Oliveira, L;Paulino, H;Vasconcelos, VT;

2005

GLOBAL COMPUTING

Hierarchical clustering of multispectral images using combined spectral and spatial criteria

Marcal, ARS;Castro, L;

2005

IEEE GEOSCIENCE AND REMOTE SENSING LETTERS

Strategies to parallelize ILP systems

Fonseca, NA;Silva, F;Camacho, R;

2005

INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS

Dynamic mixed-strategy evaluation of tabled logic programs

Rocha, R;Silva, F;Costa, VS;

2005

LOGIC PROGRAMMING, PROCEEDINGS

Ver mais publicações

Notícias e Eventos

Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading
Loading Loading Loading Loading Loading Loading Loading Loading Loading

Teses Orientadas

A secure mobile based health information system solution - from understanding and conceptualizing to prototyping the patient experience

Cátia Andreia Santos Pereira Augusto

D - 2019

UP-FEUP

Secure Remote Storage of Logs With Search Capabilities

Rui Manuel Vieira Araújo

M - 2019

IPP-ESTG

Forder application

David Emanuel Torres Mendes

M - 2019

IPP-ESTG

Sistema de gestão de eventos de segurança de informação em alta disponibilidade

Hélio Celso Pinto de Sousa

M - 2019

IPP-ESTG

Ver mais teses orientadas

Contacte-nos

Entre em contacto connosco. Responderemos assim que nos for possível.