Codeplay

#	Item
1	GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-07-05 11:36:54 Uniform polyhedra Prism PRISM model checker Model checking Grip
2	PDF Document Add to Reading List Source URL: www.codeplay.com - Date: 2018-03-28 06:41:45
3	PDF Document Add to Reading List Source URL: www.codeplay.com - Date: 2018-03-28 06:41:46
4	PDF Document Add to Reading List Source URL: www.codeplay.com - Date: 2018-03-28 06:41:48
5	PDF Document Add to Reading List Source URL: www.codeplay.com - Date: 2018-03-28 06:41:46
6	PDF Document Add to Reading List Source URL: www.codeplay.com - Date: 2018-03-28 06:41:46
7	PDF Document Add to Reading List Source URL: www.codeplay.com - Date: 2018-03-28 06:41:47
8	PDF Document Add to Reading List Source URL: www.codeplay.com - Date: 2018-03-28 06:41:45
9	Programming Heterogeneous Multicore Systems using Threading Building Blocks? George Russell1 , Paul Keir2 , Alastair F. Donaldson3 , Uwe Dolinsky1 , Andrew Richards1 and Colin Riley1 1 Add to Reading List Source URL: www.codeplay.com Language: English - Date: 2018-03-28 06:41:49
10	Automatic Offloading of C++ for the Cell BE Processor: a Case Study Using Offload Alastair F. Donaldson Oxford University Computing Laboratory Oxford, UK Email: Add to Reading List Source URL: www.codeplay.com Language: English - Date: 2018-03-28 06:41:47