Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951005845> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2951005845 abstract "The problem of verifying multi-threaded execution against the memory consistency model of a processor is known to be an NP hard problem. However polynomial time algorithms exist that detect almost all failures in such execution. These are often used in practice for microprocessor verification. We present a low complexity and fully parallelized algorithm to check program execution against the processor consistency model. In addition our algorithm is general enough to support a number of consistency models without any degradation in performance. An implementation of this algorithm is currently used in practice to verify processors in the post silicon stage for multiple architectures." @default.
- W2951005845 created "2019-06-27" @default.
- W2951005845 creator A5039857987 @default.
- W2951005845 creator A5047936807 @default.
- W2951005845 creator A5053657638 @default.
- W2951005845 creator A5062650393 @default.
- W2951005845 date "2006-05-09" @default.
- W2951005845 modified "2023-09-27" @default.
- W2951005845 title "Fast and Generalized Polynomial Time Memory Consistency Verification" @default.
- W2951005845 cites W1511234963 @default.
- W2951005845 cites W1993990180 @default.
- W2951005845 cites W2104734478 @default.
- W2951005845 cites W2105945277 @default.
- W2951005845 cites W2111491143 @default.
- W2951005845 cites W2137650676 @default.
- W2951005845 cites W2176864362 @default.
- W2951005845 hasPublicationYear "2006" @default.
- W2951005845 type Work @default.
- W2951005845 sameAs 2951005845 @default.
- W2951005845 citedByCount "0" @default.
- W2951005845 crossrefType "posted-content" @default.
- W2951005845 hasAuthorship W2951005845A5039857987 @default.
- W2951005845 hasAuthorship W2951005845A5047936807 @default.
- W2951005845 hasAuthorship W2951005845A5053657638 @default.
- W2951005845 hasAuthorship W2951005845A5062650393 @default.
- W2951005845 hasConcept C11413529 @default.
- W2951005845 hasConcept C134306372 @default.
- W2951005845 hasConcept C149635348 @default.
- W2951005845 hasConcept C154945302 @default.
- W2951005845 hasConcept C173608175 @default.
- W2951005845 hasConcept C2776436953 @default.
- W2951005845 hasConcept C2780728072 @default.
- W2951005845 hasConcept C311688 @default.
- W2951005845 hasConcept C33923547 @default.
- W2951005845 hasConcept C37279795 @default.
- W2951005845 hasConcept C41008148 @default.
- W2951005845 hasConcept C55439883 @default.
- W2951005845 hasConcept C82029504 @default.
- W2951005845 hasConcept C90119067 @default.
- W2951005845 hasConceptScore W2951005845C11413529 @default.
- W2951005845 hasConceptScore W2951005845C134306372 @default.
- W2951005845 hasConceptScore W2951005845C149635348 @default.
- W2951005845 hasConceptScore W2951005845C154945302 @default.
- W2951005845 hasConceptScore W2951005845C173608175 @default.
- W2951005845 hasConceptScore W2951005845C2776436953 @default.
- W2951005845 hasConceptScore W2951005845C2780728072 @default.
- W2951005845 hasConceptScore W2951005845C311688 @default.
- W2951005845 hasConceptScore W2951005845C33923547 @default.
- W2951005845 hasConceptScore W2951005845C37279795 @default.
- W2951005845 hasConceptScore W2951005845C41008148 @default.
- W2951005845 hasConceptScore W2951005845C55439883 @default.
- W2951005845 hasConceptScore W2951005845C82029504 @default.
- W2951005845 hasConceptScore W2951005845C90119067 @default.
- W2951005845 hasLocation W29510058451 @default.
- W2951005845 hasOpenAccess W2951005845 @default.
- W2951005845 hasPrimaryLocation W29510058451 @default.
- W2951005845 hasRelatedWork W1540040039 @default.
- W2951005845 hasRelatedWork W1595452620 @default.
- W2951005845 hasRelatedWork W1694765325 @default.
- W2951005845 hasRelatedWork W1848398668 @default.
- W2951005845 hasRelatedWork W1906213980 @default.
- W2951005845 hasRelatedWork W1964338243 @default.
- W2951005845 hasRelatedWork W2026130601 @default.
- W2951005845 hasRelatedWork W2034531215 @default.
- W2951005845 hasRelatedWork W2092284451 @default.
- W2951005845 hasRelatedWork W2107901871 @default.
- W2951005845 hasRelatedWork W2111491143 @default.
- W2951005845 hasRelatedWork W2128551356 @default.
- W2951005845 hasRelatedWork W2132723388 @default.
- W2951005845 hasRelatedWork W2136261731 @default.
- W2951005845 hasRelatedWork W2164954753 @default.
- W2951005845 hasRelatedWork W2166422778 @default.
- W2951005845 hasRelatedWork W2347580326 @default.
- W2951005845 hasRelatedWork W2361476734 @default.
- W2951005845 hasRelatedWork W3044724175 @default.
- W2951005845 hasRelatedWork W427043642 @default.
- W2951005845 isParatext "false" @default.
- W2951005845 isRetracted "false" @default.
- W2951005845 magId "2951005845" @default.
- W2951005845 workType "article" @default.