Author:
Dobrescu Radu,Dobrescu Matei
Reference12 articles.
1. Using Timestamping and History Variables to Verify Sequential Consistency;Arons,2001
2. A correctness condition for high performance multiprocessors;Attiya;SIAM Journal on Computing,1998
3. Chennareddy, V. and J.K. Deka (2006). Formally Verifying the Distributed Shared Memory Weak Consistency Models, International Conference on Advanced Computing and Communications, ADCOM 2006, pp. 455-460
4. A method for inferencing of network characteristics based on traffic similarities Bul;Dobrescu;UPBC series. Electrical Eng.,2005
5. Galli, R. and Y. Luo (2000). Mu3D: A Causal Consistency Protocol for a Collaborative VRML Editor, Proceeding of the VRML'2000 Symposium, ACM SIGGRAPH, pp. 53-62