Matches in SemOpenAlex for { <https://semopenalex.org/work/W2731393287> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2731393287 abstract "Efficient implementations of concurrent objects such as atomic collections are essential to modern computing. Programming such objects is error prone: in minimizing the synchronization overhead between concurrent object invocations, one risks the conformance to sequential specifications -- or in formal terms, one risks violating linearizability. Unfortunately, verifying linearizability is undecidable in general, even on classes of implementations where the usual control-state reachability is decidable. In this work we consider concurrent priority queues which are fundamental to many multi-threaded applications such as task scheduling or discrete event simulation, and show that verifying linearizability of such implementations can be reduced to control-state reachability. This reduction entails the first decidability results for verifying concurrent priority queues in the context of an unbounded number of threads, and it enables the application of existing safety-verification tools for establishing their correctness." @default.
- W2731393287 created "2017-07-14" @default.
- W2731393287 creator A5040528930 @default.
- W2731393287 creator A5045477471 @default.
- W2731393287 creator A5055838753 @default.
- W2731393287 date "2017-07-03" @default.
- W2731393287 modified "2023-09-27" @default.
- W2731393287 title "Checking Linearizability of Concurrent Priority Queues" @default.
- W2731393287 cites W14558443 @default.
- W2731393287 cites W1532290188 @default.
- W2731393287 cites W2012001501 @default.
- W2731393287 cites W2012171200 @default.
- W2731393287 cites W2101939036 @default.
- W2731393287 cites W2139142311 @default.
- W2731393287 cites W2146250272 @default.
- W2731393287 cites W2148672856 @default.
- W2731393287 cites W2672830324 @default.
- W2731393287 hasPublicationYear "2017" @default.
- W2731393287 type Work @default.
- W2731393287 sameAs 2731393287 @default.
- W2731393287 citedByCount "0" @default.
- W2731393287 crossrefType "posted-content" @default.
- W2731393287 hasAuthorship W2731393287A5040528930 @default.
- W2731393287 hasAuthorship W2731393287A5045477471 @default.
- W2731393287 hasAuthorship W2731393287A5055838753 @default.
- W2731393287 hasConcept C120314980 @default.
- W2731393287 hasConcept C136643341 @default.
- W2731393287 hasConcept C153269930 @default.
- W2731393287 hasConcept C192034797 @default.
- W2731393287 hasConcept C193702766 @default.
- W2731393287 hasConcept C199360897 @default.
- W2731393287 hasConcept C203222032 @default.
- W2731393287 hasConcept C20528329 @default.
- W2731393287 hasConcept C26713055 @default.
- W2731393287 hasConcept C2777669093 @default.
- W2731393287 hasConcept C41008148 @default.
- W2731393287 hasConcept C55439883 @default.
- W2731393287 hasConcept C80444323 @default.
- W2731393287 hasConceptScore W2731393287C120314980 @default.
- W2731393287 hasConceptScore W2731393287C136643341 @default.
- W2731393287 hasConceptScore W2731393287C153269930 @default.
- W2731393287 hasConceptScore W2731393287C192034797 @default.
- W2731393287 hasConceptScore W2731393287C193702766 @default.
- W2731393287 hasConceptScore W2731393287C199360897 @default.
- W2731393287 hasConceptScore W2731393287C203222032 @default.
- W2731393287 hasConceptScore W2731393287C20528329 @default.
- W2731393287 hasConceptScore W2731393287C26713055 @default.
- W2731393287 hasConceptScore W2731393287C2777669093 @default.
- W2731393287 hasConceptScore W2731393287C41008148 @default.
- W2731393287 hasConceptScore W2731393287C55439883 @default.
- W2731393287 hasConceptScore W2731393287C80444323 @default.
- W2731393287 hasLocation W27313932871 @default.
- W2731393287 hasOpenAccess W2731393287 @default.
- W2731393287 hasPrimaryLocation W27313932871 @default.
- W2731393287 hasRelatedWork W1717387230 @default.
- W2731393287 hasRelatedWork W1818449680 @default.
- W2731393287 hasRelatedWork W1967946180 @default.
- W2731393287 hasRelatedWork W1970986296 @default.
- W2731393287 hasRelatedWork W2017559473 @default.
- W2731393287 hasRelatedWork W2028410161 @default.
- W2731393287 hasRelatedWork W2089775579 @default.
- W2731393287 hasRelatedWork W2145919405 @default.
- W2731393287 hasRelatedWork W2159375180 @default.
- W2731393287 hasRelatedWork W2177564498 @default.
- W2731393287 hasRelatedWork W2243919160 @default.
- W2731393287 hasRelatedWork W2293100135 @default.
- W2731393287 hasRelatedWork W2295204596 @default.
- W2731393287 hasRelatedWork W2368634468 @default.
- W2731393287 hasRelatedWork W2580338579 @default.
- W2731393287 hasRelatedWork W2592567368 @default.
- W2731393287 hasRelatedWork W2780745892 @default.
- W2731393287 hasRelatedWork W2963852181 @default.
- W2731393287 hasRelatedWork W3196015514 @default.
- W2731393287 hasRelatedWork W49252608 @default.
- W2731393287 isParatext "false" @default.
- W2731393287 isRetracted "false" @default.
- W2731393287 magId "2731393287" @default.
- W2731393287 workType "article" @default.