Matches in SemOpenAlex for { <https://semopenalex.org/work/W15192326> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W15192326 abstract "The aim of this paper is to propose a new transient fault injection methodology based on Symbolic Trajectory Evaluation (STE) model checking, that addresses the limitations of the recently proposed techniques on sudying fault injection using property checking [1–3]. To demonstrate the capability of our proposed methodology, we instrument the necessary properties, and verify them using the STE model checker Forte, to analyse the effect of transient faults on the fetch unit of a 32-bit multi-cycle processor, synthesized using Altera Quartus II. Our approach can be applied generally to any faulty processor, to compute precise inter-dependencies among different functional units, thereby lending better understanding of the faulty behaviour in an efficient way." @default.
- W15192326 created "2016-06-24" @default.
- W15192326 creator A5012783672 @default.
- W15192326 creator A5020758218 @default.
- W15192326 creator A5075266701 @default.
- W15192326 creator A5080430711 @default.
- W15192326 date "2008-05-01" @default.
- W15192326 modified "2023-09-27" @default.
- W15192326 title "A Novel Transient Fault Injection Methodology Based on STE Model Checking" @default.
- W15192326 cites W1964073704 @default.
- W15192326 cites W1979284199 @default.
- W15192326 cites W1986558678 @default.
- W15192326 cites W2099873480 @default.
- W15192326 cites W2100307454 @default.
- W15192326 cites W2107049974 @default.
- W15192326 cites W2107672210 @default.
- W15192326 cites W2112643551 @default.
- W15192326 cites W2131180406 @default.
- W15192326 cites W2148602057 @default.
- W15192326 cites W2158867151 @default.
- W15192326 hasPublicationYear "2008" @default.
- W15192326 type Work @default.
- W15192326 sameAs 15192326 @default.
- W15192326 citedByCount "0" @default.
- W15192326 crossrefType "journal-article" @default.
- W15192326 hasAuthorship W15192326A5012783672 @default.
- W15192326 hasAuthorship W15192326A5020758218 @default.
- W15192326 hasAuthorship W15192326A5075266701 @default.
- W15192326 hasAuthorship W15192326A5080430711 @default.
- W15192326 hasConcept C110251889 @default.
- W15192326 hasConcept C111368507 @default.
- W15192326 hasConcept C11413529 @default.
- W15192326 hasConcept C119599485 @default.
- W15192326 hasConcept C127313418 @default.
- W15192326 hasConcept C127413603 @default.
- W15192326 hasConcept C131918245 @default.
- W15192326 hasConcept C134146338 @default.
- W15192326 hasConcept C149635348 @default.
- W15192326 hasConcept C165205528 @default.
- W15192326 hasConcept C167391956 @default.
- W15192326 hasConcept C173608175 @default.
- W15192326 hasConcept C175551986 @default.
- W15192326 hasConcept C199360897 @default.
- W15192326 hasConcept C200601418 @default.
- W15192326 hasConcept C2775928411 @default.
- W15192326 hasConcept C2777904410 @default.
- W15192326 hasConcept C2780799671 @default.
- W15192326 hasConcept C2989121073 @default.
- W15192326 hasConcept C41008148 @default.
- W15192326 hasConcept C85761212 @default.
- W15192326 hasConceptScore W15192326C110251889 @default.
- W15192326 hasConceptScore W15192326C111368507 @default.
- W15192326 hasConceptScore W15192326C11413529 @default.
- W15192326 hasConceptScore W15192326C119599485 @default.
- W15192326 hasConceptScore W15192326C127313418 @default.
- W15192326 hasConceptScore W15192326C127413603 @default.
- W15192326 hasConceptScore W15192326C131918245 @default.
- W15192326 hasConceptScore W15192326C134146338 @default.
- W15192326 hasConceptScore W15192326C149635348 @default.
- W15192326 hasConceptScore W15192326C165205528 @default.
- W15192326 hasConceptScore W15192326C167391956 @default.
- W15192326 hasConceptScore W15192326C173608175 @default.
- W15192326 hasConceptScore W15192326C175551986 @default.
- W15192326 hasConceptScore W15192326C199360897 @default.
- W15192326 hasConceptScore W15192326C200601418 @default.
- W15192326 hasConceptScore W15192326C2775928411 @default.
- W15192326 hasConceptScore W15192326C2777904410 @default.
- W15192326 hasConceptScore W15192326C2780799671 @default.
- W15192326 hasConceptScore W15192326C2989121073 @default.
- W15192326 hasConceptScore W15192326C41008148 @default.
- W15192326 hasConceptScore W15192326C85761212 @default.
- W15192326 hasLocation W151923261 @default.
- W15192326 hasOpenAccess W15192326 @default.
- W15192326 hasPrimaryLocation W151923261 @default.
- W15192326 hasRelatedWork W1600260729 @default.
- W15192326 hasRelatedWork W1623968128 @default.
- W15192326 hasRelatedWork W1972853246 @default.
- W15192326 hasRelatedWork W2042456828 @default.
- W15192326 hasRelatedWork W2044605986 @default.
- W15192326 hasRelatedWork W2088448596 @default.
- W15192326 hasRelatedWork W2107049974 @default.
- W15192326 hasRelatedWork W2130231461 @default.
- W15192326 hasRelatedWork W2132122116 @default.
- W15192326 hasRelatedWork W2152694287 @default.
- W15192326 hasRelatedWork W222174866 @default.
- W15192326 hasRelatedWork W2376804804 @default.
- W15192326 hasRelatedWork W2418368862 @default.
- W15192326 hasRelatedWork W2549251310 @default.
- W15192326 hasRelatedWork W2738929910 @default.
- W15192326 hasRelatedWork W2900711006 @default.
- W15192326 hasRelatedWork W2994704086 @default.
- W15192326 hasRelatedWork W79904784 @default.
- W15192326 hasRelatedWork W1664023750 @default.
- W15192326 hasRelatedWork W2186711390 @default.
- W15192326 isParatext "false" @default.
- W15192326 isRetracted "false" @default.
- W15192326 magId "15192326" @default.
- W15192326 workType "article" @default.