Matches in SemOpenAlex for { <https://semopenalex.org/work/W21909428> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W21909428 abstract "Lock-free algorithms are extremely hard to be built correct due to their fine-grained concurrency natures. Formal techniques for verifying them are crucial. We present a framework for verification of CAS-based lock-free algorithms, and prove a nontrivial lock-free algorithm Scalable Synchronous Queue that is practically adopted in Java 6. The strength of our approach lies on that it relieves the dependence on auxiliary variables/commands, thus is relatively easier to conduct and comprehend, comparing to existing works." @default.
- W21909428 created "2016-06-24" @default.
- W21909428 creator A5015759231 @default.
- W21909428 creator A5021004530 @default.
- W21909428 date "2011-01-01" @default.
- W21909428 modified "2023-09-26" @default.
- W21909428 title "Verification of Scalable Synchronous Queue" @default.
- W21909428 cites W1607674807 @default.
- W21909428 cites W1819989006 @default.
- W21909428 cites W1824790454 @default.
- W21909428 cites W1965662337 @default.
- W21909428 cites W2006850502 @default.
- W21909428 cites W2083096988 @default.
- W21909428 cites W2090551028 @default.
- W21909428 cites W2096553703 @default.
- W21909428 cites W2097508841 @default.
- W21909428 cites W2126416887 @default.
- W21909428 cites W2132761501 @default.
- W21909428 cites W2141330646 @default.
- W21909428 cites W2142579121 @default.
- W21909428 cites W2156374980 @default.
- W21909428 cites W2166656159 @default.
- W21909428 cites W2168690953 @default.
- W21909428 cites W3010298153 @default.
- W21909428 cites W4230121659 @default.
- W21909428 cites W4237730680 @default.
- W21909428 cites W4253344502 @default.
- W21909428 doi "https://doi.org/10.1007/978-3-642-25379-9_19" @default.
- W21909428 hasPublicationYear "2011" @default.
- W21909428 type Work @default.
- W21909428 sameAs 21909428 @default.
- W21909428 citedByCount "0" @default.
- W21909428 crossrefType "book-chapter" @default.
- W21909428 hasAuthorship W21909428A5015759231 @default.
- W21909428 hasAuthorship W21909428A5021004530 @default.
- W21909428 hasConcept C110251889 @default.
- W21909428 hasConcept C111919701 @default.
- W21909428 hasConcept C11413529 @default.
- W21909428 hasConcept C120314980 @default.
- W21909428 hasConcept C127413603 @default.
- W21909428 hasConcept C160403385 @default.
- W21909428 hasConcept C173608175 @default.
- W21909428 hasConcept C174839445 @default.
- W21909428 hasConcept C193702766 @default.
- W21909428 hasConcept C199360897 @default.
- W21909428 hasConcept C41008148 @default.
- W21909428 hasConcept C48044578 @default.
- W21909428 hasConcept C548217200 @default.
- W21909428 hasConcept C78519656 @default.
- W21909428 hasConcept C80444323 @default.
- W21909428 hasConceptScore W21909428C110251889 @default.
- W21909428 hasConceptScore W21909428C111919701 @default.
- W21909428 hasConceptScore W21909428C11413529 @default.
- W21909428 hasConceptScore W21909428C120314980 @default.
- W21909428 hasConceptScore W21909428C127413603 @default.
- W21909428 hasConceptScore W21909428C160403385 @default.
- W21909428 hasConceptScore W21909428C173608175 @default.
- W21909428 hasConceptScore W21909428C174839445 @default.
- W21909428 hasConceptScore W21909428C193702766 @default.
- W21909428 hasConceptScore W21909428C199360897 @default.
- W21909428 hasConceptScore W21909428C41008148 @default.
- W21909428 hasConceptScore W21909428C48044578 @default.
- W21909428 hasConceptScore W21909428C548217200 @default.
- W21909428 hasConceptScore W21909428C78519656 @default.
- W21909428 hasConceptScore W21909428C80444323 @default.
- W21909428 hasLocation W219094281 @default.
- W21909428 hasOpenAccess W21909428 @default.
- W21909428 hasPrimaryLocation W219094281 @default.
- W21909428 hasRelatedWork W1569234295 @default.
- W21909428 hasRelatedWork W2052790981 @default.
- W21909428 hasRelatedWork W2084018535 @default.
- W21909428 hasRelatedWork W2097508841 @default.
- W21909428 hasRelatedWork W2102005460 @default.
- W21909428 hasRelatedWork W2410644378 @default.
- W21909428 hasRelatedWork W2508779702 @default.
- W21909428 hasRelatedWork W2566883109 @default.
- W21909428 hasRelatedWork W2625079116 @default.
- W21909428 hasRelatedWork W2771737342 @default.
- W21909428 hasRelatedWork W2885205415 @default.
- W21909428 hasRelatedWork W2888816426 @default.
- W21909428 hasRelatedWork W2977007425 @default.
- W21909428 hasRelatedWork W3033640012 @default.
- W21909428 hasRelatedWork W3126262779 @default.
- W21909428 hasRelatedWork W3158028667 @default.
- W21909428 hasRelatedWork W3160303502 @default.
- W21909428 hasRelatedWork W63992065 @default.
- W21909428 hasRelatedWork W2791570590 @default.
- W21909428 hasRelatedWork W75927651 @default.
- W21909428 isParatext "false" @default.
- W21909428 isRetracted "false" @default.
- W21909428 magId "21909428" @default.
- W21909428 workType "book-chapter" @default.