FRINK Linked Data Fragments server

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

• W3044186242 endingPage "23" @default.
• W3044186242 startingPage "1" @default.
• W3044186242 abstract "Finite State Machines (FSMs) are fundamental in both hardware design and software development. However, the reliability of FSM computations remains poorly understood. Existing reliability analyses are mainly designed for generic computations and are unaware of the special error tolerance characteristics in FSM computations. This work introduces RelyFSM -- a state-level reliability analysis framework for FSM computations. By modeling the behaviors of unreliable FSM executions and qualitatively reasoning about the transition structures, RelyFSM can precisely capture the inherent error tolerance in FSM computations. Our evaluation with real-world FSM benchmarks confirms both the accuracy and efficiency of RelyFSM." @default.
• W3044186242 created "2020-07-29" @default.
• W3044186242 creator A5006650430 @default.
• W3044186242 creator A5013012522 @default.
• W3044186242 creator A5013940261 @default.
• W3044186242 creator A5085729926 @default.
• W3044186242 date "2020-05-29" @default.
• W3044186242 modified "2023-09-25" @default.
• W3044186242 title "Reliability Analysis for Unreliable FSM Computations" @default.
• W3044186242 cites W1548569630 @default.
• W3044186242 cites W1996431812 @default.
• W3044186242 cites W2003777196 @default.
• W3044186242 cites W2015535429 @default.
• W3044186242 cites W2020217519 @default.
• W3044186242 cites W2030377171 @default.
• W3044186242 cites W2032238893 @default.
• W3044186242 cites W2033982707 @default.
• W3044186242 cites W2044242345 @default.
• W3044186242 cites W2055030646 @default.
• W3044186242 cites W2062949766 @default.
• W3044186242 cites W2073671579 @default.
• W3044186242 cites W2096474000 @default.
• W3044186242 cites W2119299853 @default.
• W3044186242 cites W2123243337 @default.
• W3044186242 cites W2126869140 @default.
• W3044186242 cites W2127704659 @default.
• W3044186242 cites W2130958826 @default.
• W3044186242 cites W2132774949 @default.
• W3044186242 cites W2135039871 @default.
• W3044186242 cites W2143173841 @default.
• W3044186242 cites W2146065717 @default.
• W3044186242 cites W2159192122 @default.
• W3044186242 cites W2166588729 @default.
• W3044186242 cites W2187230075 @default.
• W3044186242 cites W2507706987 @default.
• W3044186242 cites W2529578574 @default.
• W3044186242 cites W2617288171 @default.
• W3044186242 cites W2766073137 @default.
• W3044186242 cites W2883034956 @default.
• W3044186242 cites W2883506058 @default.
• W3044186242 cites W2904896921 @default.
• W3044186242 cites W2904948956 @default.
• W3044186242 cites W3149410719 @default.
• W3044186242 cites W4231091214 @default.
• W3044186242 cites W4234606815 @default.
• W3044186242 cites W4235906541 @default.
• W3044186242 cites W4240237526 @default.
• W3044186242 cites W4240591052 @default.
• W3044186242 cites W4249144718 @default.
• W3044186242 cites W4249591832 @default.
• W3044186242 cites W4251569324 @default.
• W3044186242 cites W4255032011 @default.
• W3044186242 cites W2077831311 @default.
• W3044186242 doi "https://doi.org/10.1145/3377456" @default.
• W3044186242 hasPublicationYear "2020" @default.
• W3044186242 type Work @default.
• W3044186242 sameAs 3044186242 @default.
• W3044186242 citedByCount "1" @default.
• W3044186242 countsByYear W30441862422021 @default.
• W3044186242 crossrefType "journal-article" @default.
• W3044186242 hasAuthorship W3044186242A5006650430 @default.
• W3044186242 hasAuthorship W3044186242A5013012522 @default.
• W3044186242 hasAuthorship W3044186242A5013940261 @default.
• W3044186242 hasAuthorship W3044186242A5085729926 @default.
• W3044186242 hasBestOaLocation W30441862421 @default.
• W3044186242 hasConcept C113775141 @default.
• W3044186242 hasConcept C11413529 @default.
• W3044186242 hasConcept C121332964 @default.
• W3044186242 hasConcept C127413603 @default.
• W3044186242 hasConcept C163258240 @default.
• W3044186242 hasConcept C167822520 @default.
• W3044186242 hasConcept C173608175 @default.
• W3044186242 hasConcept C199360897 @default.
• W3044186242 hasConcept C200601418 @default.
• W3044186242 hasConcept C2777904410 @default.
• W3044186242 hasConcept C41008148 @default.
• W3044186242 hasConcept C43214815 @default.
• W3044186242 hasConcept C45374587 @default.
• W3044186242 hasConcept C48103436 @default.
• W3044186242 hasConcept C62520636 @default.
• W3044186242 hasConcept C80444323 @default.
• W3044186242 hasConceptScore W3044186242C113775141 @default.
• W3044186242 hasConceptScore W3044186242C11413529 @default.
• W3044186242 hasConceptScore W3044186242C121332964 @default.
• W3044186242 hasConceptScore W3044186242C127413603 @default.
• W3044186242 hasConceptScore W3044186242C163258240 @default.
• W3044186242 hasConceptScore W3044186242C167822520 @default.
• W3044186242 hasConceptScore W3044186242C173608175 @default.
• W3044186242 hasConceptScore W3044186242C199360897 @default.
• W3044186242 hasConceptScore W3044186242C200601418 @default.
• W3044186242 hasConceptScore W3044186242C2777904410 @default.
• W3044186242 hasConceptScore W3044186242C41008148 @default.
• W3044186242 hasConceptScore W3044186242C43214815 @default.
• W3044186242 hasConceptScore W3044186242C45374587 @default.
• W3044186242 hasConceptScore W3044186242C48103436 @default.
• W3044186242 hasConceptScore W3044186242C62520636 @default.
• W3044186242 hasConceptScore W3044186242C80444323 @default.
• W3044186242 hasIssue "2" @default.

• next