Showing results 27 to 36 of 36
< previous
Title | Author(s) | Issue Date | Views | |
---|---|---|---|---|
Sound and precise analysis of parallel programs through schedule specialization Proceeding/Conference:ACM SIGPLAN Notices | 2012 | 44 | ||
Sound and precise analysis of parallel programs through schedule specialization Proceeding/Conference:Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | 2012 | 54 | ||
Structural stability and electronic, magnetic properties of Ge adsorption on defected graphene: A first-principles study Journal:Physica E: Low-Dimensional Systems and Nanostructures | 2011 | 194 | ||
2011 | 33 | |||
Supporting students’ assignment writing: what lecturers do in a Master of Education programme Journal:Assessment & Evaluation in Higher Education | 2018 | 76 | ||
2017 | 84 | |||
2019 | ||||
The ‘dual motives’ of written assignments in an MEd programme Proceeding/Conference:17th Symposium for Second Language Writing | 2018 | 18 | ||
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:ACM SIGPLAN Notices | 2013 | 52 | ||
Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS | 2013 |