Obserwuj
Pedro Raminhas
Pedro Raminhas
PhD student of Computer Science, Instituto Superior Técnico / INESC-ID
Zweryfikowany adres z tecnico.ulisboa.pt - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–4