Multistage Pressure-Retarded Osmosis
- 期刊名称Journal of Non-Equilibrium Thermodynamics
- 作者Bharadwaj, Devesh; Fyles, Thomas M.; Struchtrup, Henning
- 卷第41卷
- 期第4期
- 印刷ISSN0340-0204
- 电子ISSN1437-4358
- 文件大小2276.56KB
- 发表时间2016-01-1
- DOI10.1515/jnet-2016-0017
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