Mihai Letia
Mihai Letia
Email confirmado em epfl.ch
TítuloCitado porAno
A commutative replicated data type for cooperative editing
N Preguica, JM Marques, M Shapiro, M Letia
2009 29th IEEE International Conference on Distributed Computing Systems …, 2009
2082009
CRDTs: Consistency without concurrency control
M Letia, N Preguiça, M Shapiro
arXiv preprint arXiv:0907.0929, 2009
382009
Consistency without concurrency control in large, dynamic systems
M Letia, N Preguiça, M Shapiro
ACM SIGOPS Operating Systems Review 44 (2), 29-34, 2010
312010
Visual debugging for stream processing applications
W De Pauw, M Leţia, B Gedik, H Andrade, A Frenkiel, M Pfeifer, D Sow
International Conference on Runtime Verification, 18-35, 2010
242010
Composing relaxed transactions
V Gramoli, R Guerraoui, M Letia
2013 IEEE 27th International Symposium on Parallel and Distributed …, 2013
112013
The many faces of transactional software composition
V Gramoli, R Guerraoui, M Letia
Technical Report EPFL-REPORT-150654, EPFL, 2010
32010
Composition vs concurrency
V Gramoli, R Guerraoui, M Letia
2nd Workshop on the Theory of Transactional Memory, 2010
22010
Disjoint-access parallelism does not entail scalability
R Guerraoui, M Letia
International Conference on Networked Systems, 41-56, 2014
2014
Inferring Scalability from Program Pseudocode
M Letia
EPFL, 2014
2014
Obstruction degree: measuring concurrency in shared memory systems
R Guerraoui, M Letia
2012
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–10