Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996563794> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1996563794 endingPage "76" @default.
- W1996563794 startingPage "61" @default.
- W1996563794 abstract "Two kinds of verification algorithms for microprogram transformation commands are proposed. One algorithm is for moving a single microorder or a group of microorders, and the other is for general improvements that are not covered by the first algorithm. These algorithms are to be used for verifying transformation commands for improving a microprogram while preserving its meaning. These algorithms have been implemented in a firmware editor which is a subsystem of a computer-aided firmware design system, CHEF (Conversational and Hierarchical languages system for Enhanced Firmware)." @default.
- W1996563794 created "2016-06-24" @default.
- W1996563794 creator A5073233000 @default.
- W1996563794 date "1986-02-01" @default.
- W1996563794 modified "2023-09-26" @default.
- W1996563794 title "Verification of microprogram transformation commands for a firmware editor (revised)" @default.
- W1996563794 cites W160072735 @default.
- W1996563794 cites W1771462325 @default.
- W1996563794 cites W1830893350 @default.
- W1996563794 cites W1982475845 @default.
- W1996563794 cites W1995816806 @default.
- W1996563794 cites W2001862172 @default.
- W1996563794 cites W2022102618 @default.
- W1996563794 cites W2039616222 @default.
- W1996563794 cites W2041643207 @default.
- W1996563794 cites W2042442473 @default.
- W1996563794 cites W2071569284 @default.
- W1996563794 cites W2077265102 @default.
- W1996563794 cites W2088017390 @default.
- W1996563794 cites W2093015761 @default.
- W1996563794 cites W2096914045 @default.
- W1996563794 cites W2122439715 @default.
- W1996563794 cites W2124153277 @default.
- W1996563794 cites W2129962996 @default.
- W1996563794 cites W2177002043 @default.
- W1996563794 doi "https://doi.org/10.1016/0165-6074(86)90127-4" @default.
- W1996563794 hasPublicationYear "1986" @default.
- W1996563794 type Work @default.
- W1996563794 sameAs 1996563794 @default.
- W1996563794 citedByCount "0" @default.
- W1996563794 crossrefType "journal-article" @default.
- W1996563794 hasAuthorship W1996563794A5073233000 @default.
- W1996563794 hasConcept C104317684 @default.
- W1996563794 hasConcept C111919701 @default.
- W1996563794 hasConcept C173608175 @default.
- W1996563794 hasConcept C185592680 @default.
- W1996563794 hasConcept C199360897 @default.
- W1996563794 hasConcept C204241405 @default.
- W1996563794 hasConcept C22174128 @default.
- W1996563794 hasConcept C41008148 @default.
- W1996563794 hasConcept C55493867 @default.
- W1996563794 hasConcept C67212190 @default.
- W1996563794 hasConcept C80444323 @default.
- W1996563794 hasConceptScore W1996563794C104317684 @default.
- W1996563794 hasConceptScore W1996563794C111919701 @default.
- W1996563794 hasConceptScore W1996563794C173608175 @default.
- W1996563794 hasConceptScore W1996563794C185592680 @default.
- W1996563794 hasConceptScore W1996563794C199360897 @default.
- W1996563794 hasConceptScore W1996563794C204241405 @default.
- W1996563794 hasConceptScore W1996563794C22174128 @default.
- W1996563794 hasConceptScore W1996563794C41008148 @default.
- W1996563794 hasConceptScore W1996563794C55493867 @default.
- W1996563794 hasConceptScore W1996563794C67212190 @default.
- W1996563794 hasConceptScore W1996563794C80444323 @default.
- W1996563794 hasIssue "2" @default.
- W1996563794 hasLocation W19965637941 @default.
- W1996563794 hasOpenAccess W1996563794 @default.
- W1996563794 hasPrimaryLocation W19965637941 @default.
- W1996563794 hasRelatedWork W1996870413 @default.
- W1996563794 hasRelatedWork W2009886843 @default.
- W1996563794 hasRelatedWork W2032446387 @default.
- W1996563794 hasRelatedWork W2032559291 @default.
- W1996563794 hasRelatedWork W2064210441 @default.
- W1996563794 hasRelatedWork W2221407054 @default.
- W1996563794 hasRelatedWork W2371072962 @default.
- W1996563794 hasRelatedWork W4245327557 @default.
- W1996563794 hasRelatedWork W4250238361 @default.
- W1996563794 hasRelatedWork W4250498384 @default.
- W1996563794 hasVolume "17" @default.
- W1996563794 isParatext "false" @default.
- W1996563794 isRetracted "false" @default.
- W1996563794 magId "1996563794" @default.
- W1996563794 workType "article" @default.