Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Yabandeh, Maysam"'
Autor:
Ferro, Daniel Gómez, Yabandeh, Maysam
Publikováno v:
EuroSys 2012
The support for transactions is an essential part of a database management system (DBMS). Without this support, the developers are burdened with ensuring atomic execution of a transaction despite failures as well as concurrent accesses to the databas
Externí odkaz:
http://arxiv.org/abs/2405.18393
Publikováno v:
In Computer Communications 2007 30(17):3270-3284
Autor:
YABANDEH, MAYSAM maysam.yabandeh@epfl.ch, KNEŽEVIĆ, NIKOLA nikola.knezevic@epfl.ch, KOSTIĆ, DEJAN dejan.kostic@epfl.ch, KUNCAK, VIKTOR victor.kuncak@epfl.ch
Publikováno v:
ACM Transactions on Computer Systems. Mar2010, Vol. 28 Issue 1, p2-2:49. 49p. 14 Diagrams, 5 Charts, 7 Graphs.
Publikováno v:
2014 IEEE 30th International Conference on Data Engineering; 2014, p676-687, 12p
Publikováno v:
2013 IEEE 12th International Symposium on Network Computing & Applications; 2013, p227-234, 8p
Autor:
Guerraoui, Rachid, Yabandeh, Maysam
Publikováno v:
Proceedings of the 4th International Workshop: Large Scale Distributed Systems & Middleware; 7/28/2010, p12-17, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Guerraoui, Rachid, Yabandeh, Maysam
Current approaches to model checking distributed systems reduce the problem to that of model checking centralized systems: global states involving all nodes and communication links are systematically explored. The frequent changes in the network elem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::ee84b726735345c0f16a7a9a03e9afb5
https://infoscience.epfl.ch/record/163963
https://infoscience.epfl.ch/record/163963
Autor:
Guerraoui, Rachid, Yabandeh, Maysam
Current approaches to model checking distributed systems reduce the problem to that of model checking centralized systems: global states involving all nodes and communication links are systematically explored. The frequent changes in the network elem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::ee3c135b74d42daecfed32fd42e76151
https://infoscience.epfl.ch/record/208943
https://infoscience.epfl.ch/record/208943
It is notoriously hard to develop dependable distributed systems. This is partly due to the difficulties in foreseeing various corner cases and failure scenarios while implementing a system that will be deployed over an asynchronous network. In contr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::ff0e4d85363db95e70af764f5f699c2f
https://infoscience.epfl.ch/record/141383
https://infoscience.epfl.ch/record/141383