Matches in SemOpenAlex for { <https://semopenalex.org/work/W2720794772> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2720794772 endingPage "100" @default.
- W2720794772 startingPage "75" @default.
- W2720794772 abstract "Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, systematic ACM synthesis methods have been proposed. In this paper, we advance this work by developing algorithms and software tools which automate most of the ACM synthesis process. Firstly, an interleaving specification is constructed in the form of a state graph, and secondly, a Petri net model of an ACM-type is derived using the theory of regions. The method is applied to a number of standard writing and reading policies of ACMs with shared memory and unidirectional control variables." @default.
- W2720794772 created "2017-06-30" @default.
- W2720794772 creator A5029446985 @default.
- W2720794772 creator A5031124772 @default.
- W2720794772 creator A5031451250 @default.
- W2720794772 creator A5058743869 @default.
- W2720794772 date "2007-01-01" @default.
- W2720794772 modified "2023-09-26" @default.
- W2720794772 title "Automating Synthesis of Asynchronous Communication Mechanisms" @default.
- W2720794772 cites W1972760672 @default.
- W2720794772 cites W1975638748 @default.
- W2720794772 cites W1976075610 @default.
- W2720794772 cites W1978380916 @default.
- W2720794772 cites W2032838513 @default.
- W2720794772 cites W2037685920 @default.
- W2720794772 cites W2041773165 @default.
- W2720794772 cites W2043801088 @default.
- W2720794772 cites W2110796176 @default.
- W2720794772 cites W2129008669 @default.
- W2720794772 cites W2140208019 @default.
- W2720794772 cites W2143997593 @default.
- W2720794772 cites W2153037610 @default.
- W2720794772 cites W2156979478 @default.
- W2720794772 cites W2160823654 @default.
- W2720794772 cites W2661532722 @default.
- W2720794772 hasPublicationYear "2007" @default.
- W2720794772 type Work @default.
- W2720794772 sameAs 2720794772 @default.
- W2720794772 citedByCount "3" @default.
- W2720794772 crossrefType "journal-article" @default.
- W2720794772 hasAuthorship W2720794772A5029446985 @default.
- W2720794772 hasAuthorship W2720794772A5031124772 @default.
- W2720794772 hasAuthorship W2720794772A5031451250 @default.
- W2720794772 hasAuthorship W2720794772A5058743869 @default.
- W2720794772 hasConcept C111919701 @default.
- W2720794772 hasConcept C120314980 @default.
- W2720794772 hasConcept C132525143 @default.
- W2720794772 hasConcept C151319957 @default.
- W2720794772 hasConcept C199360897 @default.
- W2720794772 hasConcept C28034677 @default.
- W2720794772 hasConcept C31258907 @default.
- W2720794772 hasConcept C38677869 @default.
- W2720794772 hasConcept C41008148 @default.
- W2720794772 hasConcept C80444323 @default.
- W2720794772 hasConceptScore W2720794772C111919701 @default.
- W2720794772 hasConceptScore W2720794772C120314980 @default.
- W2720794772 hasConceptScore W2720794772C132525143 @default.
- W2720794772 hasConceptScore W2720794772C151319957 @default.
- W2720794772 hasConceptScore W2720794772C199360897 @default.
- W2720794772 hasConceptScore W2720794772C28034677 @default.
- W2720794772 hasConceptScore W2720794772C31258907 @default.
- W2720794772 hasConceptScore W2720794772C38677869 @default.
- W2720794772 hasConceptScore W2720794772C41008148 @default.
- W2720794772 hasConceptScore W2720794772C80444323 @default.
- W2720794772 hasIssue "1" @default.
- W2720794772 hasLocation W27207947721 @default.
- W2720794772 hasOpenAccess W2720794772 @default.
- W2720794772 hasPrimaryLocation W27207947721 @default.
- W2720794772 hasRelatedWork W1575441514 @default.
- W2720794772 hasRelatedWork W1927152252 @default.
- W2720794772 hasRelatedWork W1972062548 @default.
- W2720794772 hasRelatedWork W2021327420 @default.
- W2720794772 hasRelatedWork W2028816870 @default.
- W2720794772 hasRelatedWork W2084924191 @default.
- W2720794772 hasRelatedWork W2101715072 @default.
- W2720794772 hasRelatedWork W2117096591 @default.
- W2720794772 hasRelatedWork W2124931280 @default.
- W2720794772 hasRelatedWork W2134384549 @default.
- W2720794772 hasRelatedWork W2144273077 @default.
- W2720794772 hasRelatedWork W2172090219 @default.
- W2720794772 hasRelatedWork W236407258 @default.
- W2720794772 hasRelatedWork W2504786471 @default.
- W2720794772 hasRelatedWork W2536760170 @default.
- W2720794772 hasRelatedWork W2620753839 @default.
- W2720794772 hasRelatedWork W1759532013 @default.
- W2720794772 hasRelatedWork W2159232558 @default.
- W2720794772 hasRelatedWork W2412769225 @default.
- W2720794772 hasRelatedWork W2553831575 @default.
- W2720794772 hasVolume "78" @default.
- W2720794772 isParatext "false" @default.
- W2720794772 isRetracted "false" @default.
- W2720794772 magId "2720794772" @default.
- W2720794772 workType "article" @default.