Shanghai / Santa Fe / Boston / Leuven / Copenhagen / Charleston / San Diego / St. Louis / Genova / /
Company
Cambridge University Press / Network Theory Ltd / Henkel / /
Country
Italy / Belgium / France / United States / China / Denmark / Czech Republic / /
Currency
USD / / /
Facility
SCSI library / Charles University / University of Illinois / University of Copenhagen / A. Diwan / /
IndustryTerm
model checking algorithm / Structural search / model-checking algorithm / ad hoc data mining / open source software / model checking technology / patch tool / diff tool / http /
OperatingSystem
Linux / Gnu / /
Organization
Cambridge University / Department of Theoretical Computer Science / University of Illinois / Charles University / Prague / African Union / European Union / University of Copenhagen / /
Person
B. Cook / V / Addison Wesley / /
Position
driver / editor / text editor / Linux device driver / Enhancement General / programmer / /
Product
RAM / CatchUp / /
ProgrammingLanguage
Prolog / C / Perl / ML / /
ProvinceOrState
Illinois / New Mexico / South Carolina / California / Massachusetts / /
RAM / Linux / model checking algorithm / API / Perl / operating system / html / Operating Systems / model checking technology / data mining / model-checking algorithm / Scsi / /
Semantic Patches for Documenting and Automating Collateral Evolutions in Linux Device Drivers Yoann Padioleau,1 Ren´e Rydhof Hansen,2 Julia L. Lawall,2 Gilles Muller1 1 OBASCO Group, Ecole des Mines de Nantes-INRIA, LI