Matches in SemOpenAlex for { <https://semopenalex.org/work/W2268296505> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2268296505 endingPage "1114" @default.
- W2268296505 startingPage "1109" @default.
- W2268296505 abstract "Contemporary processors have reached a bewildering level of complexity featuring multiple execution pipelines, out-of-order instruction issuing, speculative execution, various prediction components and cache memories. The performance of these components is sometimes not well understood. To facilitate the analysis of these components, we propose the use of formal models of these components. Hereby, we aim to lay a formal basis for reasoning on processor components and to formally proove their properties. In this paper, we develop an operational semantics of cache memories and show how it describes operational aspects of caches." @default.
- W2268296505 created "2016-06-24" @default.
- W2268296505 creator A5041998501 @default.
- W2268296505 creator A5042856447 @default.
- W2268296505 creator A5080181390 @default.
- W2268296505 creator A5086758775 @default.
- W2268296505 date "2006-07-13" @default.
- W2268296505 modified "2023-09-26" @default.
- W2268296505 title "A formal model for microprocessor caches" @default.
- W2268296505 cites W1600036790 @default.
- W2268296505 cites W1983709294 @default.
- W2268296505 cites W2013137740 @default.
- W2268296505 cites W2116627071 @default.
- W2268296505 cites W2119152310 @default.
- W2268296505 cites W2156619090 @default.
- W2268296505 cites W2170549646 @default.
- W2268296505 hasPublicationYear "2006" @default.
- W2268296505 type Work @default.
- W2268296505 sameAs 2268296505 @default.
- W2268296505 citedByCount "0" @default.
- W2268296505 crossrefType "proceedings-article" @default.
- W2268296505 hasAuthorship W2268296505A5041998501 @default.
- W2268296505 hasAuthorship W2268296505A5042856447 @default.
- W2268296505 hasAuthorship W2268296505A5080181390 @default.
- W2268296505 hasAuthorship W2268296505A5086758775 @default.
- W2268296505 hasConcept C115537543 @default.
- W2268296505 hasConcept C121332964 @default.
- W2268296505 hasConcept C146499914 @default.
- W2268296505 hasConcept C149635348 @default.
- W2268296505 hasConcept C156325763 @default.
- W2268296505 hasConcept C168167062 @default.
- W2268296505 hasConcept C173608175 @default.
- W2268296505 hasConcept C184337299 @default.
- W2268296505 hasConcept C199360897 @default.
- W2268296505 hasConcept C2780728072 @default.
- W2268296505 hasConcept C41008148 @default.
- W2268296505 hasConcept C97355855 @default.
- W2268296505 hasConceptScore W2268296505C115537543 @default.
- W2268296505 hasConceptScore W2268296505C121332964 @default.
- W2268296505 hasConceptScore W2268296505C146499914 @default.
- W2268296505 hasConceptScore W2268296505C149635348 @default.
- W2268296505 hasConceptScore W2268296505C156325763 @default.
- W2268296505 hasConceptScore W2268296505C168167062 @default.
- W2268296505 hasConceptScore W2268296505C173608175 @default.
- W2268296505 hasConceptScore W2268296505C184337299 @default.
- W2268296505 hasConceptScore W2268296505C199360897 @default.
- W2268296505 hasConceptScore W2268296505C2780728072 @default.
- W2268296505 hasConceptScore W2268296505C41008148 @default.
- W2268296505 hasConceptScore W2268296505C97355855 @default.
- W2268296505 hasLocation W22682965051 @default.
- W2268296505 hasOpenAccess W2268296505 @default.
- W2268296505 hasPrimaryLocation W22682965051 @default.
- W2268296505 hasRelatedWork W1141117422 @default.
- W2268296505 hasRelatedWork W1782924662 @default.
- W2268296505 hasRelatedWork W1847807943 @default.
- W2268296505 hasRelatedWork W2012022879 @default.
- W2268296505 hasRelatedWork W2026818713 @default.
- W2268296505 hasRelatedWork W2092103988 @default.
- W2268296505 hasRelatedWork W2115158825 @default.
- W2268296505 hasRelatedWork W2121001569 @default.
- W2268296505 hasRelatedWork W2132412204 @default.
- W2268296505 hasRelatedWork W2144714514 @default.
- W2268296505 hasRelatedWork W2155373852 @default.
- W2268296505 hasRelatedWork W2245133856 @default.
- W2268296505 hasRelatedWork W2432379057 @default.
- W2268296505 hasRelatedWork W2491481928 @default.
- W2268296505 hasRelatedWork W2517309779 @default.
- W2268296505 hasRelatedWork W2616014804 @default.
- W2268296505 hasRelatedWork W2755348165 @default.
- W2268296505 hasRelatedWork W2884343737 @default.
- W2268296505 hasRelatedWork W3127630422 @default.
- W2268296505 hasRelatedWork W342820944 @default.
- W2268296505 isParatext "false" @default.
- W2268296505 isRetracted "false" @default.
- W2268296505 magId "2268296505" @default.
- W2268296505 workType "article" @default.