Matches in SemOpenAlex for { <https://semopenalex.org/work/W845090218> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W845090218 endingPage "330" @default.
- W845090218 startingPage "324" @default.
- W845090218 abstract "System level concurrent detection of errors due to hardware faults can be accomplished by introducing software redundancy in the form of executable assertions into a program to monitor the correct operation of the system during its execution. This paper attempts to formalize the use of executable assertions for the purpose of concurrent error detection, and discusses a transformation approach to the design of assertion statements. The second part deals with the effectiveness of the error detection technique. A fault simulation method for the evaluation of the reliability of the assertion statements is described. This scheme was used to study the effectiveness of a nontrivial program in providing protection against faults in the underlying system. The experimental results shows that the use of executable assertions provides an effective approach to achieve concurrent error detection." @default.
- W845090218 created "2016-06-24" @default.
- W845090218 creator A5068070739 @default.
- W845090218 creator A5085472103 @default.
- W845090218 date "1987-11-17" @default.
- W845090218 modified "2023-09-25" @default.
- W845090218 title "DESIGN AND EVALUATION OF EXECUTABLE ASSERTIONS FOR CONCURRENT ERROR DETECTION." @default.
- W845090218 hasPublicationYear "1987" @default.
- W845090218 type Work @default.
- W845090218 sameAs 845090218 @default.
- W845090218 citedByCount "2" @default.
- W845090218 crossrefType "proceedings-article" @default.
- W845090218 hasAuthorship W845090218A5068070739 @default.
- W845090218 hasAuthorship W845090218A5085472103 @default.
- W845090218 hasConcept C103088060 @default.
- W845090218 hasConcept C111919701 @default.
- W845090218 hasConcept C113775141 @default.
- W845090218 hasConcept C11413529 @default.
- W845090218 hasConcept C120314980 @default.
- W845090218 hasConcept C127413603 @default.
- W845090218 hasConcept C149635348 @default.
- W845090218 hasConcept C152124472 @default.
- W845090218 hasConcept C152745839 @default.
- W845090218 hasConcept C154945302 @default.
- W845090218 hasConcept C160145156 @default.
- W845090218 hasConcept C172707124 @default.
- W845090218 hasConcept C199360897 @default.
- W845090218 hasConcept C200601418 @default.
- W845090218 hasConcept C2777904410 @default.
- W845090218 hasConcept C40422974 @default.
- W845090218 hasConcept C41008148 @default.
- W845090218 hasConcept C50712370 @default.
- W845090218 hasConcept C63540848 @default.
- W845090218 hasConceptScore W845090218C103088060 @default.
- W845090218 hasConceptScore W845090218C111919701 @default.
- W845090218 hasConceptScore W845090218C113775141 @default.
- W845090218 hasConceptScore W845090218C11413529 @default.
- W845090218 hasConceptScore W845090218C120314980 @default.
- W845090218 hasConceptScore W845090218C127413603 @default.
- W845090218 hasConceptScore W845090218C149635348 @default.
- W845090218 hasConceptScore W845090218C152124472 @default.
- W845090218 hasConceptScore W845090218C152745839 @default.
- W845090218 hasConceptScore W845090218C154945302 @default.
- W845090218 hasConceptScore W845090218C160145156 @default.
- W845090218 hasConceptScore W845090218C172707124 @default.
- W845090218 hasConceptScore W845090218C199360897 @default.
- W845090218 hasConceptScore W845090218C200601418 @default.
- W845090218 hasConceptScore W845090218C2777904410 @default.
- W845090218 hasConceptScore W845090218C40422974 @default.
- W845090218 hasConceptScore W845090218C41008148 @default.
- W845090218 hasConceptScore W845090218C50712370 @default.
- W845090218 hasConceptScore W845090218C63540848 @default.
- W845090218 hasLocation W8450902181 @default.
- W845090218 hasOpenAccess W845090218 @default.
- W845090218 hasPrimaryLocation W8450902181 @default.
- W845090218 hasRelatedWork W134879045 @default.
- W845090218 hasRelatedWork W147814991 @default.
- W845090218 hasRelatedWork W1581576329 @default.
- W845090218 hasRelatedWork W1794292432 @default.
- W845090218 hasRelatedWork W1968788085 @default.
- W845090218 hasRelatedWork W2002003432 @default.
- W845090218 hasRelatedWork W2027421525 @default.
- W845090218 hasRelatedWork W2043609748 @default.
- W845090218 hasRelatedWork W2082066754 @default.
- W845090218 hasRelatedWork W2129045064 @default.
- W845090218 hasRelatedWork W2147284239 @default.
- W845090218 hasRelatedWork W2151474392 @default.
- W845090218 hasRelatedWork W2153425417 @default.
- W845090218 hasRelatedWork W2155068430 @default.
- W845090218 hasRelatedWork W2330876360 @default.
- W845090218 hasRelatedWork W2336784315 @default.
- W845090218 hasRelatedWork W2603808365 @default.
- W845090218 hasRelatedWork W72468484 @default.
- W845090218 hasRelatedWork W1779063752 @default.
- W845090218 hasRelatedWork W3188384022 @default.
- W845090218 isParatext "false" @default.
- W845090218 isRetracted "false" @default.
- W845090218 magId "845090218" @default.
- W845090218 workType "article" @default.