The Library
Browse by Funders
Up a level |
Number of items: 4.
L
Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) On model checking data-independent systems with arrays with whole-array operations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Lazic, Ranko, Newcomb, Tom and Roscoe, A. W. (2004) Polymorphic systems with arrays : decidability and undecidability. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Lazic, Ranko and Nowak, David (2003) On a semantic definition of data independence. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
O
Owenson, Andrew M B, Wright, Steven A., Bunt, Richard A., Jarvis, Stephen A., Ho, Y. K. and Street, Matthew (2018) Developing and using a geometric multigrid, unstructured grid mini-application to assess many-core architectures. In: 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Cambridge, UK, 21-23 Mar 2018. Published in: 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) ISBN 9781538649763. doi:10.1109/PDP2018.2018.00018