Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141330646> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2141330646 endingPage "463" @default.
- W2141330646 startingPage "450" @default.
- W2141330646 abstract "Concurrent FIFO queues are a common component of concurrent systems. Using a single shared lock to prevent concurrent manipulations of queue contents reduces system concurrency. Therefore, many algorithms were suggested to increase concurrency while maintaining the correctness of queue manipulations. This paper shows how to automatically verify partial correctness of concurrent FIFO queue algorithms using existing abstract interpretation techniques. In particular, we verify all the safety properties originally specified for two concurrent queue algorithms without imposing an a priori bound on the number of allocated objects and threads." @default.
- W2141330646 created "2016-06-24" @default.
- W2141330646 creator A5002512849 @default.
- W2141330646 creator A5061044883 @default.
- W2141330646 date "2003-09-01" @default.
- W2141330646 modified "2023-10-17" @default.
- W2141330646 title "Automatically Verifying Concurrent Queue Algorithms" @default.
- W2141330646 cites W1991837261 @default.
- W2141330646 doi "https://doi.org/10.1016/s1571-0661(05)80006-4" @default.
- W2141330646 hasPublicationYear "2003" @default.
- W2141330646 type Work @default.
- W2141330646 sameAs 2141330646 @default.
- W2141330646 citedByCount "24" @default.
- W2141330646 countsByYear W21413306462013 @default.
- W2141330646 countsByYear W21413306462015 @default.
- W2141330646 countsByYear W21413306462016 @default.
- W2141330646 crossrefType "journal-article" @default.
- W2141330646 hasAuthorship W2141330646A5002512849 @default.
- W2141330646 hasAuthorship W2141330646A5061044883 @default.
- W2141330646 hasBestOaLocation W21413306461 @default.
- W2141330646 hasConcept C11413529 @default.
- W2141330646 hasConcept C120314980 @default.
- W2141330646 hasConcept C128220111 @default.
- W2141330646 hasConcept C160403385 @default.
- W2141330646 hasConcept C173608175 @default.
- W2141330646 hasConcept C193702766 @default.
- W2141330646 hasConcept C199360897 @default.
- W2141330646 hasConcept C203222032 @default.
- W2141330646 hasConcept C20528329 @default.
- W2141330646 hasConcept C2777145635 @default.
- W2141330646 hasConcept C41008148 @default.
- W2141330646 hasConcept C55439883 @default.
- W2141330646 hasConceptScore W2141330646C11413529 @default.
- W2141330646 hasConceptScore W2141330646C120314980 @default.
- W2141330646 hasConceptScore W2141330646C128220111 @default.
- W2141330646 hasConceptScore W2141330646C160403385 @default.
- W2141330646 hasConceptScore W2141330646C173608175 @default.
- W2141330646 hasConceptScore W2141330646C193702766 @default.
- W2141330646 hasConceptScore W2141330646C199360897 @default.
- W2141330646 hasConceptScore W2141330646C203222032 @default.
- W2141330646 hasConceptScore W2141330646C20528329 @default.
- W2141330646 hasConceptScore W2141330646C2777145635 @default.
- W2141330646 hasConceptScore W2141330646C41008148 @default.
- W2141330646 hasConceptScore W2141330646C55439883 @default.
- W2141330646 hasIssue "3" @default.
- W2141330646 hasLocation W21413306461 @default.
- W2141330646 hasOpenAccess W2141330646 @default.
- W2141330646 hasPrimaryLocation W21413306461 @default.
- W2141330646 hasRelatedWork W1543144164 @default.
- W2141330646 hasRelatedWork W2101939036 @default.
- W2141330646 hasRelatedWork W2141330646 @default.
- W2141330646 hasRelatedWork W2514948921 @default.
- W2141330646 hasRelatedWork W2560041457 @default.
- W2141330646 hasRelatedWork W2762846896 @default.
- W2141330646 hasRelatedWork W27825682 @default.
- W2141330646 hasRelatedWork W2887304561 @default.
- W2141330646 hasRelatedWork W4301346958 @default.
- W2141330646 hasRelatedWork W4386159955 @default.
- W2141330646 hasVolume "89" @default.
- W2141330646 isParatext "false" @default.
- W2141330646 isRetracted "false" @default.
- W2141330646 magId "2141330646" @default.
- W2141330646 workType "article" @default.