FRINK Linked Data Fragments server

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

• W2079797513 endingPage "214" @default.
• W2079797513 startingPage "203" @default.
• W2079797513 abstract "We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programming languages such as Cilk and X10. By associating fundamental formal models (vector addition systems with recursive transitions) to each fragment, we provide a common platform for exposing the relative difficulties of algorithmic reasoning. For each case we measure the complexity of deciding state-reachability for finite-data recursive programs, and propose algorithms for the decidable cases. The complexities which include PTIME, NP, EXPSPACE, and 2EXPTIME contrast with undecidable state-reachability for recursive multi-threaded programs." @default.
• W2079797513 created "2016-06-24" @default.
• W2079797513 creator A5045477471 @default.
• W2079797513 creator A5061209906 @default.
• W2079797513 date "2012-01-18" @default.
• W2079797513 modified "2023-10-10" @default.
• W2079797513 title "Analysis of recursively parallel programs" @default.
• W2079797513 cites W1563374799 @default.
• W2079797513 cites W1605985842 @default.
• W2079797513 cites W1678979457 @default.
• W2079797513 cites W1967174286 @default.
• W2079797513 cites W1983587324 @default.
• W2079797513 cites W1995288535 @default.
• W2079797513 cites W2039529128 @default.
• W2079797513 cites W2055081868 @default.
• W2079797513 cites W2060345611 @default.
• W2079797513 cites W2080573945 @default.
• W2079797513 cites W2087046173 @default.
• W2079797513 cites W2087997226 @default.
• W2079797513 cites W2101431901 @default.
• W2079797513 cites W2109065830 @default.
• W2079797513 cites W2114712579 @default.
• W2079797513 cites W2145442181 @default.
• W2079797513 cites W2147248565 @default.
• W2079797513 cites W2156883715 @default.
• W2079797513 cites W2184209356 @default.
• W2079797513 cites W4211041421 @default.
• W2079797513 cites W4230609379 @default.
• W2079797513 cites W4242620488 @default.
• W2079797513 cites W4301322018 @default.
• W2079797513 doi "https://doi.org/10.1145/2103621.2103681" @default.
• W2079797513 hasPublicationYear "2012" @default.
• W2079797513 type Work @default.
• W2079797513 sameAs 2079797513 @default.
• W2079797513 citedByCount "23" @default.
• W2079797513 countsByYear W20797975132012 @default.
• W2079797513 countsByYear W20797975132013 @default.
• W2079797513 countsByYear W20797975132014 @default.
• W2079797513 countsByYear W20797975132016 @default.
• W2079797513 countsByYear W20797975132017 @default.
• W2079797513 countsByYear W20797975132018 @default.
• W2079797513 countsByYear W20797975132019 @default.
• W2079797513 countsByYear W20797975132020 @default.
• W2079797513 countsByYear W20797975132021 @default.
• W2079797513 crossrefType "journal-article" @default.
• W2079797513 hasAuthorship W2079797513A5045477471 @default.
• W2079797513 hasAuthorship W2079797513A5061209906 @default.
• W2079797513 hasBestOaLocation W20797975132 @default.
• W2079797513 hasConcept C11413529 @default.
• W2079797513 hasConcept C134026603 @default.
• W2079797513 hasConcept C135315306 @default.
• W2079797513 hasConcept C136643341 @default.
• W2079797513 hasConcept C153269930 @default.
• W2079797513 hasConcept C179799912 @default.
• W2079797513 hasConcept C192034797 @default.
• W2079797513 hasConcept C193702766 @default.
• W2079797513 hasConcept C197685441 @default.
• W2079797513 hasConcept C199360897 @default.
• W2079797513 hasConcept C2777669093 @default.
• W2079797513 hasConcept C311688 @default.
• W2079797513 hasConcept C41008148 @default.
• W2079797513 hasConcept C48103436 @default.
• W2079797513 hasConcept C80444323 @default.
• W2079797513 hasConceptScore W2079797513C11413529 @default.
• W2079797513 hasConceptScore W2079797513C134026603 @default.
• W2079797513 hasConceptScore W2079797513C135315306 @default.
• W2079797513 hasConceptScore W2079797513C136643341 @default.
• W2079797513 hasConceptScore W2079797513C153269930 @default.
• W2079797513 hasConceptScore W2079797513C179799912 @default.
• W2079797513 hasConceptScore W2079797513C192034797 @default.
• W2079797513 hasConceptScore W2079797513C193702766 @default.
• W2079797513 hasConceptScore W2079797513C197685441 @default.
• W2079797513 hasConceptScore W2079797513C199360897 @default.
• W2079797513 hasConceptScore W2079797513C2777669093 @default.
• W2079797513 hasConceptScore W2079797513C311688 @default.
• W2079797513 hasConceptScore W2079797513C41008148 @default.
• W2079797513 hasConceptScore W2079797513C48103436 @default.
• W2079797513 hasConceptScore W2079797513C80444323 @default.
• W2079797513 hasIssue "1" @default.
• W2079797513 hasLocation W20797975131 @default.
• W2079797513 hasLocation W20797975132 @default.
• W2079797513 hasLocation W20797975133 @default.
• W2079797513 hasLocation W20797975134 @default.
• W2079797513 hasLocation W20797975135 @default.
• W2079797513 hasLocation W20797975136 @default.
• W2079797513 hasOpenAccess W2079797513 @default.
• W2079797513 hasPrimaryLocation W20797975131 @default.
• W2079797513 hasRelatedWork W1558164190 @default.
• W2079797513 hasRelatedWork W1596041124 @default.
• W2079797513 hasRelatedWork W2020140696 @default.
• W2079797513 hasRelatedWork W2026191634 @default.
• W2079797513 hasRelatedWork W2154625854 @default.
• W2079797513 hasRelatedWork W2949627086 @default.
• W2079797513 hasRelatedWork W3138980809 @default.
• W2079797513 hasRelatedWork W3204615532 @default.
• W2079797513 hasRelatedWork W4211259775 @default.
• W2079797513 hasRelatedWork W4300333639 @default.
• W2079797513 hasVolume "47" @default.

• next