Strengthening Induction-Based Race Checking with Lightweight Static Analysis - Direct memory access - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-08-31 08:16:46		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 Download Document from Source Website File Size: 212,77 KB Share Document on Facebook