Preface and Acknowledgements
- 作者Diane E. Davis
- 卷第18卷
- 印刷ISSN0891-4486
- 电子ISSN1573-3416
- 文件大小68.11KB
- 发表时间2005-06
- DOI10.1007/s10767-006-9005-x
- 页码109-112
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