Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115801872> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2115801872 abstract "Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. We present both static and dynamic analysis procedures to verify timing properties of distributed real-time systems using timing constraint Petri nets (TCPNs). With both derived static information and collected dynamic data, we can locate a faulty task in a distributed real-time system using a timing behavior cross reference task. After a faulty task has been pinpointed the causes of a timing constraint violation in a faulty task can be identified." @default.
- W2115801872 created "2016-06-24" @default.
- W2115801872 creator A5018669587 @default.
- W2115801872 creator A5038946470 @default.
- W2115801872 creator A5039275245 @default.
- W2115801872 creator A5082034834 @default.
- W2115801872 date "2002-12-24" @default.
- W2115801872 modified "2023-09-26" @default.
- W2115801872 title "Verifying timing properties for distributed real-time systems using timing constraint Petri nets" @default.
- W2115801872 cites W1601873205 @default.
- W2115801872 cites W2008445937 @default.
- W2115801872 cites W2033839526 @default.
- W2115801872 cites W2042801853 @default.
- W2115801872 cites W2113040727 @default.
- W2115801872 cites W2117834984 @default.
- W2115801872 cites W2120601740 @default.
- W2115801872 cites W2150621030 @default.
- W2115801872 doi "https://doi.org/10.1109/cmpsac.1996.542423" @default.
- W2115801872 hasPublicationYear "2002" @default.
- W2115801872 type Work @default.
- W2115801872 sameAs 2115801872 @default.
- W2115801872 citedByCount "3" @default.
- W2115801872 countsByYear W21158018722012 @default.
- W2115801872 crossrefType "proceedings-article" @default.
- W2115801872 hasAuthorship W2115801872A5018669587 @default.
- W2115801872 hasAuthorship W2115801872A5038946470 @default.
- W2115801872 hasAuthorship W2115801872A5039275245 @default.
- W2115801872 hasAuthorship W2115801872A5082034834 @default.
- W2115801872 hasConcept C120314980 @default.
- W2115801872 hasConcept C127413603 @default.
- W2115801872 hasConcept C149635348 @default.
- W2115801872 hasConcept C17744445 @default.
- W2115801872 hasConcept C199539241 @default.
- W2115801872 hasConcept C201995342 @default.
- W2115801872 hasConcept C2775907273 @default.
- W2115801872 hasConcept C2776036281 @default.
- W2115801872 hasConcept C2780451532 @default.
- W2115801872 hasConcept C28472234 @default.
- W2115801872 hasConcept C38677869 @default.
- W2115801872 hasConcept C41008148 @default.
- W2115801872 hasConcept C78519656 @default.
- W2115801872 hasConcept C79403827 @default.
- W2115801872 hasConcept C93682380 @default.
- W2115801872 hasConceptScore W2115801872C120314980 @default.
- W2115801872 hasConceptScore W2115801872C127413603 @default.
- W2115801872 hasConceptScore W2115801872C149635348 @default.
- W2115801872 hasConceptScore W2115801872C17744445 @default.
- W2115801872 hasConceptScore W2115801872C199539241 @default.
- W2115801872 hasConceptScore W2115801872C201995342 @default.
- W2115801872 hasConceptScore W2115801872C2775907273 @default.
- W2115801872 hasConceptScore W2115801872C2776036281 @default.
- W2115801872 hasConceptScore W2115801872C2780451532 @default.
- W2115801872 hasConceptScore W2115801872C28472234 @default.
- W2115801872 hasConceptScore W2115801872C38677869 @default.
- W2115801872 hasConceptScore W2115801872C41008148 @default.
- W2115801872 hasConceptScore W2115801872C78519656 @default.
- W2115801872 hasConceptScore W2115801872C79403827 @default.
- W2115801872 hasConceptScore W2115801872C93682380 @default.
- W2115801872 hasLocation W21158018721 @default.
- W2115801872 hasOpenAccess W2115801872 @default.
- W2115801872 hasPrimaryLocation W21158018721 @default.
- W2115801872 hasRelatedWork W1522967136 @default.
- W2115801872 hasRelatedWork W1554770696 @default.
- W2115801872 hasRelatedWork W1566743700 @default.
- W2115801872 hasRelatedWork W1594166318 @default.
- W2115801872 hasRelatedWork W175482921 @default.
- W2115801872 hasRelatedWork W1834960338 @default.
- W2115801872 hasRelatedWork W1848035726 @default.
- W2115801872 hasRelatedWork W1970064048 @default.
- W2115801872 hasRelatedWork W2049383839 @default.
- W2115801872 hasRelatedWork W2072877643 @default.
- W2115801872 hasRelatedWork W2105163044 @default.
- W2115801872 hasRelatedWork W2107099386 @default.
- W2115801872 hasRelatedWork W2109002246 @default.
- W2115801872 hasRelatedWork W2110876319 @default.
- W2115801872 hasRelatedWork W2146945123 @default.
- W2115801872 hasRelatedWork W2148684266 @default.
- W2115801872 hasRelatedWork W2150678366 @default.
- W2115801872 hasRelatedWork W2151914624 @default.
- W2115801872 hasRelatedWork W2154748169 @default.
- W2115801872 hasRelatedWork W2165235091 @default.
- W2115801872 isParatext "false" @default.
- W2115801872 isRetracted "false" @default.
- W2115801872 magId "2115801872" @default.
- W2115801872 workType "article" @default.