Ic - PDFSEARCH.IO - Document Search Engine

Ic
Results: 14218

#	Item
741	Gaussian Random Number Generators DAVID B. THOMAS and WAYNE LUK 11 Imperial College Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2009-12-13 12:02:23
742	Engineering a Static Verification Tool for GPU Kernels Ethel Bardsley1 , Adam Betts1 , Nathan Chong1 , Peter Collingbourne2 , Pantazis Deligiannis1 , Alastair F. Donaldson1 , Jeroen Ketema1 , Daniel Liew1 , Shaz Qadeer3 Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-07-01 17:41:47
743	Workshop on Computational Brain Research at IIT Madras (Second Annual Workshop of the CCBR, IIT Madras) Dates: Jan 3 Tuesday– Jan 7 Saturday, 2017 Venue: IC & SR Conference Hall II, IIT Madras The Center for Computatio Add to Reading List Source URL: alumni.iitm.ac.in - Date: 2016-11-29 07:19:56
744	Z Concurrency Testing Using Controlled Schedulers: An Empirical Study Paul Thomson, Imperial College London Alastair F. Donaldson, Imperial College London Adam Betts, Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-04-10 17:29:20
745	Approximate Queueing Network Analysis of Patient Treatment Times S.W.M. Au-Yeung, P.G. Harrison and W.J. Knottenbelt Department of Computing, Imperial College London, SW7 2AZ, UK Keywords Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2007-09-05 13:23:44
746	draft copy A Unified Framework for Verification Techniques for Object Invariants (Full Paper) date: 30th August 2007 Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2007-08-30 07:45:11
747	High-Coverage Symbolic Patch Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperial.ac.uk Add to Reading List Source URL: srg.doc.ic.ac.uk - Date: 2014-09-17 17:10:55
748	Static Analysis of Device Drivers: We Can Do Better! Sidney Amani‡§ Leonid Ryzhyk‡§ Alastair F. Donaldson¶ Gernot Heiser‡§ Alexander Legg‡k Yanjin Zhu‡§ ‡ NICTA∗ Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
749	Semi-Product-Form Solution for Models with State-Dependent Rates Nigel Thomas Andrea Marin Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2011-11-14 06:58:06
750	Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-Induction? Alastair F. Donaldson1 , Nannan He1 , Daniel Kroening1 , and Philipp R¨ ummer2 1 Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2013-01-20 10:28:55

UPDATE