Donaldson - PDFSEARCH.IO - Document Search Engine

Donaldson
Results: 787

#	Item
31	Estimating the WCET of GPU-Accelerated Applications using Hybrid Analysis Adam Betts and Alastair Donaldson Department of Computing Imperial College London London SW7 2AZ Email: {adam.betts,alastair.donaldson}@imperial.a Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-07-01 17:41:46
32	Automatic Test Case Reduction for OpenCL Moritz Pflanzer Alastair F. Donaldson Andrei Lascu Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-04-10 17:29:20
33	Investidura de DOCTOR HONORIS CAUSA Prof. SIMON DONALDSON (Imperial College London, UK, and Simon Center for Geometry and Physics, US) Add to Reading List Source URL: www.mat.ucm.es - Date: 2016-10-20 03:07:40
34	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
35	S CRATCH: a Tool for Automatic Analysis of DMA Races ∗ Alastair F. Donaldson Daniel Kroening Philipp R¨ummer Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
36	Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
37	Automatic Verification of Message-Based Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales ¶ Imperial Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2013-01-20 10:47:24
38	Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
39	COLLOQUIUM Metrics on algebraic varieties Prof. SIMON DONALDSON (Imperial College London, UK, and Simon Center for Geometry and Physics, US) Add to Reading List Source URL: www.mat.ucm.es - Date: 2016-10-20 02:43:47
40	Concurrency Testing Using Schedule Bounding: an Empirical Study ∗ Paul Thomson, Alastair F. Donaldson, Adam Betts Imperial College London {paul.thomson11,afd,abetts}@imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2013-12-16 04:59:59

UPDATE