Chargement de la vidéo...

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Partager

Lien
Intégrer la vidéo

Métriques

Consultations de la notice

309

Téléchargements de fichiers

42

CISE Safety Tool

2015-10-31

Marc Shapiro 1 Mahsa Najafzadeh 1
1 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Description : 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


https://hal.inria.fr/medihal-01242710
Contributeur : Marc Shapiro <>
Soumis le : dimanche 13 décembre 2015 - 23:42:52
Dernière modification le : mardi 17 avril 2018 - 11:27:30