David Dawson - PDFSEARCH.IO - Document Search Engine

David Dawson
Results: 73

#	Item
1	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: ece.uwaterloo.ca - Date: 2013-01-14 11:59:30
2	BOSS: Building Operating System Services Stephen Dawson-Haggerty, Andrew Krioukov, Jay Taneja, Sagar Karandikar, Gabe Fierro, Nikita Kitaev, and David Culler Computer Science Division, University of California, Berkeley Add to Reading List Source URL: www.usenix.org
3	BOSS: Building Operating System Services Stephen Dawson-Haggerty, Andrew Krioukov, Jay Taneja, Sagar Karandikar, Gabe Fierro, Nikita Kitaev, and David Culler Computer Science Division, University of California, Berkeley Add to Reading List Source URL: sdb.cs.berkeley.edu Language: English - Date: 2015-01-06 07:20:12 Engineering Systems science Automation Technology Control engineering Heating ventilating and air conditioning Building automation Mechanical engineering Variable air volume Control system Distributed control system Database
4	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Software engineering Computing Computer programming Data types C Procedural programming languages Pointer Struct C++ classes Const SKB
5	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Data types Symbolic execution Pointer Array data structure Array data type Bit array Type system Concolic testing
6	Design and Implementation of a High-Fidelity AC Metering Network Xiaofan Jiang, Stephen Dawson-Haggerty, Prabal Dutta, and David Culler Computer Science Division University of California, Berkeley Add to Reading List Source URL: fredjiang.com Language: English - Date: 2012-01-30 03:20:17
7	The Effect of Link Churn on Wireless Routing Stephen Dawson-Haggerty Jorge Ortiz Xiaofan Fred Jiang David E. Culler Add to Reading List Source URL: fredjiang.com Language: English - Date: 2012-01-30 03:20:16
8	Poster Abstract: sMAP – Simple Monitoring and Actuation Profile Xiaofan Jiang, Stephen Dawson-Haggerty, and David Culler Computer Science Division University of California, Berkeley Add to Reading List Source URL: fredjiang.com Language: English - Date: 2012-01-30 03:20:16
9	Don’t Waste Your Time On Social Media Written by David Valentine Edited by Rachel Dawson Formatted by Mark Lauman Add to Reading List Source URL: static1.squarespace.com Language: English
10	EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-02 07:27:33

UPDATE