| Document Date: 2013-05-08 18:03:44
Open Document File Size: 354,05 KBShare Result on Facebook
Company Intel Corporation / / Facility University of Colorado Boulder / / IndustryTerm synthesis tool / prototype tool / synthesis algorithm / possible solutions / obvious solution / / OperatingSystem Linux / / Organization University of Colorado Boulder / / Person Ai / / Position Linux device driver / driver / Ethernet controller / programmer / simplified driver / / ProgrammingLanguage C / / Technology Ethernet / synthesis algorithm / Linux / alternative algorithm / /
SocialTag |
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations? ˇ Pavol Cern´ y1 , Thomas A. Henzinger2 , Arjun Radhakrishna2 , Leonid Ryzhyk3 , and Thorsten Tarrach2