Skip to main content
INESC TEC
INESC TEC
INESC TEC
Search results for:
Filter your results

0 Search results

INESC TEC

Advanced Computing Systems

About the Centre

The Centre for Advanced Computing Systems (CRACS) strives for scientific excellence in the areas of programming languages, parallel and distributed computing, information mining, security and privacy, focusing on developing scalable software systems for multidisciplinary applications in Engineering, Life Sciences, Social Networks, the Internet of Things, and more.

We explore deep theoretical and practical knowledge related to the design and development of programming languages and middleware for advanced computing systems - including parallel, distributed, high-performance, cloud, wireless, and IoT systems -, while mastering the concepts and methodologies that underpin trust, privacy, and security in computing systems.

Our research environment brings together talented junior and senior researchers, most of whom are university lecturers. Together, they form the critical mass and scientific expertise required to fulfil our mission.

Flagship Projects

See more projects

Selected Publications

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

See more publications
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

News & Events

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

Supervised Theses

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

See more supervised theses

Contact Us

Get in touch with us. We will respond as soon as possible.