Matches in SemOpenAlex for { <https://semopenalex.org/work/W3015533958> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3015533958 abstract "Multi-core systems brought the possibility for concurrent programs. In task-based parallelism, work-stealing has been an important development. Many designs of a work-stealing framework make use of deques, but they do not properly prove the correctness of the deque. Therefore, the deque from the Lace framework has been implemented and verified for functional correctness using the VerCors verification tool. Under our assumptions, the verification in VerCors passes and shows that all tasks are executed and return the correct result. The verification has been partially validated, but more testing and validation is required before a statement can be made about the validity of the proof." @default.
- W3015533958 created "2020-04-17" @default.
- W3015533958 creator A5058775281 @default.
- W3015533958 date "2020-01-01" @default.
- W3015533958 modified "2023-09-27" @default.
- W3015533958 title "Formal Automated Verification of a Work-Stealing Deque" @default.
- W3015533958 hasPublicationYear "2020" @default.
- W3015533958 type Work @default.
- W3015533958 sameAs 3015533958 @default.
- W3015533958 citedByCount "0" @default.
- W3015533958 crossrefType "dissertation" @default.
- W3015533958 hasAuthorship W3015533958A5058775281 @default.
- W3015533958 hasConcept C111498074 @default.
- W3015533958 hasConcept C115903868 @default.
- W3015533958 hasConcept C127413603 @default.
- W3015533958 hasConcept C142284323 @default.
- W3015533958 hasConcept C17744445 @default.
- W3015533958 hasConcept C186846655 @default.
- W3015533958 hasConcept C199360897 @default.
- W3015533958 hasConcept C199539241 @default.
- W3015533958 hasConcept C201995342 @default.
- W3015533958 hasConcept C202973057 @default.
- W3015533958 hasConcept C2777026412 @default.
- W3015533958 hasConcept C2777904410 @default.
- W3015533958 hasConcept C2780451532 @default.
- W3015533958 hasConcept C33054407 @default.
- W3015533958 hasConcept C3406870 @default.
- W3015533958 hasConcept C41008148 @default.
- W3015533958 hasConcept C529173508 @default.
- W3015533958 hasConcept C55439883 @default.
- W3015533958 hasConcept C62460635 @default.
- W3015533958 hasConcept C75606506 @default.
- W3015533958 hasConceptScore W3015533958C111498074 @default.
- W3015533958 hasConceptScore W3015533958C115903868 @default.
- W3015533958 hasConceptScore W3015533958C127413603 @default.
- W3015533958 hasConceptScore W3015533958C142284323 @default.
- W3015533958 hasConceptScore W3015533958C17744445 @default.
- W3015533958 hasConceptScore W3015533958C186846655 @default.
- W3015533958 hasConceptScore W3015533958C199360897 @default.
- W3015533958 hasConceptScore W3015533958C199539241 @default.
- W3015533958 hasConceptScore W3015533958C201995342 @default.
- W3015533958 hasConceptScore W3015533958C202973057 @default.
- W3015533958 hasConceptScore W3015533958C2777026412 @default.
- W3015533958 hasConceptScore W3015533958C2777904410 @default.
- W3015533958 hasConceptScore W3015533958C2780451532 @default.
- W3015533958 hasConceptScore W3015533958C33054407 @default.
- W3015533958 hasConceptScore W3015533958C3406870 @default.
- W3015533958 hasConceptScore W3015533958C41008148 @default.
- W3015533958 hasConceptScore W3015533958C529173508 @default.
- W3015533958 hasConceptScore W3015533958C55439883 @default.
- W3015533958 hasConceptScore W3015533958C62460635 @default.
- W3015533958 hasConceptScore W3015533958C75606506 @default.
- W3015533958 hasLocation W30155339581 @default.
- W3015533958 hasOpenAccess W3015533958 @default.
- W3015533958 hasPrimaryLocation W30155339581 @default.
- W3015533958 hasRelatedWork W1496496631 @default.
- W3015533958 hasRelatedWork W158039380 @default.
- W3015533958 hasRelatedWork W158967112 @default.
- W3015533958 hasRelatedWork W165349349 @default.
- W3015533958 hasRelatedWork W2102847589 @default.
- W3015533958 hasRelatedWork W2188057831 @default.
- W3015533958 hasRelatedWork W2398499996 @default.
- W3015533958 hasRelatedWork W2406499533 @default.
- W3015533958 hasRelatedWork W2474978651 @default.
- W3015533958 hasRelatedWork W2606939423 @default.
- W3015533958 hasRelatedWork W2752167539 @default.
- W3015533958 hasRelatedWork W2769591421 @default.
- W3015533958 hasRelatedWork W2787206368 @default.
- W3015533958 hasRelatedWork W2800956118 @default.
- W3015533958 hasRelatedWork W2870640023 @default.
- W3015533958 hasRelatedWork W2952071444 @default.
- W3015533958 hasRelatedWork W3016893206 @default.
- W3015533958 hasRelatedWork W47563837 @default.
- W3015533958 hasRelatedWork W572846871 @default.
- W3015533958 hasRelatedWork W1485560864 @default.
- W3015533958 isParatext "false" @default.
- W3015533958 isRetracted "false" @default.
- W3015533958 magId "3015533958" @default.
- W3015533958 workType "dissertation" @default.