1
TITLE: Exploiting Symbolic Execution to Accelerate Deterministic Databases
AUTHORS: Issa, S; Viegas, M; Raminhas, P; Machado, N; Matos, M ; Romano, P;
PUBLISHED: 2020, SOURCE: 40th IEEE International Conference on Distributed Computing Systems (ICDCS) in 2020 IEEE 40TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), VOLUME: 2020-November
INDEXED IN: Scopus WOS DBLP