FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024971820> ?p ?o ?g. }

• W2024971820 abstract "We argue in this paper that benchmarking should be complemented by direct measurement of parallelisation overheads when evaluating parallel state-space exploration algorithms. This poses several challenges that so far have not been addressed in the literature: what exactly are those overheads, how can and cannot they be measured, and how should system models be selected in order to expose the causes of parallelisation (in)efficiencies? We discuss and answer these questions based on our experience with parallelising Saturation - a symbolic algorithm for generating state-spaces of asynchronous system models - on a shared-memory architecture. Doing so will hopefully spare newcomers to the growing PDMC community from having to learn these lessons the hard way, as we did over a painful period of almost three years." @default.
• W2024971820 created "2016-06-24" @default.
• W2024971820 creator A5029606895 @default.
• W2024971820 creator A5060497231 @default.
• W2024971820 date "2008-02-01" @default.
• W2024971820 modified "2023-09-24" @default.
• W2024971820 title "Measuring and Evaluating Parallel State-Space Exploration Algorithms" @default.
• W2024971820 cites W136095187 @default.
• W2024971820 cites W1483156373 @default.
• W2024971820 cites W1491214620 @default.
• W2024971820 cites W1529559025 @default.
• W2024971820 cites W1548575501 @default.
• W2024971820 cites W1554398046 @default.
• W2024971820 cites W1579329775 @default.
• W2024971820 cites W1585665186 @default.
• W2024971820 cites W1600140696 @default.
• W2024971820 cites W1617448086 @default.
• W2024971820 cites W1807369440 @default.
• W2024971820 cites W1813030236 @default.
• W2024971820 cites W1839466040 @default.
• W2024971820 cites W1968504700 @default.
• W2024971820 cites W1977090137 @default.
• W2024971820 cites W1985270856 @default.
• W2024971820 cites W1996242413 @default.
• W2024971820 cites W2010472755 @default.
• W2024971820 cites W2072725684 @default.
• W2024971820 cites W2099800340 @default.
• W2024971820 cites W2164202841 @default.
• W2024971820 cites W2166520488 @default.
• W2024971820 cites W224698694 @default.
• W2024971820 cites W2294467636 @default.
• W2024971820 cites W2411775373 @default.
• W2024971820 cites W3010371139 @default.
• W2024971820 cites W30961909 @default.
• W2024971820 cites W3107487637 @default.
• W2024971820 cites W83935134 @default.
• W2024971820 doi "https://doi.org/10.1016/j.entcs.2007.10.020" @default.
• W2024971820 hasPublicationYear "2008" @default.
• W2024971820 type Work @default.
• W2024971820 sameAs 2024971820 @default.
• W2024971820 citedByCount "10" @default.
• W2024971820 countsByYear W20249718202012 @default.
• W2024971820 countsByYear W20249718202014 @default.
• W2024971820 countsByYear W20249718202017 @default.
• W2024971820 crossrefType "journal-article" @default.
• W2024971820 hasAuthorship W2024971820A5029606895 @default.
• W2024971820 hasAuthorship W2024971820A5060497231 @default.
• W2024971820 hasBestOaLocation W20249718201 @default.
• W2024971820 hasConcept C105795698 @default.
• W2024971820 hasConcept C111919701 @default.
• W2024971820 hasConcept C11413529 @default.
• W2024971820 hasConcept C123657996 @default.
• W2024971820 hasConcept C142362112 @default.
• W2024971820 hasConcept C144133560 @default.
• W2024971820 hasConcept C151319957 @default.
• W2024971820 hasConcept C153349607 @default.
• W2024971820 hasConcept C162853370 @default.
• W2024971820 hasConcept C173608175 @default.
• W2024971820 hasConcept C194648553 @default.
• W2024971820 hasConcept C2778572836 @default.
• W2024971820 hasConcept C31258907 @default.
• W2024971820 hasConcept C33923547 @default.
• W2024971820 hasConcept C41008148 @default.
• W2024971820 hasConcept C48103436 @default.
• W2024971820 hasConcept C72434380 @default.
• W2024971820 hasConcept C80444323 @default.
• W2024971820 hasConcept C86251818 @default.
• W2024971820 hasConceptScore W2024971820C105795698 @default.
• W2024971820 hasConceptScore W2024971820C111919701 @default.
• W2024971820 hasConceptScore W2024971820C11413529 @default.
• W2024971820 hasConceptScore W2024971820C123657996 @default.
• W2024971820 hasConceptScore W2024971820C142362112 @default.
• W2024971820 hasConceptScore W2024971820C144133560 @default.
• W2024971820 hasConceptScore W2024971820C151319957 @default.
• W2024971820 hasConceptScore W2024971820C153349607 @default.
• W2024971820 hasConceptScore W2024971820C162853370 @default.
• W2024971820 hasConceptScore W2024971820C173608175 @default.
• W2024971820 hasConceptScore W2024971820C194648553 @default.
• W2024971820 hasConceptScore W2024971820C2778572836 @default.
• W2024971820 hasConceptScore W2024971820C31258907 @default.
• W2024971820 hasConceptScore W2024971820C33923547 @default.
• W2024971820 hasConceptScore W2024971820C41008148 @default.
• W2024971820 hasConceptScore W2024971820C48103436 @default.
• W2024971820 hasConceptScore W2024971820C72434380 @default.
• W2024971820 hasConceptScore W2024971820C80444323 @default.
• W2024971820 hasConceptScore W2024971820C86251818 @default.
• W2024971820 hasLocation W20249718201 @default.
• W2024971820 hasOpenAccess W2024971820 @default.
• W2024971820 hasPrimaryLocation W20249718201 @default.
• W2024971820 hasRelatedWork W136095187 @default.
• W2024971820 hasRelatedWork W1579329775 @default.
• W2024971820 hasRelatedWork W1617448086 @default.
• W2024971820 hasRelatedWork W165724657 @default.
• W2024971820 hasRelatedWork W1996242413 @default.
• W2024971820 hasRelatedWork W2010327714 @default.
• W2024971820 hasRelatedWork W2050048491 @default.
• W2024971820 hasRelatedWork W2078620789 @default.
• W2024971820 hasRelatedWork W2099800340 @default.
• W2024971820 hasRelatedWork W2109499652 @default.
• W2024971820 hasRelatedWork W2118980029 @default.

• next