Donaldson - PDFSEARCH.IO - Document Search Engine

Donaldson
Results: 787

#	Item
41	Safe Asynchronous Multicore Memory Operations Matko Botinˇcan, Mike Dodds Alastair F. Donaldson Matthew J. Parkinson Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
42	Analysing the Program Analyser Cristian Cadar and Alastair F. Donaldson Imperial College London, UK {c.cadar, a.donaldson}@imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-02-24 08:54:31
43	Symbooglix: A Symbolic Execution Engine for Boogie Programs Daniel Liew Cristian Cadar Alastair F. Donaldson Imperial College London United Kingdom {daniel.liew, c.cadar, alastair.donaldson}@imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-02-07 18:26:53
44	Automatic Veriﬁcation of Active Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡§ Keng Chai Ong‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-05-05 16:39:22
45	Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
46	Portable Inter-workgroup Barrier Synchronisation for GPUs Tyler Sorensen Alastair F. Donaldson Mark Batty Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-08-30 08:50:21
47	Integrating a large-scale testing campaign in the CK framework arXiv:1511.02725v2 [cs.SE] 8 Jan 2016 Andrei Lascu, Alastair F. Donaldson Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-01-21 05:13:01
48	Mr Birdsnest has a lot of birds in his house! Colour in the picture. Draw your own birds in the spaces. From the book Mr Birdsnest and the House Next Door by Julia Donaldson © Barrington Stoke 2012 Illustration © Hanna Add to Reading List Source URL: petersbooks.co.uk - Date: 2015-06-11 06:30:03
49	Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems Add to Reading List Source URL: www0.cs.ucl.ac.uk
50	Evolutionary Ecology Research, 2008, 10: 493–515 Phenotypic diversity as an adaptation to environmental uncertainty Matina C. Donaldson-Matasci,1,2* Michael Lachmann2 and Carl T. Bergstrom1 Add to Reading List Source URL: octavia.zoology.washington.edu - Date: 2008-06-19 12:36:36

UPDATE