Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141585437> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2141585437 abstract "In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the possible latency for an FSM, while the real latency relates to the certain implementation of the FSM A method for investigation of latencies for online checking FSMs is described This technique is based on selection of trajectories of the Markov chain, which describes behavior of the fault free FSM as well as the faulty FSM We also estimate the lowest bound for an average latency. This estimation may be useful at an initial stage of the design when information concerning requirements to the FSM and conditions of its functioning is limited." @default.
- W2141585437 created "2016-06-24" @default.
- W2141585437 creator A5018635318 @default.
- W2141585437 creator A5037314869 @default.
- W2141585437 creator A5066991394 @default.
- W2141585437 date "2003-06-25" @default.
- W2141585437 modified "2023-09-24" @default.
- W2141585437 title "Fault latencies of concurrent checking FSMs" @default.
- W2141585437 cites W1548975601 @default.
- W2141585437 cites W1906369229 @default.
- W2141585437 cites W1932391417 @default.
- W2141585437 cites W2067409688 @default.
- W2141585437 cites W2075379212 @default.
- W2141585437 cites W2751862591 @default.
- W2141585437 doi "https://doi.org/10.1109/dsd.2002.1115366" @default.
- W2141585437 hasPublicationYear "2003" @default.
- W2141585437 type Work @default.
- W2141585437 sameAs 2141585437 @default.
- W2141585437 citedByCount "1" @default.
- W2141585437 crossrefType "proceedings-article" @default.
- W2141585437 hasAuthorship W2141585437A5018635318 @default.
- W2141585437 hasAuthorship W2141585437A5037314869 @default.
- W2141585437 hasAuthorship W2141585437A5066991394 @default.
- W2141585437 hasBestOaLocation W21415854372 @default.
- W2141585437 hasConcept C112505250 @default.
- W2141585437 hasConcept C11413529 @default.
- W2141585437 hasConcept C119599485 @default.
- W2141585437 hasConcept C119857082 @default.
- W2141585437 hasConcept C126953365 @default.
- W2141585437 hasConcept C127413603 @default.
- W2141585437 hasConcept C134146338 @default.
- W2141585437 hasConcept C149635348 @default.
- W2141585437 hasConcept C167822520 @default.
- W2141585437 hasConcept C41008148 @default.
- W2141585437 hasConcept C76155785 @default.
- W2141585437 hasConcept C79403827 @default.
- W2141585437 hasConcept C80444323 @default.
- W2141585437 hasConcept C82876162 @default.
- W2141585437 hasConcept C98763669 @default.
- W2141585437 hasConceptScore W2141585437C112505250 @default.
- W2141585437 hasConceptScore W2141585437C11413529 @default.
- W2141585437 hasConceptScore W2141585437C119599485 @default.
- W2141585437 hasConceptScore W2141585437C119857082 @default.
- W2141585437 hasConceptScore W2141585437C126953365 @default.
- W2141585437 hasConceptScore W2141585437C127413603 @default.
- W2141585437 hasConceptScore W2141585437C134146338 @default.
- W2141585437 hasConceptScore W2141585437C149635348 @default.
- W2141585437 hasConceptScore W2141585437C167822520 @default.
- W2141585437 hasConceptScore W2141585437C41008148 @default.
- W2141585437 hasConceptScore W2141585437C76155785 @default.
- W2141585437 hasConceptScore W2141585437C79403827 @default.
- W2141585437 hasConceptScore W2141585437C80444323 @default.
- W2141585437 hasConceptScore W2141585437C82876162 @default.
- W2141585437 hasConceptScore W2141585437C98763669 @default.
- W2141585437 hasLocation W21415854371 @default.
- W2141585437 hasLocation W21415854372 @default.
- W2141585437 hasOpenAccess W2141585437 @default.
- W2141585437 hasPrimaryLocation W21415854371 @default.
- W2141585437 hasRelatedWork W1483320566 @default.
- W2141585437 hasRelatedWork W1534699782 @default.
- W2141585437 hasRelatedWork W2042517207 @default.
- W2141585437 hasRelatedWork W2104717686 @default.
- W2141585437 hasRelatedWork W2138117051 @default.
- W2141585437 hasRelatedWork W2143760852 @default.
- W2141585437 hasRelatedWork W2149684986 @default.
- W2141585437 hasRelatedWork W2152344976 @default.
- W2141585437 hasRelatedWork W2154220383 @default.
- W2141585437 hasRelatedWork W2157301702 @default.
- W2141585437 hasRelatedWork W2157361523 @default.
- W2141585437 hasRelatedWork W2157371961 @default.
- W2141585437 hasRelatedWork W2169004036 @default.
- W2141585437 hasRelatedWork W2175273441 @default.
- W2141585437 hasRelatedWork W22191693 @default.
- W2141585437 hasRelatedWork W2322617210 @default.
- W2141585437 hasRelatedWork W2566418289 @default.
- W2141585437 hasRelatedWork W2767873213 @default.
- W2141585437 hasRelatedWork W2977837980 @default.
- W2141585437 hasRelatedWork W2982102052 @default.
- W2141585437 isParatext "false" @default.
- W2141585437 isRetracted "false" @default.
- W2141585437 magId "2141585437" @default.
- W2141585437 workType "article" @default.