FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2566242272> ?p ?o ?g. }

• W2566242272 abstract "In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system corrupts its state in a way that can render its future functionality useless. In this paper, we develop a methodology for systematically constructing redundant finite-state machines so that an external checker can capture transient state-transition faults via checks that are performed in a non-concurrent manner (e.g., periodically). More specifically, the proposed approach allows the checker to detect and identify errors due to past state-transition faults based on an analysis of the current, possibly corrupted FSM state. As a result, the checker in such designs can operate at a slower speed than the rest of the system which relaxes the stringent requirements on its reliability." @default.
• W2566242272 created "2017-01-06" @default.
• W2566242272 creator A5030551100 @default.
• W2566242272 date "2004-04-23" @default.
• W2566242272 modified "2023-09-23" @default.
• W2566242272 title "Finite-state machine embeddings for non-concurrent error detection and identification" @default.
• W2566242272 cites W147893125 @default.
• W2566242272 cites W1501584870 @default.
• W2566242272 cites W1513721953 @default.
• W2566242272 cites W1523087909 @default.
• W2566242272 cites W1533071485 @default.
• W2566242272 cites W1544650436 @default.
• W2566242272 cites W1566296806 @default.
• W2566242272 cites W1581232847 @default.
• W2566242272 cites W1591671815 @default.
• W2566242272 cites W1595081254 @default.
• W2566242272 cites W1821730155 @default.
• W2566242272 cites W1836467151 @default.
• W2566242272 cites W1981514768 @default.
• W2566242272 cites W1985787415 @default.
• W2566242272 cites W1988926301 @default.
• W2566242272 cites W1990546641 @default.
• W2566242272 cites W2012534078 @default.
• W2566242272 cites W2070924810 @default.
• W2566242272 cites W2081556991 @default.
• W2566242272 cites W2083613288 @default.
• W2566242272 cites W2086120974 @default.
• W2566242272 cites W2092610780 @default.
• W2566242272 cites W2096314122 @default.
• W2566242272 cites W2111609060 @default.
• W2566242272 cites W2115985654 @default.
• W2566242272 cites W2118214092 @default.
• W2566242272 cites W2121810837 @default.
• W2566242272 cites W2122975560 @default.
• W2566242272 cites W2126410464 @default.
• W2566242272 cites W2130686068 @default.
• W2566242272 cites W2132165092 @default.
• W2566242272 cites W2137140474 @default.
• W2566242272 cites W2141628061 @default.
• W2566242272 cites W2142873763 @default.
• W2566242272 cites W2143457270 @default.
• W2566242272 cites W2151623798 @default.
• W2566242272 cites W2155447404 @default.
• W2566242272 cites W2156371582 @default.
• W2566242272 cites W2161948077 @default.
• W2566242272 cites W2164815137 @default.
• W2566242272 cites W2166957462 @default.
• W2566242272 cites W2170575069 @default.
• W2566242272 cites W2173315326 @default.
• W2566242272 cites W2175139803 @default.
• W2566242272 cites W2256353954 @default.
• W2566242272 cites W657059770 @default.
• W2566242272 cites W2212877865 @default.
• W2566242272 doi "https://doi.org/10.1109/cdc.2003.1271638" @default.
• W2566242272 hasPublicationYear "2004" @default.
• W2566242272 type Work @default.
• W2566242272 sameAs 2566242272 @default.
• W2566242272 citedByCount "2" @default.
• W2566242272 crossrefType "proceedings-article" @default.
• W2566242272 hasAuthorship W2566242272A5030551100 @default.
• W2566242272 hasConcept C110251889 @default.
• W2566242272 hasConcept C11413529 @default.
• W2566242272 hasConcept C116834253 @default.
• W2566242272 hasConcept C121332964 @default.
• W2566242272 hasConcept C152745839 @default.
• W2566242272 hasConcept C154945302 @default.
• W2566242272 hasConcept C163258240 @default.
• W2566242272 hasConcept C167822520 @default.
• W2566242272 hasConcept C172707124 @default.
• W2566242272 hasConcept C199360897 @default.
• W2566242272 hasConcept C2780799671 @default.
• W2566242272 hasConcept C41008148 @default.
• W2566242272 hasConcept C43214815 @default.
• W2566242272 hasConcept C48103436 @default.
• W2566242272 hasConcept C59822182 @default.
• W2566242272 hasConcept C62520636 @default.
• W2566242272 hasConcept C86803240 @default.
• W2566242272 hasConceptScore W2566242272C110251889 @default.
• W2566242272 hasConceptScore W2566242272C11413529 @default.
• W2566242272 hasConceptScore W2566242272C116834253 @default.
• W2566242272 hasConceptScore W2566242272C121332964 @default.
• W2566242272 hasConceptScore W2566242272C152745839 @default.
• W2566242272 hasConceptScore W2566242272C154945302 @default.
• W2566242272 hasConceptScore W2566242272C163258240 @default.
• W2566242272 hasConceptScore W2566242272C167822520 @default.
• W2566242272 hasConceptScore W2566242272C172707124 @default.
• W2566242272 hasConceptScore W2566242272C199360897 @default.
• W2566242272 hasConceptScore W2566242272C2780799671 @default.
• W2566242272 hasConceptScore W2566242272C41008148 @default.
• W2566242272 hasConceptScore W2566242272C43214815 @default.
• W2566242272 hasConceptScore W2566242272C48103436 @default.
• W2566242272 hasConceptScore W2566242272C59822182 @default.
• W2566242272 hasConceptScore W2566242272C62520636 @default.
• W2566242272 hasConceptScore W2566242272C86803240 @default.
• W2566242272 hasLocation W25662422721 @default.
• W2566242272 hasOpenAccess W2566242272 @default.
• W2566242272 hasPrimaryLocation W25662422721 @default.
• W2566242272 hasRelatedWork W1546513516 @default.
• W2566242272 hasRelatedWork W1604557810 @default.
• W2566242272 hasRelatedWork W1605247648 @default.

• next