Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289666876> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4289666876 abstract "Memory consistency models (MCMs) are at the heart of concurrent programming. They represent the behaviour of concurrent programs at the chip level. To test these models small program snippets called litmus test are generated, which show allowed or forbidden behaviour of different MCMs. This paper is showcasing the use of constraint programming to automate the generation and testing of litmus tests for memory consistency models. We produce a few exemplary case studies for two MCMs, namely Sequential Consistency and Total Store Order. These studies demonstrate the flexibility of constrains programming in this context and lay foundation to the direct verification of MCMs against the software facing cache coherence protocols." @default.
- W4289666876 created "2022-08-03" @default.
- W4289666876 creator A5049188617 @default.
- W4289666876 creator A5067041446 @default.
- W4289666876 creator A5073254249 @default.
- W4289666876 date "2018-08-29" @default.
- W4289666876 modified "2023-09-25" @default.
- W4289666876 title "Memory Consistency Models using Constraints" @default.
- W4289666876 doi "https://doi.org/10.48550/arxiv.1808.09870" @default.
- W4289666876 hasPublicationYear "2018" @default.
- W4289666876 type Work @default.
- W4289666876 citedByCount "0" @default.
- W4289666876 crossrefType "posted-content" @default.
- W4289666876 hasAuthorship W4289666876A5049188617 @default.
- W4289666876 hasAuthorship W4289666876A5067041446 @default.
- W4289666876 hasAuthorship W4289666876A5073254249 @default.
- W4289666876 hasBestOaLocation W42896668761 @default.
- W4289666876 hasConcept C105795698 @default.
- W4289666876 hasConcept C115537543 @default.
- W4289666876 hasConcept C120314980 @default.
- W4289666876 hasConcept C12186640 @default.
- W4289666876 hasConcept C133875982 @default.
- W4289666876 hasConcept C137631369 @default.
- W4289666876 hasConcept C141917322 @default.
- W4289666876 hasConcept C147789679 @default.
- W4289666876 hasConcept C151730666 @default.
- W4289666876 hasConcept C154945302 @default.
- W4289666876 hasConcept C157329479 @default.
- W4289666876 hasConcept C173404611 @default.
- W4289666876 hasConcept C173608175 @default.
- W4289666876 hasConcept C185592680 @default.
- W4289666876 hasConcept C189783530 @default.
- W4289666876 hasConcept C199360897 @default.
- W4289666876 hasConcept C2776436953 @default.
- W4289666876 hasConcept C2779343474 @default.
- W4289666876 hasConcept C2780598303 @default.
- W4289666876 hasConcept C33923547 @default.
- W4289666876 hasConcept C34165917 @default.
- W4289666876 hasConcept C37279795 @default.
- W4289666876 hasConcept C38556500 @default.
- W4289666876 hasConcept C41008148 @default.
- W4289666876 hasConcept C82029504 @default.
- W4289666876 hasConcept C86803240 @default.
- W4289666876 hasConcept C93361087 @default.
- W4289666876 hasConceptScore W4289666876C105795698 @default.
- W4289666876 hasConceptScore W4289666876C115537543 @default.
- W4289666876 hasConceptScore W4289666876C120314980 @default.
- W4289666876 hasConceptScore W4289666876C12186640 @default.
- W4289666876 hasConceptScore W4289666876C133875982 @default.
- W4289666876 hasConceptScore W4289666876C137631369 @default.
- W4289666876 hasConceptScore W4289666876C141917322 @default.
- W4289666876 hasConceptScore W4289666876C147789679 @default.
- W4289666876 hasConceptScore W4289666876C151730666 @default.
- W4289666876 hasConceptScore W4289666876C154945302 @default.
- W4289666876 hasConceptScore W4289666876C157329479 @default.
- W4289666876 hasConceptScore W4289666876C173404611 @default.
- W4289666876 hasConceptScore W4289666876C173608175 @default.
- W4289666876 hasConceptScore W4289666876C185592680 @default.
- W4289666876 hasConceptScore W4289666876C189783530 @default.
- W4289666876 hasConceptScore W4289666876C199360897 @default.
- W4289666876 hasConceptScore W4289666876C2776436953 @default.
- W4289666876 hasConceptScore W4289666876C2779343474 @default.
- W4289666876 hasConceptScore W4289666876C2780598303 @default.
- W4289666876 hasConceptScore W4289666876C33923547 @default.
- W4289666876 hasConceptScore W4289666876C34165917 @default.
- W4289666876 hasConceptScore W4289666876C37279795 @default.
- W4289666876 hasConceptScore W4289666876C38556500 @default.
- W4289666876 hasConceptScore W4289666876C41008148 @default.
- W4289666876 hasConceptScore W4289666876C82029504 @default.
- W4289666876 hasConceptScore W4289666876C86803240 @default.
- W4289666876 hasConceptScore W4289666876C93361087 @default.
- W4289666876 hasLocation W42896668761 @default.
- W4289666876 hasLocation W42896668762 @default.
- W4289666876 hasOpenAccess W4289666876 @default.
- W4289666876 hasPrimaryLocation W42896668761 @default.
- W4289666876 hasRelatedWork W118795575 @default.
- W4289666876 hasRelatedWork W1885534640 @default.
- W4289666876 hasRelatedWork W2036306661 @default.
- W4289666876 hasRelatedWork W2052172665 @default.
- W4289666876 hasRelatedWork W2115953580 @default.
- W4289666876 hasRelatedWork W2123492060 @default.
- W4289666876 hasRelatedWork W2143087414 @default.
- W4289666876 hasRelatedWork W2370382780 @default.
- W4289666876 hasRelatedWork W2505917360 @default.
- W4289666876 hasRelatedWork W2888870319 @default.
- W4289666876 isParatext "false" @default.
- W4289666876 isRetracted "false" @default.
- W4289666876 workType "article" @default.