19 citations
- Computer Algorithms for MedicineAT2 papers
- Cape Town HVTN Immunology Laboratory / Hutchinson Centre Research Institute of South AfricaZA1 paper
- Cytel (United States)US1 paper
- Fred Hutch Cancer CenterUS1 paper
- Genentech1 paper
- Gene Therapy LaboratoryFR1 paper
- Hatch (Canada)CA1 paper
- IMT AtlantiqueFR1 paper
- Institut Polytechnique de BordeauxFR1 paper
- Laboratoire Énergies & Mécanique Théorique et AppliquéeFR1 paper
- StormGeo (Norway)NO1 paper
- Tuality HealthcareUS1 paper
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2026
CobbleDB: Modelling Levelled Storage by Composition
Emilie Ma, Ayush Pandey, Annette Bieniusa +1
We present a composition-based approach to building correctby-construction database backing stores. In previous work, we specified the behaviour of several store variants and prove…
cs.DB2020
Towards application-specific query processing systems
Dimitrios Vasilas, Marc Shapiro, Bradley King +1
Database systems use query processing subsystems for enabling efficient query-based data retrieval. An essential aspect of designing any query-intensive application is tuning the q…