Matches in SemOpenAlex for { <https://semopenalex.org/work/W45975094> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W45975094 endingPage "178" @default.
- W45975094 startingPage "165" @default.
- W45975094 abstract "We present a rigorous formal but transparent specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kernel with a virtual visualization machine for 3D animation. The semantics of the simulator and the virtual visualization machine are formally defined by means of distributed Abstract State Machine (ASMs) rules. The ASM rules truly reflect the specification given in the SystemC User’s Manual and additionally provide a comprehensive definition of the virtual machine for advanced 3D animation. For the interaction between the SystemC simulator and the visualization we have defined a simple message exchange protocol, which can be used for socket communication. We see our formal semantics as a concise, unambiguous, high–level documentationoriented specification to capture the complex interaction between the SystemC simulator and the visualization and to define adequate interfaces." @default.
- W45975094 created "2016-06-24" @default.
- W45975094 creator A5021016472 @default.
- W45975094 creator A5088217354 @default.
- W45975094 date "2004-01-01" @default.
- W45975094 modified "2023-09-28" @default.
- W45975094 title "A Formal Model of a Framework for Simulation-Based Animation." @default.
- W45975094 cites W1583548393 @default.
- W45975094 cites W173263332 @default.
- W45975094 cites W2061413930 @default.
- W45975094 cites W2114571153 @default.
- W45975094 hasPublicationYear "2004" @default.
- W45975094 type Work @default.
- W45975094 sameAs 45975094 @default.
- W45975094 citedByCount "0" @default.
- W45975094 crossrefType "journal-article" @default.
- W45975094 hasAuthorship W45975094A5021016472 @default.
- W45975094 hasAuthorship W45975094A5088217354 @default.
- W45975094 hasConcept C107457646 @default.
- W45975094 hasConcept C116253237 @default.
- W45975094 hasConcept C121684516 @default.
- W45975094 hasConcept C145243422 @default.
- W45975094 hasConcept C146499914 @default.
- W45975094 hasConcept C154945302 @default.
- W45975094 hasConcept C167822520 @default.
- W45975094 hasConcept C184337299 @default.
- W45975094 hasConcept C199360897 @default.
- W45975094 hasConcept C2776928060 @default.
- W45975094 hasConcept C36464697 @default.
- W45975094 hasConcept C41008148 @default.
- W45975094 hasConcept C502989409 @default.
- W45975094 hasConceptScore W45975094C107457646 @default.
- W45975094 hasConceptScore W45975094C116253237 @default.
- W45975094 hasConceptScore W45975094C121684516 @default.
- W45975094 hasConceptScore W45975094C145243422 @default.
- W45975094 hasConceptScore W45975094C146499914 @default.
- W45975094 hasConceptScore W45975094C154945302 @default.
- W45975094 hasConceptScore W45975094C167822520 @default.
- W45975094 hasConceptScore W45975094C184337299 @default.
- W45975094 hasConceptScore W45975094C199360897 @default.
- W45975094 hasConceptScore W45975094C2776928060 @default.
- W45975094 hasConceptScore W45975094C36464697 @default.
- W45975094 hasConceptScore W45975094C41008148 @default.
- W45975094 hasConceptScore W45975094C502989409 @default.
- W45975094 hasLocation W459750941 @default.
- W45975094 hasOpenAccess W45975094 @default.
- W45975094 hasPrimaryLocation W459750941 @default.
- W45975094 hasRelatedWork W1506627751 @default.
- W45975094 hasRelatedWork W1547096971 @default.
- W45975094 hasRelatedWork W1568183443 @default.
- W45975094 hasRelatedWork W1606524871 @default.
- W45975094 hasRelatedWork W1747877501 @default.
- W45975094 hasRelatedWork W2098584870 @default.
- W45975094 hasRelatedWork W2115939406 @default.
- W45975094 hasRelatedWork W2136820289 @default.
- W45975094 hasRelatedWork W2140225592 @default.
- W45975094 hasRelatedWork W2149867114 @default.
- W45975094 hasRelatedWork W2179179621 @default.
- W45975094 hasRelatedWork W26484180 @default.
- W45975094 hasRelatedWork W2913606985 @default.
- W45975094 hasRelatedWork W2969249757 @default.
- W45975094 hasRelatedWork W3024531409 @default.
- W45975094 hasRelatedWork W3028561472 @default.
- W45975094 hasRelatedWork W3108876254 @default.
- W45975094 hasRelatedWork W31683959 @default.
- W45975094 hasRelatedWork W341184181 @default.
- W45975094 hasRelatedWork W642941941 @default.
- W45975094 isParatext "false" @default.
- W45975094 isRetracted "false" @default.
- W45975094 magId "45975094" @default.
- W45975094 workType "article" @default.