Reports and Proposals in the last 5 years - Reset view
Show last 2, 5, 10, 25 or all years, or choose:
Filter by private, public or all publications.
Show papers, talks/posters, theses, reports, other or all types, or:

1. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes," Technical Report, Archive of Formal Proofs, Jul 2017

2. Sherif Akoush, Ripduman Sohan, Andrew Rice, Andy Hopper, "Evaluating the viability of remote renewable energy in datacentre computing," Technical Report, UCAM-CL-TR-889, University of Cambridge, Computer Laboratory, May 2016

3. Sherif Akoush, Ripduman Sohan, Andy Hopper, "Recomputation-based data reliability for MapReduce using lineage," Technical Report, UCAM-CL-TR-888, University of Cambridge, Computer Laboratory, May 2016

4. Martin Kleppmann, "A critique of the CAP theorem," Technical Report, arXiv:1509.05393, Sep 2015

5. Lucian Carata, Oliver Chick, James Snee, Ripduman Sohan, Andrew Rice, Andy Hopper, "Resourceful: fine-grained resource accounting for explaining service variability," Technical Report, UCAM-CL-TR-859, University of Cambridge, Computer Laboratory, Sep 2014