FRINK Linked Data Fragments server

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

• W2224258380 startingPage "28" @default.
• W2224258380 abstract "As opposed to single clocked synchronous programming paradigms, polychronous formalism allows specification of concurrent data flow computation on signals such that various data flows can evolve asynchronous with respect to each other. Explicit constraints and constraints implied by the syntactic structures impart certain intrinsic properties to models specified polychronously. One of the major steps in designing a synthesis engine for polychronous specifications is the characterization of specified models into categories such as inherently sequential or inherently multi-threaded. In this paper, we are concerned with sequentially implementable polychronous specification where computation is divided into a totally ordered sequence of logical instants. Data flow computation within an instant happens based on the implied data flow order. This order or data dependency often varies from one instant to another. Thus determining if there is an instant at which the data flow order forms a causal cycle is an important problem. In the current polychronous compilers, such as SIGNAL compiler and EmCodeSyn, this is solved without due effort, by rejecting any program which has a buffer-free structural cycle. However, a clocked dependency graph can be used to construct logical constraints representing the instants with a possible causal loop. The satisfiability of such constraints would imply that such a loop is realizable and hence the specification has a possible deadlock. The reachability of this instant with a given set of initial conditions would verify if the program should be rejected. In the past, the work on such constraints and their satisfiability has not been implemented even though for pure Boolean signals and clocks this could have been done using a satisfiability solver. With the advent to SAT modulo theory (SMT) solvers, this can now be extended to a more general class of specifications. Moreover, model checking on an abstraction of the specification can provide more information about the reachability of instants at which cyclic data dependency is realized. This paper presents an improved polychronous synthesis tool accepting a much larger class of specifications than could be done before. In our experimental results, we demonstrate the capabilities of our causality analysis methods and show that our synthesis tool performs better than previous strategies, including our own past work." @default.
• W2224258380 created "2016-06-24" @default.
• W2224258380 creator A5016583294 @default.
• W2224258380 creator A5021517996 @default.
• W2224258380 creator A5043317855 @default.
• W2224258380 creator A5063368859 @default.
• W2224258380 creator A5090413936 @default.
• W2224258380 date "2011-01-01" @default.
• W2224258380 modified "2023-09-27" @default.
• W2224258380 title "Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software" @default.
• W2224258380 cites W121640275 @default.
• W2224258380 cites W1501731334 @default.
• W2224258380 cites W1559331297 @default.
• W2224258380 cites W1593428110 @default.
• W2224258380 cites W1875492031 @default.
• W2224258380 cites W1936354298 @default.
• W2224258380 cites W1963984425 @default.
• W2224258380 cites W2045010483 @default.
• W2224258380 cites W2049455231 @default.
• W2224258380 cites W2081938726 @default.
• W2224258380 cites W2100471460 @default.
• W2224258380 cites W2100500718 @default.
• W2224258380 cites W2101432564 @default.
• W2224258380 cites W2114781590 @default.
• W2224258380 cites W2120148301 @default.
• W2224258380 cites W2122027715 @default.
• W2224258380 cites W2125023624 @default.
• W2224258380 cites W2125415493 @default.
• W2224258380 cites W2127379186 @default.
• W2224258380 cites W2140732668 @default.
• W2224258380 cites W2151739026 @default.
• W2224258380 cites W2159318488 @default.
• W2224258380 cites W2159951124 @default.
• W2224258380 cites W2166471813 @default.
• W2224258380 cites W2167258402 @default.
• W2224258380 cites W2168275791 @default.
• W2224258380 cites W2912169573 @default.
• W2224258380 cites W56154986 @default.
• W2224258380 cites W2460304173 @default.
• W2224258380 hasPublicationYear "2011" @default.
• W2224258380 type Work @default.
• W2224258380 sameAs 2224258380 @default.
• W2224258380 citedByCount "3" @default.
• W2224258380 countsByYear W22242583802012 @default.
• W2224258380 countsByYear W22242583802013 @default.
• W2224258380 crossrefType "journal-article" @default.
• W2224258380 hasAuthorship W2224258380A5016583294 @default.
• W2224258380 hasAuthorship W2224258380A5021517996 @default.
• W2224258380 hasAuthorship W2224258380A5043317855 @default.
• W2224258380 hasAuthorship W2224258380A5063368859 @default.
• W2224258380 hasAuthorship W2224258380A5090413936 @default.
• W2224258380 hasConcept C108710211 @default.
• W2224258380 hasConcept C11413529 @default.
• W2224258380 hasConcept C136643341 @default.
• W2224258380 hasConcept C159718280 @default.
• W2224258380 hasConcept C160191386 @default.
• W2224258380 hasConcept C168773769 @default.
• W2224258380 hasConcept C169590947 @default.
• W2224258380 hasConcept C199360897 @default.
• W2224258380 hasConcept C2524010 @default.
• W2224258380 hasConcept C33923547 @default.
• W2224258380 hasConcept C41008148 @default.
• W2224258380 hasConcept C45374587 @default.
• W2224258380 hasConcept C80444323 @default.
• W2224258380 hasConceptScore W2224258380C108710211 @default.
• W2224258380 hasConceptScore W2224258380C11413529 @default.
• W2224258380 hasConceptScore W2224258380C136643341 @default.
• W2224258380 hasConceptScore W2224258380C159718280 @default.
• W2224258380 hasConceptScore W2224258380C160191386 @default.
• W2224258380 hasConceptScore W2224258380C168773769 @default.
• W2224258380 hasConceptScore W2224258380C169590947 @default.
• W2224258380 hasConceptScore W2224258380C199360897 @default.
• W2224258380 hasConceptScore W2224258380C2524010 @default.
• W2224258380 hasConceptScore W2224258380C33923547 @default.
• W2224258380 hasConceptScore W2224258380C41008148 @default.
• W2224258380 hasConceptScore W2224258380C45374587 @default.
• W2224258380 hasConceptScore W2224258380C80444323 @default.
• W2224258380 hasLocation W22242583801 @default.
• W2224258380 hasOpenAccess W2224258380 @default.
• W2224258380 hasPrimaryLocation W22242583801 @default.
• W2224258380 hasRelatedWork W105732303 @default.
• W2224258380 hasRelatedWork W109791519 @default.
• W2224258380 hasRelatedWork W146031266 @default.
• W2224258380 hasRelatedWork W1543156467 @default.
• W2224258380 hasRelatedWork W1683832533 @default.
• W2224258380 hasRelatedWork W1997013119 @default.
• W2224258380 hasRelatedWork W2127379186 @default.
• W2224258380 hasRelatedWork W2157906846 @default.
• W2224258380 hasRelatedWork W2171997499 @default.
• W2224258380 hasRelatedWork W2243919160 @default.
• W2224258380 hasRelatedWork W2285317842 @default.
• W2224258380 hasRelatedWork W2293237023 @default.
• W2224258380 hasRelatedWork W2293841724 @default.
• W2224258380 hasRelatedWork W2398966787 @default.
• W2224258380 hasRelatedWork W2477338659 @default.
• W2224258380 hasRelatedWork W2497178367 @default.
• W2224258380 hasRelatedWork W2630005813 @default.
• W2224258380 hasRelatedWork W2751326373 @default.
• W2224258380 hasRelatedWork W2803165154 @default.

• next