Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022032633> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2022032633 endingPage "247" @default.
- W2022032633 startingPage "209" @default.
- W2022032633 abstract "We present a language “hardware viewed as objects and processes” (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. An absproc specification written in HOP describes the externally observable behavior of a process. A collection of absprocs may be composed to form a larger process, using the operators parallel composition, renaming, and hiding. In this paper we present the communication primitives of HOP, illustrate HOP through several examples, and then present its operational semantics. We present an algorithm PARCOMP that is based on HOP's semantics. We illustrate three uses of PARCOMP: (i) inferring concise behavioral descriptions of systems from their structural descriptions; (ii) static detection of control timing errors during behavioral inference; (iii) productive and run-time efficient functional simulation using the inferred behavior." @default.
- W2022032633 created "2016-06-24" @default.
- W2022032633 creator A5016738770 @default.
- W2022032633 creator A5050033852 @default.
- W2022032633 creator A5073137660 @default.
- W2022032633 creator A5088938013 @default.
- W2022032633 date "1989-12-01" @default.
- W2022032633 modified "2023-09-27" @default.
- W2022032633 title "HOP: A process model for synchronous hardware; semantics and experiments in process composition" @default.
- W2022032633 cites W127730840 @default.
- W2022032633 cites W1525749267 @default.
- W2022032633 cites W1554812212 @default.
- W2022032633 cites W1576648414 @default.
- W2022032633 cites W1579433101 @default.
- W2022032633 cites W1607877490 @default.
- W2022032633 cites W1663179985 @default.
- W2022032633 cites W187163030 @default.
- W2022032633 cites W1966035134 @default.
- W2022032633 cites W1991686240 @default.
- W2022032633 cites W1997273919 @default.
- W2022032633 cites W2011523523 @default.
- W2022032633 cites W2031357272 @default.
- W2022032633 cites W2036800932 @default.
- W2022032633 cites W2037626756 @default.
- W2022032633 cites W2059454390 @default.
- W2022032633 cites W2110795198 @default.
- W2022032633 cites W2118387410 @default.
- W2022032633 cites W2137865376 @default.
- W2022032633 cites W2158819098 @default.
- W2022032633 cites W3013442367 @default.
- W2022032633 cites W3144368627 @default.
- W2022032633 cites W81123603 @default.
- W2022032633 cites W85132038 @default.
- W2022032633 cites W86571985 @default.
- W2022032633 cites W2139222082 @default.
- W2022032633 doi "https://doi.org/10.1016/0167-9260(89)90018-7" @default.
- W2022032633 hasPublicationYear "1989" @default.
- W2022032633 type Work @default.
- W2022032633 sameAs 2022032633 @default.
- W2022032633 citedByCount "8" @default.
- W2022032633 countsByYear W20220326332014 @default.
- W2022032633 crossrefType "journal-article" @default.
- W2022032633 hasAuthorship W2022032633A5016738770 @default.
- W2022032633 hasAuthorship W2022032633A5050033852 @default.
- W2022032633 hasAuthorship W2022032633A5073137660 @default.
- W2022032633 hasAuthorship W2022032633A5088938013 @default.
- W2022032633 hasConcept C120314980 @default.
- W2022032633 hasConcept C154945302 @default.
- W2022032633 hasConcept C161771561 @default.
- W2022032633 hasConcept C184337299 @default.
- W2022032633 hasConcept C199360897 @default.
- W2022032633 hasConcept C25906391 @default.
- W2022032633 hasConcept C2776214188 @default.
- W2022032633 hasConcept C31258907 @default.
- W2022032633 hasConcept C41008148 @default.
- W2022032633 hasConcept C80444323 @default.
- W2022032633 hasConcept C98045186 @default.
- W2022032633 hasConceptScore W2022032633C120314980 @default.
- W2022032633 hasConceptScore W2022032633C154945302 @default.
- W2022032633 hasConceptScore W2022032633C161771561 @default.
- W2022032633 hasConceptScore W2022032633C184337299 @default.
- W2022032633 hasConceptScore W2022032633C199360897 @default.
- W2022032633 hasConceptScore W2022032633C25906391 @default.
- W2022032633 hasConceptScore W2022032633C2776214188 @default.
- W2022032633 hasConceptScore W2022032633C31258907 @default.
- W2022032633 hasConceptScore W2022032633C41008148 @default.
- W2022032633 hasConceptScore W2022032633C80444323 @default.
- W2022032633 hasConceptScore W2022032633C98045186 @default.
- W2022032633 hasIssue "3" @default.
- W2022032633 hasLocation W20220326331 @default.
- W2022032633 hasOpenAccess W2022032633 @default.
- W2022032633 hasPrimaryLocation W20220326331 @default.
- W2022032633 hasRelatedWork W1480512962 @default.
- W2022032633 hasRelatedWork W1548537923 @default.
- W2022032633 hasRelatedWork W1576906336 @default.
- W2022032633 hasRelatedWork W1587224678 @default.
- W2022032633 hasRelatedWork W1855927527 @default.
- W2022032633 hasRelatedWork W1906944391 @default.
- W2022032633 hasRelatedWork W2039219985 @default.
- W2022032633 hasRelatedWork W2047793074 @default.
- W2022032633 hasRelatedWork W22766579 @default.
- W2022032633 hasRelatedWork W2742117384 @default.
- W2022032633 hasVolume "8" @default.
- W2022032633 isParatext "false" @default.
- W2022032633 isRetracted "false" @default.
- W2022032633 magId "2022032633" @default.
- W2022032633 workType "article" @default.