Follow
Pedro Raminhas
Pedro Raminhas
PhD student of Computer Science, Instituto Superior Técnico / INESC-ID
Verified email at tecnico.ulisboa.pt - Homepage
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–4