A. Ganesh, and M. Draief. Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, page 34:1--34:8. ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), (2009)
S. Prestwich. Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, page 203--215. Berlin, Heidelberg, Springer-Verlag, (2005)
P. Berenbrink, C. Cooper, R. Elsässer, T. Radzik, and T. Sauerwald. Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, page 1422--1435. Philadelphia, PA, USA, Society for Industrial and Applied Mathematics, (2010)
A. Dasgupta, G. Das, and H. Mannila. Proceedings of the 2007 ACM SIGMOD international conference on Management of data, page 629--640. New York, NY, USA, ACM, (2007)
C. Avin, and B. Krishnamachari. Proceedings of the 9th ACM international symposium on Modeling analysis and simulation of wireless and mobile systems, page 219--228. New York, NY, USA, ACM, (2006)
J. Oudinet. Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), page 26--29. New York, NY, USA, ACM, (2007)
J. He, H. Tong, M. Li, W. Ma, and C. Zhang. Proceedings of the 7th ACM SIGMM international workshop on Multimedia information retrieval, page 151--158. New York, NY, USA, ACM, (2005)
L. Massoulié, E. Le Merrer, A. Kermarrec, and A. Ganesh. Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, page 123--132. New York, NY, USA, ACM, (2006)
G. Hasslinger, and S. Kempken. Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, page 80:1--80:8. ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), (2007)
A. Das Sarma, D. Nanongkai, and G. Pandurangan. Proceedings of the 28th ACM symposium on Principles of distributed computing, page 161--170. New York, NY, USA, ACM, (2009)
N. Alon, C. Avin, M. Koucky, G. Kozma, Z. Lotker, and M. Tuttle. Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures, page 119--128. New York, NY, USA, ACM, (2008)
A. Das Sarma, D. Nanongkai, G. Pandurangan, and P. Tetali. Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, page 201--210. New York, NY, USA, ACM, (2010)