Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208291283> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3208291283 abstract "Terms are one of the fundamental mathematical concepts in computing. E.g. every expression characterisable by a context free grammar is a term. We developed a thread-safe Term Library. The biggest challenge is to implement hyper-efficient multi-reader/single-writer mutual exclusion for which we designed the new busy-forbidden protocol. Model checking is used to show both the correctness of the protocol and the Term Library. Benchmarks show this Term Library has little overhead compared to sequential versions and outperforms them already on two processors. Using the new library in an existing state space generation tool, very substantial speed ups can be obtained." @default.
- W3208291283 created "2021-11-08" @default.
- W3208291283 creator A5025046816 @default.
- W3208291283 creator A5032619003 @default.
- W3208291283 creator A5056065743 @default.
- W3208291283 date "2021-11-04" @default.
- W3208291283 modified "2023-09-27" @default.
- W3208291283 title "A thread-safe Term Library" @default.
- W3208291283 cites W1502619425 @default.
- W3208291283 cites W1544435207 @default.
- W3208291283 cites W1590033178 @default.
- W3208291283 cites W1985161650 @default.
- W3208291283 cites W2015706098 @default.
- W3208291283 cites W2019702515 @default.
- W3208291283 cites W2060582017 @default.
- W3208291283 cites W2060771324 @default.
- W3208291283 cites W2099899133 @default.
- W3208291283 cites W2101310909 @default.
- W3208291283 cites W2103718058 @default.
- W3208291283 cites W2125230050 @default.
- W3208291283 cites W2130650051 @default.
- W3208291283 cites W2138696525 @default.
- W3208291283 cites W2146544231 @default.
- W3208291283 cites W2169613524 @default.
- W3208291283 cites W2913844428 @default.
- W3208291283 cites W3173885982 @default.
- W3208291283 doi "https://doi.org/10.48550/arxiv.2111.02706" @default.
- W3208291283 hasPublicationYear "2021" @default.
- W3208291283 type Work @default.
- W3208291283 sameAs 3208291283 @default.
- W3208291283 citedByCount "0" @default.
- W3208291283 crossrefType "posted-content" @default.
- W3208291283 hasAuthorship W3208291283A5025046816 @default.
- W3208291283 hasAuthorship W3208291283A5032619003 @default.
- W3208291283 hasAuthorship W3208291283A5056065743 @default.
- W3208291283 hasBestOaLocation W32082912831 @default.
- W3208291283 hasConcept C121332964 @default.
- W3208291283 hasConcept C138101251 @default.
- W3208291283 hasConcept C199360897 @default.
- W3208291283 hasConcept C41008148 @default.
- W3208291283 hasConcept C55439883 @default.
- W3208291283 hasConcept C56348326 @default.
- W3208291283 hasConcept C61797465 @default.
- W3208291283 hasConcept C62520636 @default.
- W3208291283 hasConcept C80444323 @default.
- W3208291283 hasConceptScore W3208291283C121332964 @default.
- W3208291283 hasConceptScore W3208291283C138101251 @default.
- W3208291283 hasConceptScore W3208291283C199360897 @default.
- W3208291283 hasConceptScore W3208291283C41008148 @default.
- W3208291283 hasConceptScore W3208291283C55439883 @default.
- W3208291283 hasConceptScore W3208291283C56348326 @default.
- W3208291283 hasConceptScore W3208291283C61797465 @default.
- W3208291283 hasConceptScore W3208291283C62520636 @default.
- W3208291283 hasConceptScore W3208291283C80444323 @default.
- W3208291283 hasLocation W32082912831 @default.
- W3208291283 hasOpenAccess W3208291283 @default.
- W3208291283 hasPrimaryLocation W32082912831 @default.
- W3208291283 hasRelatedWork W1480938817 @default.
- W3208291283 hasRelatedWork W2100424584 @default.
- W3208291283 hasRelatedWork W2104579430 @default.
- W3208291283 hasRelatedWork W2166060139 @default.
- W3208291283 hasRelatedWork W2393683532 @default.
- W3208291283 hasRelatedWork W2531203292 @default.
- W3208291283 hasRelatedWork W2604335042 @default.
- W3208291283 hasRelatedWork W2898221686 @default.
- W3208291283 hasRelatedWork W50233445 @default.
- W3208291283 hasRelatedWork W55870094 @default.
- W3208291283 isParatext "false" @default.
- W3208291283 isRetracted "false" @default.
- W3208291283 magId "3208291283" @default.
- W3208291283 workType "article" @default.