| Document Date: 2014-01-03 23:24:44 Open Document File Size: 127,98 KBShare Result on Facebook
City Tokyo / / Company Amazon / Google / AAAI Press / Cisco / United States Air Force Research Laboratory / VMware / / Facility United States Air Force Research Laboratory / / IndustryTerm prototype tool / software deployment / email-search / image processing libraries / automatic tool / commodity multiprocessor operating systems / semantic email search engine / record-replay systems / parallel image processing job / Online forums / production-quality software / portable software packages / extraneous applications / lightweight solution / strace system call monitoring tool / software packages / open-source tool / arachni web app / research software / cloud computing service / natural language processing module / genetic algorithm / easier solution / research software arachni / production software / social networks / bug finding tool / meld visual text diff tool / opensource tools / / OperatingSystem Mac OS X / Linux / Ubuntu / CentOS / Linux Mint / Mandriva / DOS / Knoppix / Microsoft Windows / / Organization National Science Foundation / pp. / USENIX Association / Stanford University / / Person Richard Spillane / Philip J. Guo / Imran Haque / Fedora Core / Bob / Fernando Perez / Dawson Engler / / / Position climate scientist / general diffusion model for social networks / first author / proof assistant / social networking researcher / engineer / robotics researcher / Coq proof assistant / representative / reporter / programmer / / Product C-7024 / EC2 cloud computing service / EC2 / / ProgrammingLanguage C / Python / C++ / / Technology virtual machine / Linux system / virtual reality / Linux / search engine / machine learning / shared memory / operating systems / image processing / natural language processing / http / simulation / GUI / / URL http /
SocialTag |