Biblio

Export 4 results:
Filters: Author is Miguel Correia  [Clear All Filters]
2014
Bessani A, Mendes R, Oliveira T, Neves N, Correia M, Pasin M, Verissimo P.  2014.  SCFS: A Shared Cloud-backed File System. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :169--180.
2013
Bessani A, Santos M, Felix J, Neves N, Correia M.  2013.  On the Efficiency of Durable State Machine Replication. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :169--180.
2012
Correia M, Ferro DGómez, Junqueira FP, Serafini M.  2012.  Practical Hardening of Crash-Tolerant Systems. 2012 USENIX Annual Technical Conference (USENIX ATC 12). :453--466.
2010
Bessani A, Sousa P, Correia M.  2010.  Active Quorum Systems. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).