First Page | Meta Content | |
---|---|---|
Document Date: 2011-04-26 20:51:14Open Document File Size: 127,98 KBShare Result on FacebookCityTokyo / /CompanyAmazon / Google / AAAI Press / Cisco / United States Air Force Research Laboratory / VMware / /FacilityUnited States Air Force Research Laboratory / /IndustryTermprototype 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 / /OperatingSystemMac OS X / Linux / Ubuntu / CentOS / Linux Mint / Mandriva / DOS / Knoppix / Microsoft Windows / /OrganizationNational Science Foundation / pp. / USENIX Association / Stanford University / /PersonRichard Spillane / Philip J. Guo / Imran Haque / Fedora Core / Bob / Fernando Perez / Dawson Engler / / /Positionclimate scientist / general diffusion model for social networks / first author / proof assistant / social networking researcher / engineer / robotics researcher / Coq proof assistant / representative / reporter / programmer / /ProductC-7024 / EC2 cloud computing service / EC2 / /ProgrammingLanguageC / Python / C++ / /Technologyvirtual machine / Linux system / virtual reality / Linux / search engine / machine learning / shared memory / operating systems / image processing / natural language processing / http / simulation / GUI / /URLhttp /SocialTag |