Seguir
Mihai Letia
Mihai Letia
Dirección de correo verificada de epfl.ch
Título
Citado por
Citado por
Año
A commutative replicated data type for cooperative editing
N Preguiça, JM Marquès, M Shapiro, M Letia
2009 29th IEEE International Conference on Distributed Computing Systems …, 2009
3322009
CRDTs: Consistency without concurrency control
M Letia, N Preguiça, M Shapiro
arXiv preprint arXiv:0907.0929, 2009
562009
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
522010
Visual debugging for stream processing applications
W De Pauw, M Leţia, B Gedik, H Andrade, A Frenkiel, M Pfeifer, D Sow
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
362010
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
12010
Inferring Scalability from Program Pseudocode
M Letia
EPFL, 2014
2014
Disjoint-access parallelism does not entail scalability
R Guerraoui, M Letia
Networked Systems: Second International Conference, NETYS 2014, Marrakech …, 2014
2014
Obstruction degree: measuring concurrency in shared memory systems
R Guerraoui, M Letia
2012
DCL
Y Allouah, K Antoniadis, OM Balmau, R Banabic, PF Blanchard, R Boichat, ...
Practical concurrent algorithms
M Letia
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12