Vidéo Année : 2015

CISE Safety Tool

Afficher 

Résumé

Demo video of the CISE Tool. See "'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems." A. Gotsman et al., POPL, Jan. 2016, and "Putting Consistency back into Eventual Consistency." V. Balegas et al., EuroSys, Apr. 2015

Domaines

Dates et versions

medihal-01242710 , version 1 (13-12-2015)

Licence

Identifiants

  • HAL Id : medihal-01242710 , version 1

Citer

Marc Shapiro, Mahsa Najafzadeh. CISE Safety Tool. 2015. ⟨medihal-01242710⟩
492 Consultations
948 Téléchargements

Partager

  • More