Matches in SemOpenAlex for { <https://semopenalex.org/work/W3138857773> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3138857773 abstract "Presenting large formal instruction set models as executable functions makes them accessible to engineers and useful for less formal purposes such as simulation. However, it is more difficult to extract information about the behaviour of individual instructions for reasoning. We present a method which combines symbolic evaluation and symbolic execution techniques to provide a rule-based view of instruction behaviour, with particular application to automatic test generation for large MIPS-like models." @default.
- W3138857773 created "2021-03-29" @default.
- W3138857773 creator A5012316819 @default.
- W3138857773 creator A5045816546 @default.
- W3138857773 date "2016-10-01" @default.
- W3138857773 modified "2023-09-26" @default.
- W3138857773 title "Extracting behaviour from an executable instruction set model" @default.
- W3138857773 cites W126590973 @default.
- W3138857773 cites W1486298687 @default.
- W3138857773 cites W2047769863 @default.
- W3138857773 cites W2065846678 @default.
- W3138857773 cites W2097281451 @default.
- W3138857773 cites W2101512909 @default.
- W3138857773 cites W2106047869 @default.
- W3138857773 cites W2114780348 @default.
- W3138857773 cites W2137375562 @default.
- W3138857773 cites W2163806865 @default.
- W3138857773 cites W2166304444 @default.
- W3138857773 cites W2170511114 @default.
- W3138857773 cites W21733400 @default.
- W3138857773 cites W2295894684 @default.
- W3138857773 cites W2390888944 @default.
- W3138857773 cites W2611698539 @default.
- W3138857773 cites W4234542549 @default.
- W3138857773 cites W4238065626 @default.
- W3138857773 cites W4238851087 @default.
- W3138857773 cites W2043922265 @default.
- W3138857773 doi "https://doi.org/10.1109/fmcad.2016.7886658" @default.
- W3138857773 hasPublicationYear "2016" @default.
- W3138857773 type Work @default.
- W3138857773 sameAs 3138857773 @default.
- W3138857773 citedByCount "3" @default.
- W3138857773 countsByYear W31388577732020 @default.
- W3138857773 countsByYear W31388577732022 @default.
- W3138857773 crossrefType "proceedings-article" @default.
- W3138857773 hasAuthorship W3138857773A5012316819 @default.
- W3138857773 hasAuthorship W3138857773A5045816546 @default.
- W3138857773 hasBestOaLocation W31388577732 @default.
- W3138857773 hasConcept C111498074 @default.
- W3138857773 hasConcept C115903868 @default.
- W3138857773 hasConcept C154945302 @default.
- W3138857773 hasConcept C160145156 @default.
- W3138857773 hasConcept C177264268 @default.
- W3138857773 hasConcept C199360897 @default.
- W3138857773 hasConcept C202491316 @default.
- W3138857773 hasConcept C2777904410 @default.
- W3138857773 hasConcept C2779639559 @default.
- W3138857773 hasConcept C41008148 @default.
- W3138857773 hasConcept C80444323 @default.
- W3138857773 hasConceptScore W3138857773C111498074 @default.
- W3138857773 hasConceptScore W3138857773C115903868 @default.
- W3138857773 hasConceptScore W3138857773C154945302 @default.
- W3138857773 hasConceptScore W3138857773C160145156 @default.
- W3138857773 hasConceptScore W3138857773C177264268 @default.
- W3138857773 hasConceptScore W3138857773C199360897 @default.
- W3138857773 hasConceptScore W3138857773C202491316 @default.
- W3138857773 hasConceptScore W3138857773C2777904410 @default.
- W3138857773 hasConceptScore W3138857773C2779639559 @default.
- W3138857773 hasConceptScore W3138857773C41008148 @default.
- W3138857773 hasConceptScore W3138857773C80444323 @default.
- W3138857773 hasLocation W31388577731 @default.
- W3138857773 hasLocation W31388577732 @default.
- W3138857773 hasLocation W31388577733 @default.
- W3138857773 hasOpenAccess W3138857773 @default.
- W3138857773 hasPrimaryLocation W31388577731 @default.
- W3138857773 hasRelatedWork W1507552996 @default.
- W3138857773 hasRelatedWork W2085691404 @default.
- W3138857773 hasRelatedWork W2168645221 @default.
- W3138857773 hasRelatedWork W2207032348 @default.
- W3138857773 hasRelatedWork W2748872428 @default.
- W3138857773 hasRelatedWork W2795742902 @default.
- W3138857773 hasRelatedWork W2888171167 @default.
- W3138857773 hasRelatedWork W2899100898 @default.
- W3138857773 hasRelatedWork W3092635374 @default.
- W3138857773 hasRelatedWork W4366721979 @default.
- W3138857773 isParatext "false" @default.
- W3138857773 isRetracted "false" @default.
- W3138857773 magId "3138857773" @default.
- W3138857773 workType "article" @default.