Matches in SemOpenAlex for { <https://semopenalex.org/work/W1834755397> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1834755397 abstract "This paper gives an overview of the real-time specification of a commercial RISC processor. The specification is at two related levels, with an abstraction relation defined between them. The lower level specification models separate stages of execution of up to five overlapped instructions. The higher level specification abstracts from the lower level to recapture an atomic, instruction level view of code execution. The load word instruction is used as an example to illustrate the specification at both levels." @default.
- W1834755397 created "2016-06-24" @default.
- W1834755397 creator A5029977695 @default.
- W1834755397 creator A5061718956 @default.
- W1834755397 date "1994-01-01" @default.
- W1834755397 modified "2023-09-27" @default.
- W1834755397 title "A layered real-time specification of a RISC processor" @default.
- W1834755397 cites W2076845834 @default.
- W1834755397 doi "https://doi.org/10.1007/3-540-58468-4_178" @default.
- W1834755397 hasPublicationYear "1994" @default.
- W1834755397 type Work @default.
- W1834755397 sameAs 1834755397 @default.
- W1834755397 citedByCount "3" @default.
- W1834755397 crossrefType "book-chapter" @default.
- W1834755397 hasAuthorship W1834755397A5029977695 @default.
- W1834755397 hasAuthorship W1834755397A5061718956 @default.
- W1834755397 hasConcept C111472728 @default.
- W1834755397 hasConcept C116253237 @default.
- W1834755397 hasConcept C124304363 @default.
- W1834755397 hasConcept C126298526 @default.
- W1834755397 hasConcept C138885662 @default.
- W1834755397 hasConcept C199360897 @default.
- W1834755397 hasConcept C201677973 @default.
- W1834755397 hasConcept C202491316 @default.
- W1834755397 hasConcept C25343380 @default.
- W1834755397 hasConcept C41008148 @default.
- W1834755397 hasConcept C77088390 @default.
- W1834755397 hasConceptScore W1834755397C111472728 @default.
- W1834755397 hasConceptScore W1834755397C116253237 @default.
- W1834755397 hasConceptScore W1834755397C124304363 @default.
- W1834755397 hasConceptScore W1834755397C126298526 @default.
- W1834755397 hasConceptScore W1834755397C138885662 @default.
- W1834755397 hasConceptScore W1834755397C199360897 @default.
- W1834755397 hasConceptScore W1834755397C201677973 @default.
- W1834755397 hasConceptScore W1834755397C202491316 @default.
- W1834755397 hasConceptScore W1834755397C25343380 @default.
- W1834755397 hasConceptScore W1834755397C41008148 @default.
- W1834755397 hasConceptScore W1834755397C77088390 @default.
- W1834755397 hasLocation W18347553971 @default.
- W1834755397 hasOpenAccess W1834755397 @default.
- W1834755397 hasPrimaryLocation W18347553971 @default.
- W1834755397 hasRelatedWork W103742269 @default.
- W1834755397 hasRelatedWork W157784094 @default.
- W1834755397 hasRelatedWork W1582039972 @default.
- W1834755397 hasRelatedWork W1967472216 @default.
- W1834755397 hasRelatedWork W1981533749 @default.
- W1834755397 hasRelatedWork W2000226983 @default.
- W1834755397 hasRelatedWork W2014660195 @default.
- W1834755397 hasRelatedWork W2113248385 @default.
- W1834755397 hasRelatedWork W2122901685 @default.
- W1834755397 hasRelatedWork W2144495248 @default.
- W1834755397 hasRelatedWork W2148999967 @default.
- W1834755397 hasRelatedWork W2161845376 @default.
- W1834755397 hasRelatedWork W2293709607 @default.
- W1834755397 hasRelatedWork W2441926434 @default.
- W1834755397 hasRelatedWork W2618530277 @default.
- W1834755397 hasRelatedWork W340229728 @default.
- W1834755397 hasRelatedWork W577703751 @default.
- W1834755397 hasRelatedWork W2747967409 @default.
- W1834755397 hasRelatedWork W2976806692 @default.
- W1834755397 hasRelatedWork W3079738635 @default.
- W1834755397 isParatext "false" @default.
- W1834755397 isRetracted "false" @default.
- W1834755397 magId "1834755397" @default.
- W1834755397 workType "book-chapter" @default.