FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899683692> ?p ?o ?g. }

• W2899683692 abstract "The formal verification of multithreaded programs is not just more difficult due to the concurrent behaviours, but also due to the used underlying weak memory consistency models. Weak memory models arise from techniques like store buffering that were introduced to increase the performance. However, all of these techniques weaken the memory consistency, and may result in unintuitive behaviours where processors may disagree on the order in which write operations occurred. Requirements for verification are therefore unambiguous and complete specifications of such memory consistency models. In the past, specifications based on different formalisms have been presented which often lacked of comparability and the direct usability for model checking. In this paper, we therefore introduce the use of temporal logic to describe the behaviour of memory systems. In particular, we use linear temporal logic (LTL) to define the weak memory models. Thereby, we can easily check the properties of a multithreaded program against several different consistency models and determine the weakest consistency guarantees required to fulfil the given specification." @default.
• W2899683692 created "2018-11-16" @default.
• W2899683692 creator A5007088441 @default.
• W2899683692 creator A5081184867 @default.
• W2899683692 date "2018-01-01" @default.
• W2899683692 modified "2023-10-14" @default.
• W2899683692 title "Using temporal logics for specifying weak memory consistency models" @default.
• W2899683692 cites W1498432697 @default.
• W2899683692 cites W1506588809 @default.
• W2899683692 cites W1525350307 @default.
• W2899683692 cites W1594228127 @default.
• W2899683692 cites W2025301734 @default.
• W2899683692 cites W2029601347 @default.
• W2899683692 cites W2046793036 @default.
• W2899683692 cites W2054739713 @default.
• W2899683692 cites W2079605740 @default.
• W2899683692 cites W2101309537 @default.
• W2899683692 cites W2104245532 @default.
• W2899683692 cites W2107901871 @default.
• W2899683692 cites W2116649658 @default.
• W2899683692 cites W2134184428 @default.
• W2899683692 cites W2136099086 @default.
• W2899683692 cites W2143362254 @default.
• W2899683692 cites W2165365531 @default.
• W2899683692 cites W2173730676 @default.
• W2899683692 cites W2791096526 @default.
• W2899683692 cites W2913459036 @default.
• W2899683692 cites W3137220996 @default.
• W2899683692 doi "https://doi.org/10.1504/ijccbs.2018.10017374" @default.
• W2899683692 hasPublicationYear "2018" @default.
• W2899683692 type Work @default.
• W2899683692 sameAs 2899683692 @default.
• W2899683692 citedByCount "0" @default.
• W2899683692 crossrefType "journal-article" @default.
• W2899683692 hasAuthorship W2899683692A5007088441 @default.
• W2899683692 hasAuthorship W2899683692A5081184867 @default.
• W2899683692 hasConcept C105795698 @default.
• W2899683692 hasConcept C110251889 @default.
• W2899683692 hasConcept C115537543 @default.
• W2899683692 hasConcept C12186640 @default.
• W2899683692 hasConcept C122377713 @default.
• W2899683692 hasConcept C133875982 @default.
• W2899683692 hasConcept C141917322 @default.
• W2899683692 hasConcept C154945302 @default.
• W2899683692 hasConcept C171018156 @default.
• W2899683692 hasConcept C173608175 @default.
• W2899683692 hasConcept C175652121 @default.
• W2899683692 hasConcept C185429906 @default.
• W2899683692 hasConcept C189783530 @default.
• W2899683692 hasConcept C199360897 @default.
• W2899683692 hasConcept C25016198 @default.
• W2899683692 hasConcept C2524010 @default.
• W2899683692 hasConcept C2776436953 @default.
• W2899683692 hasConcept C31388003 @default.
• W2899683692 hasConcept C33923547 @default.
• W2899683692 hasConcept C37279795 @default.
• W2899683692 hasConcept C38556500 @default.
• W2899683692 hasConcept C41008148 @default.
• W2899683692 hasConcept C4777664 @default.
• W2899683692 hasConcept C55439883 @default.
• W2899683692 hasConcept C80444323 @default.
• W2899683692 hasConcept C82029504 @default.
• W2899683692 hasConceptScore W2899683692C105795698 @default.
• W2899683692 hasConceptScore W2899683692C110251889 @default.
• W2899683692 hasConceptScore W2899683692C115537543 @default.
• W2899683692 hasConceptScore W2899683692C12186640 @default.
• W2899683692 hasConceptScore W2899683692C122377713 @default.
• W2899683692 hasConceptScore W2899683692C133875982 @default.
• W2899683692 hasConceptScore W2899683692C141917322 @default.
• W2899683692 hasConceptScore W2899683692C154945302 @default.
• W2899683692 hasConceptScore W2899683692C171018156 @default.
• W2899683692 hasConceptScore W2899683692C173608175 @default.
• W2899683692 hasConceptScore W2899683692C175652121 @default.
• W2899683692 hasConceptScore W2899683692C185429906 @default.
• W2899683692 hasConceptScore W2899683692C189783530 @default.
• W2899683692 hasConceptScore W2899683692C199360897 @default.
• W2899683692 hasConceptScore W2899683692C25016198 @default.
• W2899683692 hasConceptScore W2899683692C2524010 @default.
• W2899683692 hasConceptScore W2899683692C2776436953 @default.
• W2899683692 hasConceptScore W2899683692C31388003 @default.
• W2899683692 hasConceptScore W2899683692C33923547 @default.
• W2899683692 hasConceptScore W2899683692C37279795 @default.
• W2899683692 hasConceptScore W2899683692C38556500 @default.
• W2899683692 hasConceptScore W2899683692C41008148 @default.
• W2899683692 hasConceptScore W2899683692C4777664 @default.
• W2899683692 hasConceptScore W2899683692C55439883 @default.
• W2899683692 hasConceptScore W2899683692C80444323 @default.
• W2899683692 hasConceptScore W2899683692C82029504 @default.
• W2899683692 hasLocation W28996836921 @default.
• W2899683692 hasOpenAccess W2899683692 @default.
• W2899683692 hasPrimaryLocation W28996836921 @default.
• W2899683692 hasRelatedWork W118795575 @default.
• W2899683692 hasRelatedWork W123586947 @default.
• W2899683692 hasRelatedWork W1481650142 @default.
• W2899683692 hasRelatedWork W1593939529 @default.
• W2899683692 hasRelatedWork W1848398668 @default.
• W2899683692 hasRelatedWork W1962413779 @default.
• W2899683692 hasRelatedWork W1993990180 @default.
• W2899683692 hasRelatedWork W1996208161 @default.
• W2899683692 hasRelatedWork W2025301734 @default.

• next