| Document Date: 2013-08-07 18:27:55
Open Document File Size: 263,22 KBShare Result on Facebook
City Indianapolis / / Country United States / / Currency pence / USD / / / Facility Multithreaded Programs Tom Bergan Luis Ceze Dan Grossman University of Washington / / IndustryTerm above algorithms / actual algorithm / schedule enumeration algorithm / conventional systems / depth-first search / summarization algorithms / dynamic backwards slicing algorithm / verification tools / computing / / OperatingSystem Linux / POSIX / / Organization University of Washington / Department of Computer Science & Engineering / / Person Luis Ceze Dan / / Position author / forward / slice.head / programmer / / ProgrammingLanguage FL / C / C++ / / ProvinceOrState Indiana / Florida / / Technology above algorithms / Linux system / Finding Input-Covering Schedules Our algorithm / schedule enumeration algorithm / slicing algorithm / dynamic backwards slicing algorithm / summarization algorithms / / URL http / |
Input-Covering Schedules for Multithreaded Programs Tom Bergan Luis Ceze Dan Grossman