The Circulation of Secularism
- 作者Greg Urban
- 卷第21卷
- 印刷ISSN0891-4486
- 电子ISSN1573-3416
- 文件大小267.45KB
- 发表时间2008-12
- DOI10.1007/s10767-008-9040-x
- 页码17-37
CDScheckerNorris, Brian; Demsky, Brian · ACM SIGPLAN Notices · 2013
A Practical Approach for Model Checking C/C++11 CodeNorris, Brian; Demsky, Brian · ACM Transactions on Programming Languages and Systems · 2016
Integrating file operations into transactional memoryBrian Demsky; Navid Farri Tehrany · 2011
ViewsDemsky, Brian; Lam, Patrick · ACM Transactions on Software Engineering and Methodology · 2013
BambooZhou, Jin; Demsky, Brian · ACM SIGPLAN Notices · 2010
DOJEom, Yong hun; Yang, Stephen; Jenista, James C.; Demsky, Brian · ACM SIGPLAN Notices · 2012
Software transactional distributed shared memoryDash, Alokika; Demsky, Brian · ACM SIGPLAN Notices · 2009
OoOJavaJenista, James Christopher; Eom, Yong hun; Demsky, Brian Charles · ACM SIGPLAN Notices · 2011