Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098052904> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2098052904 endingPage "181" @default.
- W2098052904 startingPage "175" @default.
- W2098052904 abstract "We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synchronizations and constraints. The proposed synthesis technique considers the degrees of freedom introduced by the concurrent models and by the environment in order to satisfy the design constraints.Synthesis is divided in two phases. In the first phase, the original specification is translated into an algebraic system, for which complex control-flow constraints and quantifiers of the design are determined. This algebraic system is then analyzed and the design space of the specification is represented by a finite-state machine, from which a set of Boolean formulas is generated and manipulated in order to obtain a solution. This method contrasts with usual high-level synthesis methods in that it can handle arbitrarily complex control-flow structures, concurrency and synchronization by allowing the scheduling of the operations to change dynamically over time." @default.
- W2098052904 created "2016-06-24" @default.
- W2098052904 creator A5048866796 @default.
- W2098052904 creator A5072927296 @default.
- W2098052904 date "1994-11-06" @default.
- W2098052904 modified "2023-09-28" @default.
- W2098052904 title "Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints" @default.
- W2098052904 cites W1481625184 @default.
- W2098052904 cites W1542561446 @default.
- W2098052904 cites W1874054088 @default.
- W2098052904 cites W2128286046 @default.
- W2098052904 cites W2131065168 @default.
- W2098052904 cites W2139135459 @default.
- W2098052904 cites W2142804602 @default.
- W2098052904 cites W2166251083 @default.
- W2098052904 cites W2166908749 @default.
- W2098052904 cites W2340102009 @default.
- W2098052904 doi "https://doi.org/10.5555/191326.191400" @default.
- W2098052904 hasPublicationYear "1994" @default.
- W2098052904 type Work @default.
- W2098052904 sameAs 2098052904 @default.
- W2098052904 citedByCount "19" @default.
- W2098052904 crossrefType "proceedings-article" @default.
- W2098052904 hasAuthorship W2098052904A5048866796 @default.
- W2098052904 hasAuthorship W2098052904A5072927296 @default.
- W2098052904 hasConcept C115903868 @default.
- W2098052904 hasConcept C120314980 @default.
- W2098052904 hasConcept C126255220 @default.
- W2098052904 hasConcept C127162648 @default.
- W2098052904 hasConcept C134306372 @default.
- W2098052904 hasConcept C149635348 @default.
- W2098052904 hasConcept C193702766 @default.
- W2098052904 hasConcept C206729178 @default.
- W2098052904 hasConcept C2778562939 @default.
- W2098052904 hasConcept C31258907 @default.
- W2098052904 hasConcept C33923547 @default.
- W2098052904 hasConcept C41008148 @default.
- W2098052904 hasConcept C42935608 @default.
- W2098052904 hasConcept C58013763 @default.
- W2098052904 hasConcept C80444323 @default.
- W2098052904 hasConcept C84651959 @default.
- W2098052904 hasConcept C9376300 @default.
- W2098052904 hasConceptScore W2098052904C115903868 @default.
- W2098052904 hasConceptScore W2098052904C120314980 @default.
- W2098052904 hasConceptScore W2098052904C126255220 @default.
- W2098052904 hasConceptScore W2098052904C127162648 @default.
- W2098052904 hasConceptScore W2098052904C134306372 @default.
- W2098052904 hasConceptScore W2098052904C149635348 @default.
- W2098052904 hasConceptScore W2098052904C193702766 @default.
- W2098052904 hasConceptScore W2098052904C206729178 @default.
- W2098052904 hasConceptScore W2098052904C2778562939 @default.
- W2098052904 hasConceptScore W2098052904C31258907 @default.
- W2098052904 hasConceptScore W2098052904C33923547 @default.
- W2098052904 hasConceptScore W2098052904C41008148 @default.
- W2098052904 hasConceptScore W2098052904C42935608 @default.
- W2098052904 hasConceptScore W2098052904C58013763 @default.
- W2098052904 hasConceptScore W2098052904C80444323 @default.
- W2098052904 hasConceptScore W2098052904C84651959 @default.
- W2098052904 hasConceptScore W2098052904C9376300 @default.
- W2098052904 hasLocation W20980529041 @default.
- W2098052904 hasOpenAccess W2098052904 @default.
- W2098052904 hasPrimaryLocation W20980529041 @default.
- W2098052904 hasRelatedWork W1567363020 @default.
- W2098052904 hasRelatedWork W1975335740 @default.
- W2098052904 hasRelatedWork W2020234097 @default.
- W2098052904 hasRelatedWork W2030224590 @default.
- W2098052904 hasRelatedWork W2043218008 @default.
- W2098052904 hasRelatedWork W2072997779 @default.
- W2098052904 hasRelatedWork W2080267935 @default.
- W2098052904 hasRelatedWork W2093842169 @default.
- W2098052904 hasRelatedWork W2100882463 @default.
- W2098052904 hasRelatedWork W2102016326 @default.
- W2098052904 hasRelatedWork W2109607425 @default.
- W2098052904 hasRelatedWork W2110316710 @default.
- W2098052904 hasRelatedWork W2128286046 @default.
- W2098052904 hasRelatedWork W2129183345 @default.
- W2098052904 hasRelatedWork W2131065168 @default.
- W2098052904 hasRelatedWork W2135453964 @default.
- W2098052904 hasRelatedWork W2149111772 @default.
- W2098052904 hasRelatedWork W2152042136 @default.
- W2098052904 hasRelatedWork W2157525826 @default.
- W2098052904 hasRelatedWork W2161214785 @default.
- W2098052904 isParatext "false" @default.
- W2098052904 isRetracted "false" @default.
- W2098052904 magId "2098052904" @default.
- W2098052904 workType "article" @default.