FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1657896522> ?p ?o ?g. }

• W1657896522 endingPage "676" @default.
• W1657896522 startingPage "661" @default.
• W1657896522 abstract "Automatic device driver synthesis is a radical approach to creating drivers faster and with fewer defects by generating them automatically based on hardware device specifications. We present the design and implementation of a new driver synthesis toolkit, called Termite-2. Termite-2 is the first tool to combine the power of automation with the flexibility of conventional development. It is also the first practical synthesis tool based on abstraction refinement. Finally, it is the first synthesis tool to support automated debugging of input specifications. We demonstrate the practicality of Termite-2 by synthesizing drivers for a number of I/O devices representative of a typical embedded platform." @default.
• W1657896522 created "2016-06-24" @default.
• W1657896522 creator A5001598240 @default.
• W1657896522 creator A5028637725 @default.
• W1657896522 creator A5033055304 @default.
• W1657896522 creator A5050513104 @default.
• W1657896522 creator A5062746484 @default.
• W1657896522 creator A5075925450 @default.
• W1657896522 creator A5090620720 @default.
• W1657896522 date "2014-10-06" @default.
• W1657896522 modified "2023-10-16" @default.
• W1657896522 title "User-guided device driver synthesis" @default.
• W1657896522 cites W1481109946 @default.
• W1657896522 cites W1489801944 @default.
• W1657896522 cites W1607705647 @default.
• W1657896522 cites W1935259232 @default.
• W1657896522 cites W1972085995 @default.
• W1657896522 cites W1972433423 @default.
• W1657896522 cites W1985016698 @default.
• W1657896522 cites W1996565109 @default.
• W1657896522 cites W2037777200 @default.
• W1657896522 cites W2043876870 @default.
• W1657896522 cites W20534961 @default.
• W1657896522 cites W2058144256 @default.
• W1657896522 cites W2080267935 @default.
• W1657896522 cites W2096165352 @default.
• W1657896522 cites W2118201637 @default.
• W1657896522 cites W2119436055 @default.
• W1657896522 cites W2127321265 @default.
• W1657896522 cites W2131195907 @default.
• W1657896522 cites W2136310957 @default.
• W1657896522 cites W2138346648 @default.
• W1657896522 cites W2146878883 @default.
• W1657896522 cites W2150990339 @default.
• W1657896522 cites W2151174323 @default.
• W1657896522 cites W2153950928 @default.
• W1657896522 cites W2169317663 @default.
• W1657896522 cites W2171882483 @default.
• W1657896522 cites W3023554972 @default.
• W1657896522 doi "https://doi.org/10.5555/2685048.2685101" @default.
• W1657896522 hasPublicationYear "2014" @default.
• W1657896522 type Work @default.
• W1657896522 sameAs 1657896522 @default.
• W1657896522 citedByCount "21" @default.
• W1657896522 countsByYear W16578965222014 @default.
• W1657896522 countsByYear W16578965222015 @default.
• W1657896522 countsByYear W16578965222016 @default.
• W1657896522 countsByYear W16578965222018 @default.
• W1657896522 countsByYear W16578965222019 @default.
• W1657896522 countsByYear W16578965222020 @default.
• W1657896522 countsByYear W16578965222021 @default.
• W1657896522 countsByYear W16578965222023 @default.
• W1657896522 crossrefType "proceedings-article" @default.
• W1657896522 hasAuthorship W1657896522A5001598240 @default.
• W1657896522 hasAuthorship W1657896522A5028637725 @default.
• W1657896522 hasAuthorship W1657896522A5033055304 @default.
• W1657896522 hasAuthorship W1657896522A5050513104 @default.
• W1657896522 hasAuthorship W1657896522A5062746484 @default.
• W1657896522 hasAuthorship W1657896522A5075925450 @default.
• W1657896522 hasAuthorship W1657896522A5090620720 @default.
• W1657896522 hasConcept C105795698 @default.
• W1657896522 hasConcept C111472728 @default.
• W1657896522 hasConcept C115901376 @default.
• W1657896522 hasConcept C115903868 @default.
• W1657896522 hasConcept C124304363 @default.
• W1657896522 hasConcept C127413603 @default.
• W1657896522 hasConcept C138885662 @default.
• W1657896522 hasConcept C149635348 @default.
• W1657896522 hasConcept C168065819 @default.
• W1657896522 hasConcept C199360897 @default.
• W1657896522 hasConcept C2780598303 @default.
• W1657896522 hasConcept C33923547 @default.
• W1657896522 hasConcept C41008148 @default.
• W1657896522 hasConcept C42935608 @default.
• W1657896522 hasConcept C58013763 @default.
• W1657896522 hasConcept C78519656 @default.
• W1657896522 hasConceptScore W1657896522C105795698 @default.
• W1657896522 hasConceptScore W1657896522C111472728 @default.
• W1657896522 hasConceptScore W1657896522C115901376 @default.
• W1657896522 hasConceptScore W1657896522C115903868 @default.
• W1657896522 hasConceptScore W1657896522C124304363 @default.
• W1657896522 hasConceptScore W1657896522C127413603 @default.
• W1657896522 hasConceptScore W1657896522C138885662 @default.
• W1657896522 hasConceptScore W1657896522C149635348 @default.
• W1657896522 hasConceptScore W1657896522C168065819 @default.
• W1657896522 hasConceptScore W1657896522C199360897 @default.
• W1657896522 hasConceptScore W1657896522C2780598303 @default.
• W1657896522 hasConceptScore W1657896522C33923547 @default.
• W1657896522 hasConceptScore W1657896522C41008148 @default.
• W1657896522 hasConceptScore W1657896522C42935608 @default.
• W1657896522 hasConceptScore W1657896522C58013763 @default.
• W1657896522 hasConceptScore W1657896522C78519656 @default.
• W1657896522 hasLocation W16578965221 @default.
• W1657896522 hasOpenAccess W1657896522 @default.
• W1657896522 hasPrimaryLocation W16578965221 @default.
• W1657896522 hasRelatedWork W143039783 @default.
• W1657896522 hasRelatedWork W1489801944 @default.
• W1657896522 hasRelatedWork W1772960743 @default.

• next