Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113014586> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2113014586 abstract "In this paper, we consider a concurrent model of computation called dataflow, where components (actors) communicate via streams of data tokens. Dataflow semantics has been adopted by experimental and production languages used to design embedded systems. The execution of a dataflow actor is enabled by the availability of its input data. One important question is whether a dataflow model will deadlock (i.e., actors cannot execute due to a data dependency loop). Deadlock in many cases can be determined, although it is generally not decidable. We develop a causality interface for dataflow actors based on the general framework we introduced in [1]and show how this causality information can be algebraically composed so that composition of components acquire causality interfaces that are inferred from their components and the interconnections. We illustrate the use of these causality interfaces to statically analyze for deadlock." @default.
- W2113014586 created "2016-06-24" @default.
- W2113014586 creator A5009831760 @default.
- W2113014586 creator A5042350256 @default.
- W2113014586 date "2006-01-01" @default.
- W2113014586 modified "2023-09-27" @default.
- W2113014586 title "A causality interface for deadlock analysis in dataflow" @default.
- W2113014586 cites W1510630994 @default.
- W2113014586 cites W1511668635 @default.
- W2113014586 cites W1535347731 @default.
- W2113014586 cites W1548719231 @default.
- W2113014586 cites W1597170585 @default.
- W2113014586 cites W1756169151 @default.
- W2113014586 cites W192034015 @default.
- W2113014586 cites W2002763600 @default.
- W2113014586 cites W2028133921 @default.
- W2113014586 cites W2065220161 @default.
- W2113014586 cites W2084452850 @default.
- W2113014586 cites W2091158003 @default.
- W2113014586 cites W2093397547 @default.
- W2113014586 cites W2104922219 @default.
- W2113014586 cites W2119355229 @default.
- W2113014586 cites W2127044011 @default.
- W2113014586 cites W2130484824 @default.
- W2113014586 cites W2159542925 @default.
- W2113014586 cites W2177680287 @default.
- W2113014586 cites W23577810 @default.
- W2113014586 cites W396471845 @default.
- W2113014586 doi "https://doi.org/10.1145/1176887.1176895" @default.
- W2113014586 hasPublicationYear "2006" @default.
- W2113014586 type Work @default.
- W2113014586 sameAs 2113014586 @default.
- W2113014586 citedByCount "31" @default.
- W2113014586 countsByYear W21130145862012 @default.
- W2113014586 countsByYear W21130145862013 @default.
- W2113014586 countsByYear W21130145862014 @default.
- W2113014586 countsByYear W21130145862015 @default.
- W2113014586 countsByYear W21130145862016 @default.
- W2113014586 crossrefType "proceedings-article" @default.
- W2113014586 hasAuthorship W2113014586A5009831760 @default.
- W2113014586 hasAuthorship W2113014586A5042350256 @default.
- W2113014586 hasConcept C113843644 @default.
- W2113014586 hasConcept C120314980 @default.
- W2113014586 hasConcept C121332964 @default.
- W2113014586 hasConcept C129307140 @default.
- W2113014586 hasConcept C153269930 @default.
- W2113014586 hasConcept C157915830 @default.
- W2113014586 hasConcept C159023740 @default.
- W2113014586 hasConcept C160191386 @default.
- W2113014586 hasConcept C173608175 @default.
- W2113014586 hasConcept C176727019 @default.
- W2113014586 hasConcept C184337299 @default.
- W2113014586 hasConcept C184596265 @default.
- W2113014586 hasConcept C199360897 @default.
- W2113014586 hasConcept C41008148 @default.
- W2113014586 hasConcept C45374587 @default.
- W2113014586 hasConcept C489000 @default.
- W2113014586 hasConcept C62520636 @default.
- W2113014586 hasConcept C64357122 @default.
- W2113014586 hasConcept C77088390 @default.
- W2113014586 hasConcept C80444323 @default.
- W2113014586 hasConcept C96324660 @default.
- W2113014586 hasConceptScore W2113014586C113843644 @default.
- W2113014586 hasConceptScore W2113014586C120314980 @default.
- W2113014586 hasConceptScore W2113014586C121332964 @default.
- W2113014586 hasConceptScore W2113014586C129307140 @default.
- W2113014586 hasConceptScore W2113014586C153269930 @default.
- W2113014586 hasConceptScore W2113014586C157915830 @default.
- W2113014586 hasConceptScore W2113014586C159023740 @default.
- W2113014586 hasConceptScore W2113014586C160191386 @default.
- W2113014586 hasConceptScore W2113014586C173608175 @default.
- W2113014586 hasConceptScore W2113014586C176727019 @default.
- W2113014586 hasConceptScore W2113014586C184337299 @default.
- W2113014586 hasConceptScore W2113014586C184596265 @default.
- W2113014586 hasConceptScore W2113014586C199360897 @default.
- W2113014586 hasConceptScore W2113014586C41008148 @default.
- W2113014586 hasConceptScore W2113014586C45374587 @default.
- W2113014586 hasConceptScore W2113014586C489000 @default.
- W2113014586 hasConceptScore W2113014586C62520636 @default.
- W2113014586 hasConceptScore W2113014586C64357122 @default.
- W2113014586 hasConceptScore W2113014586C77088390 @default.
- W2113014586 hasConceptScore W2113014586C80444323 @default.
- W2113014586 hasConceptScore W2113014586C96324660 @default.
- W2113014586 hasLocation W21130145861 @default.
- W2113014586 hasOpenAccess W2113014586 @default.
- W2113014586 hasPrimaryLocation W21130145861 @default.
- W2113014586 hasRelatedWork W118239326 @default.
- W2113014586 hasRelatedWork W1732175832 @default.
- W2113014586 hasRelatedWork W1998949396 @default.
- W2113014586 hasRelatedWork W2068264970 @default.
- W2113014586 hasRelatedWork W2113014586 @default.
- W2113014586 hasRelatedWork W2168876575 @default.
- W2113014586 hasRelatedWork W2783505431 @default.
- W2113014586 hasRelatedWork W3205626426 @default.
- W2113014586 hasRelatedWork W4235887125 @default.
- W2113014586 hasRelatedWork W1569021458 @default.
- W2113014586 isParatext "false" @default.
- W2113014586 isRetracted "false" @default.
- W2113014586 magId "2113014586" @default.
- W2113014586 workType "article" @default.