Search for Author All Reviews
	Donaldson, Alastair F.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       GPU concurrency: weak behaviours and programming assumptions Alglave J., Batty M., Donaldson A., Gopalakrishnan G., Ketema J., Poetzl D., Sorensen T., Wickerson J.  ASPLOS 2015 (Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems, Istanbul, Turkey, Mar 14-18, 2015) 577-591, 2015.  Type: Proceedings A memory consistency model (MCM) is a specification that describes the value(s) that a memory location should hold based on the causal history of operations that may or may not be associated with that location. The MCM specification is...... Jul 16 2015     Type inference and strong static type checking for PROMELA Donaldson A., Gay S. Science of Computer Programming 75(11): 1165-1191, 2010.  Type: Article The formal methods domain uses model checking as a rigorous technique for analyzing the validity of systems in a disciplined manner. The SPIN model checker is a software tool that mechanically verifies the abstract representation of a ...... Nov 8 2010
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy