Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298655140> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4298655140 abstract "To make the development of efficient multi-core applications easier, libraries, such as Grand Central Dispatch, have been proposed. When using such a library, the programmer writes so-called blocks, which are chunks of codes, and dispatches them, using synchronous or asynchronous calls, to several types of waiting queues. A scheduler is then responsible for dispatching those blocks on the available cores. Blocks can synchronize via a global memory. In this paper, we propose Queue-Dispatch Asynchronous Systems as a mathematical model that faithfully formalizes the synchronization mechanisms and the behavior of the scheduler in those systems. We study in detail their relationships to classical formalisms such as pushdown systems, Petri nets, fifo systems, and counter systems. Our main technical contributions are precise worst-case complexity results for the Parikh coverability problem for several subclasses of our model." @default.
- W4298655140 created "2022-10-02" @default.
- W4298655140 creator A5022195841 @default.
- W4298655140 creator A5039370562 @default.
- W4298655140 creator A5050196522 @default.
- W4298655140 date "2012-01-23" @default.
- W4298655140 modified "2023-09-26" @default.
- W4298655140 title "Queue-Dispatch Asynchronous Systems" @default.
- W4298655140 doi "https://doi.org/10.48550/arxiv.1201.4871" @default.
- W4298655140 hasPublicationYear "2012" @default.
- W4298655140 type Work @default.
- W4298655140 citedByCount "0" @default.
- W4298655140 crossrefType "posted-content" @default.
- W4298655140 hasAuthorship W4298655140A5022195841 @default.
- W4298655140 hasAuthorship W4298655140A5039370562 @default.
- W4298655140 hasAuthorship W4298655140A5050196522 @default.
- W4298655140 hasBestOaLocation W42986551401 @default.
- W4298655140 hasConcept C120314980 @default.
- W4298655140 hasConcept C127162648 @default.
- W4298655140 hasConcept C151319957 @default.
- W4298655140 hasConcept C160403385 @default.
- W4298655140 hasConcept C162932704 @default.
- W4298655140 hasConcept C173608175 @default.
- W4298655140 hasConcept C199360897 @default.
- W4298655140 hasConcept C2777145635 @default.
- W4298655140 hasConcept C2778514511 @default.
- W4298655140 hasConcept C2778562939 @default.
- W4298655140 hasConcept C31258907 @default.
- W4298655140 hasConcept C38677869 @default.
- W4298655140 hasConcept C41008148 @default.
- W4298655140 hasConcept C761482 @default.
- W4298655140 hasConcept C76155785 @default.
- W4298655140 hasConceptScore W4298655140C120314980 @default.
- W4298655140 hasConceptScore W4298655140C127162648 @default.
- W4298655140 hasConceptScore W4298655140C151319957 @default.
- W4298655140 hasConceptScore W4298655140C160403385 @default.
- W4298655140 hasConceptScore W4298655140C162932704 @default.
- W4298655140 hasConceptScore W4298655140C173608175 @default.
- W4298655140 hasConceptScore W4298655140C199360897 @default.
- W4298655140 hasConceptScore W4298655140C2777145635 @default.
- W4298655140 hasConceptScore W4298655140C2778514511 @default.
- W4298655140 hasConceptScore W4298655140C2778562939 @default.
- W4298655140 hasConceptScore W4298655140C31258907 @default.
- W4298655140 hasConceptScore W4298655140C38677869 @default.
- W4298655140 hasConceptScore W4298655140C41008148 @default.
- W4298655140 hasConceptScore W4298655140C761482 @default.
- W4298655140 hasConceptScore W4298655140C76155785 @default.
- W4298655140 hasLocation W42986551401 @default.
- W4298655140 hasLocation W42986551402 @default.
- W4298655140 hasOpenAccess W4298655140 @default.
- W4298655140 hasPrimaryLocation W42986551401 @default.
- W4298655140 hasRelatedWork W1504063638 @default.
- W4298655140 hasRelatedWork W2079255554 @default.
- W4298655140 hasRelatedWork W2086994281 @default.
- W4298655140 hasRelatedWork W2147711412 @default.
- W4298655140 hasRelatedWork W2176852436 @default.
- W4298655140 hasRelatedWork W2365591174 @default.
- W4298655140 hasRelatedWork W2380620820 @default.
- W4298655140 hasRelatedWork W2949723064 @default.
- W4298655140 hasRelatedWork W4298655140 @default.
- W4298655140 hasRelatedWork W96967322 @default.
- W4298655140 isParatext "false" @default.
- W4298655140 isRetracted "false" @default.
- W4298655140 workType "article" @default.