Matches in SemOpenAlex for { <https://semopenalex.org/work/W2938472790> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2938472790 abstract "Synthesis of asynchronous circuits from signal transition graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. In this paper, a fully automatic technique for resolving such conflicts by means of insertion of new signals and concurrency reduction is proposed. It is based on conflict cores, i.e., sets of transitions causing encoding conflicts, which are represented at the level of finite and complete unfolding prefixes, and a SAT solver is used to find where in the STG the transitions of new signals should be inserted and to check the validity of concurrency reductions. The experimental results show significant improvements over the state space based approach in terms of runtime and memory consumption, as well as some improvements in the quality of the resulting circuits." @default.
- W2938472790 created "2019-04-25" @default.
- W2938472790 creator A5008744860 @default.
- W2938472790 date "2007-01-01" @default.
- W2938472790 modified "2023-09-28" @default.
- W2938472790 title "Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings" @default.
- W2938472790 hasPublicationYear "2007" @default.
- W2938472790 type Work @default.
- W2938472790 sameAs 2938472790 @default.
- W2938472790 citedByCount "0" @default.
- W2938472790 crossrefType "journal-article" @default.
- W2938472790 hasAuthorship W2938472790A5008744860 @default.
- W2938472790 hasConcept C111335779 @default.
- W2938472790 hasConcept C11413529 @default.
- W2938472790 hasConcept C125411270 @default.
- W2938472790 hasConcept C138268822 @default.
- W2938472790 hasConcept C138885662 @default.
- W2938472790 hasConcept C141603448 @default.
- W2938472790 hasConcept C151319957 @default.
- W2938472790 hasConcept C154945302 @default.
- W2938472790 hasConcept C173608175 @default.
- W2938472790 hasConcept C193702766 @default.
- W2938472790 hasConcept C199360897 @default.
- W2938472790 hasConcept C2524010 @default.
- W2938472790 hasConcept C31258907 @default.
- W2938472790 hasConcept C33923547 @default.
- W2938472790 hasConcept C41008148 @default.
- W2938472790 hasConcept C41895202 @default.
- W2938472790 hasConcept C48103436 @default.
- W2938472790 hasConcept C80444323 @default.
- W2938472790 hasConcept C94375191 @default.
- W2938472790 hasConceptScore W2938472790C111335779 @default.
- W2938472790 hasConceptScore W2938472790C11413529 @default.
- W2938472790 hasConceptScore W2938472790C125411270 @default.
- W2938472790 hasConceptScore W2938472790C138268822 @default.
- W2938472790 hasConceptScore W2938472790C138885662 @default.
- W2938472790 hasConceptScore W2938472790C141603448 @default.
- W2938472790 hasConceptScore W2938472790C151319957 @default.
- W2938472790 hasConceptScore W2938472790C154945302 @default.
- W2938472790 hasConceptScore W2938472790C173608175 @default.
- W2938472790 hasConceptScore W2938472790C193702766 @default.
- W2938472790 hasConceptScore W2938472790C199360897 @default.
- W2938472790 hasConceptScore W2938472790C2524010 @default.
- W2938472790 hasConceptScore W2938472790C31258907 @default.
- W2938472790 hasConceptScore W2938472790C33923547 @default.
- W2938472790 hasConceptScore W2938472790C41008148 @default.
- W2938472790 hasConceptScore W2938472790C41895202 @default.
- W2938472790 hasConceptScore W2938472790C48103436 @default.
- W2938472790 hasConceptScore W2938472790C80444323 @default.
- W2938472790 hasConceptScore W2938472790C94375191 @default.
- W2938472790 hasLocation W29384727901 @default.
- W2938472790 hasOpenAccess W2938472790 @default.
- W2938472790 hasPrimaryLocation W29384727901 @default.
- W2938472790 hasRelatedWork W1549699884 @default.
- W2938472790 hasRelatedWork W1580318981 @default.
- W2938472790 hasRelatedWork W1976695554 @default.
- W2938472790 hasRelatedWork W2011212908 @default.
- W2938472790 hasRelatedWork W2054800666 @default.
- W2938472790 hasRelatedWork W2083781943 @default.
- W2938472790 hasRelatedWork W2111221313 @default.
- W2938472790 hasRelatedWork W2131123849 @default.
- W2938472790 hasRelatedWork W2140021461 @default.
- W2938472790 hasRelatedWork W2145388050 @default.
- W2938472790 hasRelatedWork W2295129982 @default.
- W2938472790 hasRelatedWork W2396908459 @default.
- W2938472790 hasRelatedWork W2556273741 @default.
- W2938472790 hasRelatedWork W2773629481 @default.
- W2938472790 hasRelatedWork W2776844453 @default.
- W2938472790 hasRelatedWork W2896391630 @default.
- W2938472790 hasRelatedWork W2908388437 @default.
- W2938472790 hasRelatedWork W2921244879 @default.
- W2938472790 hasRelatedWork W3108639822 @default.
- W2938472790 hasRelatedWork W1549521157 @default.
- W2938472790 isParatext "false" @default.
- W2938472790 isRetracted "false" @default.
- W2938472790 magId "2938472790" @default.
- W2938472790 workType "article" @default.