Seguir
Pedro Raminhas
Pedro Raminhas
PhD student of Computer Science, Instituto Superior Técnico / INESC-ID
E-mail confirmado em tecnico.ulisboa.pt - Página inicial
Título
Citado por
Citado por
Ano
Exploiting Symbolic Execution to Accelerate Deterministic Databases
SA Issa, M Viegas, P Raminhas, N Machado, M Matos, P Romano
ICDCS 2020 40th IEEE International Conference on Distributed Computing Systems, 2020
42020
Enhancing Efficiency of Hybrid Transactional Memory via Dynamic Data Partitioning Schemes
P Raminhas, S Alaa Issa, P Romano
2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid …, 2018
22018
Enhancing efficiency of Hybrid Transactional Memory via Dynamic Data Partitioning Schemes
P Raminhas
22016
Fine-grained Transaction Scheduling in Replicated Databases via Symbolic Execution
P Raminhas, M Matos, P Romano
EuroDW 2018 12th EuroSys Doctoral Workshop, 2018
12018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–4