Matches in SemOpenAlex for { <https://semopenalex.org/work/W2358025101> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2358025101 abstract "Whena transient faultoccurs in software,it may cause the processor state changes.The program execution appears data error or control flow error.There are many software-based solutions,hardware-based solutions and hybrid solutions,mainly using redundancy computingand checking the consistency of the copy method.But generating correct fault-tolerant code is very difficult,and almost none of these solutions provide rigorous proofs of their correctness.Typed assembly language(TAL) is a standardway proving program safety.This article has outlined a hybrid solution for transient faults and the formalization method of it,including fault-tolerant typed assembly language,type system and fault tolerant theorem.The purpose of formalization is to verify program code,and only after verification program code is type safe.We briefly introduce the programformalization method only." @default.
- W2358025101 created "2016-06-24" @default.
- W2358025101 creator A5023209992 @default.
- W2358025101 date "2013-01-01" @default.
- W2358025101 modified "2023-09-24" @default.
- W2358025101 title "A formalization method of fault tolerant technique for transient faults" @default.
- W2358025101 hasPublicationYear "2013" @default.
- W2358025101 type Work @default.
- W2358025101 sameAs 2358025101 @default.
- W2358025101 citedByCount "0" @default.
- W2358025101 crossrefType "journal-article" @default.
- W2358025101 hasAuthorship W2358025101A5023209992 @default.
- W2358025101 hasConcept C108710211 @default.
- W2358025101 hasConcept C111919701 @default.
- W2358025101 hasConcept C11413529 @default.
- W2358025101 hasConcept C120314980 @default.
- W2358025101 hasConcept C152124472 @default.
- W2358025101 hasConcept C154945302 @default.
- W2358025101 hasConcept C160191386 @default.
- W2358025101 hasConcept C199360897 @default.
- W2358025101 hasConcept C2524010 @default.
- W2358025101 hasConcept C2776436953 @default.
- W2358025101 hasConcept C2777904410 @default.
- W2358025101 hasConcept C2780799671 @default.
- W2358025101 hasConcept C33923547 @default.
- W2358025101 hasConcept C41008148 @default.
- W2358025101 hasConcept C489000 @default.
- W2358025101 hasConcept C50712370 @default.
- W2358025101 hasConcept C55439883 @default.
- W2358025101 hasConcept C63540848 @default.
- W2358025101 hasConcept C77088390 @default.
- W2358025101 hasConcept C88468194 @default.
- W2358025101 hasConceptScore W2358025101C108710211 @default.
- W2358025101 hasConceptScore W2358025101C111919701 @default.
- W2358025101 hasConceptScore W2358025101C11413529 @default.
- W2358025101 hasConceptScore W2358025101C120314980 @default.
- W2358025101 hasConceptScore W2358025101C152124472 @default.
- W2358025101 hasConceptScore W2358025101C154945302 @default.
- W2358025101 hasConceptScore W2358025101C160191386 @default.
- W2358025101 hasConceptScore W2358025101C199360897 @default.
- W2358025101 hasConceptScore W2358025101C2524010 @default.
- W2358025101 hasConceptScore W2358025101C2776436953 @default.
- W2358025101 hasConceptScore W2358025101C2777904410 @default.
- W2358025101 hasConceptScore W2358025101C2780799671 @default.
- W2358025101 hasConceptScore W2358025101C33923547 @default.
- W2358025101 hasConceptScore W2358025101C41008148 @default.
- W2358025101 hasConceptScore W2358025101C489000 @default.
- W2358025101 hasConceptScore W2358025101C50712370 @default.
- W2358025101 hasConceptScore W2358025101C55439883 @default.
- W2358025101 hasConceptScore W2358025101C63540848 @default.
- W2358025101 hasConceptScore W2358025101C77088390 @default.
- W2358025101 hasConceptScore W2358025101C88468194 @default.
- W2358025101 hasLocation W23580251011 @default.
- W2358025101 hasOpenAccess W2358025101 @default.
- W2358025101 hasPrimaryLocation W23580251011 @default.
- W2358025101 hasRelatedWork W1512115515 @default.
- W2358025101 hasRelatedWork W1819104672 @default.
- W2358025101 hasRelatedWork W1967075733 @default.
- W2358025101 hasRelatedWork W1990816221 @default.
- W2358025101 hasRelatedWork W1999796373 @default.
- W2358025101 hasRelatedWork W2047564410 @default.
- W2358025101 hasRelatedWork W2053808314 @default.
- W2358025101 hasRelatedWork W2068839623 @default.
- W2358025101 hasRelatedWork W2128131381 @default.
- W2358025101 hasRelatedWork W2135494054 @default.
- W2358025101 hasRelatedWork W2138538875 @default.
- W2358025101 hasRelatedWork W2143070593 @default.
- W2358025101 hasRelatedWork W2145423848 @default.
- W2358025101 hasRelatedWork W2154724831 @default.
- W2358025101 hasRelatedWork W2163865331 @default.
- W2358025101 hasRelatedWork W2397503885 @default.
- W2358025101 hasRelatedWork W254399925 @default.
- W2358025101 hasRelatedWork W2897381271 @default.
- W2358025101 hasRelatedWork W2950439096 @default.
- W2358025101 hasRelatedWork W3088046813 @default.
- W2358025101 isParatext "false" @default.
- W2358025101 isRetracted "false" @default.
- W2358025101 magId "2358025101" @default.
- W2358025101 workType "article" @default.