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.DCShow all
3 papers · 1 filter
cs.DC2025
Energy-Aware Scheduling Strategies for Partially-Replicable Task Chains on Heterogeneous Processors
Yacine Idouar, Adrien Cassagne, Laércio Lima Pilla +7
The arrival of heterogeneous (or hybrid) multicore architectures has brought new performance trade-offs for applications, and efficiency opportunities to systems. They have also in…
cs.DC2019
Invariant Safety for Distributed Applications
Sreeja Nair, Gustavo Petri, Marc Shapiro
We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason…
cs.DC2018★ 6 cited
Just-Right Consistency: reconciling availability and safety
Marc Shapiro, Annette Bieniusa, Nuno Preguiça +2
By the CAP Theorem, a distributed data storage system can ensure either Consistency under Partition (CP) or Availability under Partition (AP), but not both. This has led to a split…