Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060457190> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2060457190 endingPage "75" @default.
- W2060457190 startingPage "57" @default.
- W2060457190 abstract "For years, the mutual exclusion algorithm of Lycklama and Hadzilacos (1991) [21] was the optimal mutual exclusion algorithm with the first-come-first-served property, with a minimal number of (non-atomic) communication variables (5 bits per thread). Recently, Aravind published an improvement of it, which uses 4 bits per thread and has simplified waiting conditions. This algorithm is extended here with fault tolerance, and it is verified by assertional methods, using the proof assistant PVS. Progress is proved by means of UNITY logic. The paper proposes a new measure of concurrent time complexity, and proves that the concurrent complexity for throughput of the present algorithm is not more than quadratic in the number of threads." @default.
- W2060457190 created "2016-06-24" @default.
- W2060457190 creator A5022758187 @default.
- W2060457190 date "2015-05-01" @default.
- W2060457190 modified "2023-09-29" @default.
- W2060457190 title "Mutual exclusion by four shared bits with not more than quadratic complexity" @default.
- W2060457190 cites W1964727056 @default.
- W2060457190 cites W1977535060 @default.
- W2060457190 cites W1977573553 @default.
- W2060457190 cites W2020198687 @default.
- W2060457190 cites W2043801088 @default.
- W2060457190 cites W2047110290 @default.
- W2060457190 cites W2056740525 @default.
- W2060457190 cites W2059072516 @default.
- W2060457190 cites W2068333993 @default.
- W2060457190 cites W2070908350 @default.
- W2060457190 cites W2087801709 @default.
- W2060457190 cites W2094104092 @default.
- W2060457190 cites W2134926993 @default.
- W2060457190 cites W2138502430 @default.
- W2060457190 cites W2164578853 @default.
- W2060457190 cites W4294549613 @default.
- W2060457190 doi "https://doi.org/10.1016/j.scico.2015.01.001" @default.
- W2060457190 hasPublicationYear "2015" @default.
- W2060457190 type Work @default.
- W2060457190 sameAs 2060457190 @default.
- W2060457190 citedByCount "5" @default.
- W2060457190 countsByYear W20604571902015 @default.
- W2060457190 countsByYear W20604571902016 @default.
- W2060457190 countsByYear W20604571902017 @default.
- W2060457190 countsByYear W20604571902018 @default.
- W2060457190 crossrefType "journal-article" @default.
- W2060457190 hasAuthorship W2060457190A5022758187 @default.
- W2060457190 hasBestOaLocation W20604571901 @default.
- W2060457190 hasConcept C11413529 @default.
- W2060457190 hasConcept C120314980 @default.
- W2060457190 hasConcept C129844170 @default.
- W2060457190 hasConcept C138101251 @default.
- W2060457190 hasConcept C173608175 @default.
- W2060457190 hasConcept C199360897 @default.
- W2060457190 hasConcept C2524010 @default.
- W2060457190 hasConcept C311688 @default.
- W2060457190 hasConcept C33923547 @default.
- W2060457190 hasConcept C41008148 @default.
- W2060457190 hasConcept C56348326 @default.
- W2060457190 hasConcept C63540848 @default.
- W2060457190 hasConcept C80444323 @default.
- W2060457190 hasConceptScore W2060457190C11413529 @default.
- W2060457190 hasConceptScore W2060457190C120314980 @default.
- W2060457190 hasConceptScore W2060457190C129844170 @default.
- W2060457190 hasConceptScore W2060457190C138101251 @default.
- W2060457190 hasConceptScore W2060457190C173608175 @default.
- W2060457190 hasConceptScore W2060457190C199360897 @default.
- W2060457190 hasConceptScore W2060457190C2524010 @default.
- W2060457190 hasConceptScore W2060457190C311688 @default.
- W2060457190 hasConceptScore W2060457190C33923547 @default.
- W2060457190 hasConceptScore W2060457190C41008148 @default.
- W2060457190 hasConceptScore W2060457190C56348326 @default.
- W2060457190 hasConceptScore W2060457190C63540848 @default.
- W2060457190 hasConceptScore W2060457190C80444323 @default.
- W2060457190 hasLocation W20604571901 @default.
- W2060457190 hasLocation W20604571902 @default.
- W2060457190 hasLocation W20604571903 @default.
- W2060457190 hasOpenAccess W2060457190 @default.
- W2060457190 hasPrimaryLocation W20604571901 @default.
- W2060457190 hasRelatedWork W1579918296 @default.
- W2060457190 hasRelatedWork W2030017253 @default.
- W2060457190 hasRelatedWork W2071009528 @default.
- W2060457190 hasRelatedWork W2133693067 @default.
- W2060457190 hasRelatedWork W2170268965 @default.
- W2060457190 hasRelatedWork W2480924089 @default.
- W2060457190 hasRelatedWork W3033052750 @default.
- W2060457190 hasRelatedWork W35114839 @default.
- W2060457190 hasRelatedWork W4210381016 @default.
- W2060457190 hasRelatedWork W973343392 @default.
- W2060457190 hasVolume "102" @default.
- W2060457190 isParatext "false" @default.
- W2060457190 isRetracted "false" @default.
- W2060457190 magId "2060457190" @default.
- W2060457190 workType "article" @default.