T. Yuan, G. Li, J. Lu, C. Liu, L. Li, and J. Xue. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), page 187-199. Los Alamitos, CA, USA, IEEE Computer Society, (March 2021)
M. Bilal, and M. Kang. (2012)cite arxiv:1801.00389Comment: 5 pages, 6 Figures, Presented in 14th International Conference on Advanced Communication Technology IEEE ICACT'12. February 2012, South Korea.
M. Bilal, M. Kang, S. Shah, and S. Kang. ETRI, 36 (3):
374-384(2014)cite arxiv:1801.06018Comment: 11 pages, 10 figures, published in ETRI Journal, Volume 36, Number 3, pp. 374-384, June 2014.
G. Steele, Jr., and J. Tristan. Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, page 15:1--15:12. ACM, (2016)
R. Canetti, O. Goldreich, S. Goldwasser, and S. Micali. Proceedings of the Thirty-second Annual ACM Symposium on Theory of
Computing, page 235--244. New York, NY, USA, ACM, (2000)
D. Hendler, N. Shavit, and L. Yerushalmi. Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, page 206--215. ACM, (2004)
S. Kahn, T. Klug, and F. Flentge. TMR '07: Proceedings of the ICMI 2007 Workshop on Tagging, Mining and Retrieval of Human Related Activity Information, Nagoya, Japan, page 27-34. (2007)
K. Mani, Chandy, and M. Olson. Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium, SS-09-05, page 21--26. Menlo Park, CA, AAAI Press, (2009)
J. Ha, M. Haghighat, S. Cong, and K. McKinley. Workshop on Parallel Execution of Sequential Programs on Multicore Architectures (PESPMA 2009), (June 2009)in conjunction with ISCA 09.
P. Ganty, R. Majumdar, and A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 102--113. New York, NY, USA, ACM, (2009)
A. Pnueli, J. Xu, and L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, page 107--122. London, UK, Springer-Verlag, (2002)
G. Delzanno, J. Raskin, and L. Begin. CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification, page 298--310. London, UK, Springer-Verlag, (2001)
G. Basler, M. Mazzucchi, T. Wahl, and D. Kroening. CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, page 64--78. Berlin, Heidelberg, Springer-Verlag, (2009)
P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)
V. Kahlon. LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science, page 181--192. Washington, DC, USA, IEEE Computer Society, (2008)