Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973894849> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1973894849 endingPage "165" @default.
- W1973894849 startingPage "143" @default.
- W1973894849 abstract "Lock-freedom is a property of concurrent programs which states that, from any state of the program, eventually some process will complete its operation. Lock-freedom is a weaker property than the usual expectation that eventually all processes will complete their operations. By weakening their completion guarantees, lock-free programs increase the potential for parallelism, and hence make more efficient use of multiprocessor architectures than lock-based algorithms. However, lock-free algorithms, and reasoning about them, are considerably more complex. In this paper we present a technique for proving that a program is lock-free. The technique is designed to be as general as possible and is guided by heuristics that simplify the proofs. We demonstrate our theory by proving lock-freedom of two non-trivial examples from the literature. The proofs have been machine-checked by the PVS theorem prover, and we have developed proof strategies to minimise user interaction." @default.
- W1973894849 created "2016-06-24" @default.
- W1973894849 creator A5012214843 @default.
- W1973894849 creator A5018578115 @default.
- W1973894849 date "2009-01-01" @default.
- W1973894849 modified "2023-10-14" @default.
- W1973894849 title "A general technique for proving lock-freedom" @default.
- W1973894849 cites W1993301893 @default.
- W1973894849 cites W1999719510 @default.
- W1973894849 cites W2013021588 @default.
- W1973894849 cites W2101939036 @default.
- W1973894849 cites W2570289169 @default.
- W1973894849 doi "https://doi.org/10.1016/j.scico.2008.09.013" @default.
- W1973894849 hasPublicationYear "2009" @default.
- W1973894849 type Work @default.
- W1973894849 sameAs 1973894849 @default.
- W1973894849 citedByCount "8" @default.
- W1973894849 countsByYear W19738948492013 @default.
- W1973894849 countsByYear W19738948492015 @default.
- W1973894849 countsByYear W19738948492023 @default.
- W1973894849 crossrefType "journal-article" @default.
- W1973894849 hasAuthorship W1973894849A5012214843 @default.
- W1973894849 hasAuthorship W1973894849A5018578115 @default.
- W1973894849 hasConcept C108710211 @default.
- W1973894849 hasConcept C111472728 @default.
- W1973894849 hasConcept C111919701 @default.
- W1973894849 hasConcept C11413529 @default.
- W1973894849 hasConcept C121332964 @default.
- W1973894849 hasConcept C127413603 @default.
- W1973894849 hasConcept C127705205 @default.
- W1973894849 hasConcept C138885662 @default.
- W1973894849 hasConcept C159718280 @default.
- W1973894849 hasConcept C174839445 @default.
- W1973894849 hasConcept C189950617 @default.
- W1973894849 hasConcept C199360897 @default.
- W1973894849 hasConcept C203265346 @default.
- W1973894849 hasConcept C206880738 @default.
- W1973894849 hasConcept C208081375 @default.
- W1973894849 hasConcept C2524010 @default.
- W1973894849 hasConcept C33923547 @default.
- W1973894849 hasConcept C41008148 @default.
- W1973894849 hasConcept C62520636 @default.
- W1973894849 hasConcept C78519656 @default.
- W1973894849 hasConcept C80444323 @default.
- W1973894849 hasConceptScore W1973894849C108710211 @default.
- W1973894849 hasConceptScore W1973894849C111472728 @default.
- W1973894849 hasConceptScore W1973894849C111919701 @default.
- W1973894849 hasConceptScore W1973894849C11413529 @default.
- W1973894849 hasConceptScore W1973894849C121332964 @default.
- W1973894849 hasConceptScore W1973894849C127413603 @default.
- W1973894849 hasConceptScore W1973894849C127705205 @default.
- W1973894849 hasConceptScore W1973894849C138885662 @default.
- W1973894849 hasConceptScore W1973894849C159718280 @default.
- W1973894849 hasConceptScore W1973894849C174839445 @default.
- W1973894849 hasConceptScore W1973894849C189950617 @default.
- W1973894849 hasConceptScore W1973894849C199360897 @default.
- W1973894849 hasConceptScore W1973894849C203265346 @default.
- W1973894849 hasConceptScore W1973894849C206880738 @default.
- W1973894849 hasConceptScore W1973894849C208081375 @default.
- W1973894849 hasConceptScore W1973894849C2524010 @default.
- W1973894849 hasConceptScore W1973894849C33923547 @default.
- W1973894849 hasConceptScore W1973894849C41008148 @default.
- W1973894849 hasConceptScore W1973894849C62520636 @default.
- W1973894849 hasConceptScore W1973894849C78519656 @default.
- W1973894849 hasConceptScore W1973894849C80444323 @default.
- W1973894849 hasIssue "3" @default.
- W1973894849 hasLocation W19738948491 @default.
- W1973894849 hasOpenAccess W1973894849 @default.
- W1973894849 hasPrimaryLocation W19738948491 @default.
- W1973894849 hasRelatedWork W1515169568 @default.
- W1973894849 hasRelatedWork W1523338383 @default.
- W1973894849 hasRelatedWork W1535660288 @default.
- W1973894849 hasRelatedWork W1973894849 @default.
- W1973894849 hasRelatedWork W2100855196 @default.
- W1973894849 hasRelatedWork W2217122638 @default.
- W1973894849 hasRelatedWork W2579160749 @default.
- W1973894849 hasRelatedWork W2950961618 @default.
- W1973894849 hasRelatedWork W2964806919 @default.
- W1973894849 hasRelatedWork W787793384 @default.
- W1973894849 hasVolume "74" @default.
- W1973894849 isParatext "false" @default.
- W1973894849 isRetracted "false" @default.
- W1973894849 magId "1973894849" @default.
- W1973894849 workType "article" @default.