1. Universidade do Minho
  2. Escola de Engenharia | School of Engineering
  3. HASLab - High-Assurance Software Laboratory

HASLab - Teses de Doutoramento : [17] Estatísticas

Percorrer
Ativar alerta na coleção para receber notificações por e-mail de novas entradas RSS Feed RSS Feed RSS Feed
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-17 de um total de 17
DataTítuloAutor(es)TipoAcesso
18-Jan-2023Dynamic end-to-end reliable causal delivery middleware for geo-replicated servicesYounes, GeorgesTese de doutoramentoAcesso aberto
20-Jan-2023User-level software-defined storage data planesMacedo, Ricardo GonçalvesTese de doutoramentoAcesso aberto
8-Abr-2022Weighted computations: semantics and program logicsGomes, Leandro Rafael MoreiraTese de doutoramentoAcesso aberto
2-Dez-2020Supporting software developers in making energy saving decisionsCouto, Marco Rafael LinharesTese de doutoramentoAcesso aberto
29-Mar-2022Locality optimisation techniques for platformsSilva, Rui António Sabino CastiçoTese de doutoramentoAcesso aberto
20-Dez-2021Lightweight trustworthy high-level software designLiu, ChongTese de doutoramentoAcesso aberto
16-Jul-2021Safety verification for ROS softwareSantos, André Filipe FariaTese de doutoramentoAcesso aberto
26-Nov-2021Holistic performance and scalability analysis for large-scale distributed systemsNeves, Francisco Nuno TeixeiraTese de doutoramentoAcesso aberto
27-Set-2019A framework for heterogeneous many-core machinesMedeiros, Bruno SilvestreTese de doutoramentoAcesso aberto
22-Jun-2018Hybrid programsNeves, Renato Jorge AraújoTese de doutoramentoAcesso aberto
26-Jul-2018Towards a transactional and analytical data management system for Big DataCoelho, Fábio André Castanheira LuísTese de doutoramentoAcesso aberto
22-Mar-2018Detecting and monitoring mental fatigue: a non-invasive approachRibeiro, André PimentaTese de doutoramentoAcesso aberto
8-Mai-2015Dependable decentralized storage management for cloud computingPaulo, João Tiago MedeirosTese de doutoramentoAcesso aberto
30-Abr-2015Epidemic store for massive scale systemsMaia, Francisco António Ferraz Martins AlmeidaTese de doutoramentoAcesso aberto
27-Abr-2015Parallel programming by transformationGonçalves, Rui Carlos AraújoTese de doutoramentoAcesso aberto
10-Mar-2015Architectural reconfiguration of interacting servicesOliveira, Nuno Ernesto SalgadoTese de doutoramentoAcesso aberto
5-Abr-2013Cognitive assistance in intelligent environmentsCosta, Ângelo Gonçalo Araújo da SilvaTese de doutoramentoAcesso aberto
Registos da coleção (ordenados por datas de depósito em ordem descendente): 1-17 de um total de 17

Entradas recentes

Dynamic end-to-end reliable causal delivery middleware for geo-replicated services

User-level software-defined storage data planes

Weighted computations: semantics and program logics

Supporting software developers in making energy saving decisions

Locality optimisation techniques for platforms

 

Descobrir