Folgen
Pedro Raminhas
Pedro Raminhas
PhD student of Computer Science, Instituto Superior Técnico / INESC-ID
Bestätigte E-Mail-Adresse bei tecnico.ulisboa.pt - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4