FRINK Linked Data Fragments server

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

• W2115614456 abstract "This paper presents the DREDD (Dependability and Risk Analysis using Decision Diagrams) algorithm which incorporates coverage modeling into a BDD solution of a combinatorial model. The DREDD algorithm takes advantage of the efficiency of the BDD solution approach and the increased accuracy afforded by coverage modeling. BDDs have been used to find exact solutions for extremely large systems, including those with as many as 10/sup 20/ prime implicants. Including coverage in this process will increase the validity of the results, since a more complete model allows for more realistic analysis. The reliability of life critical systems which previously could only be approximated may now be analyzed more accurately." @default.
• W2115614456 created "2016-06-24" @default.
• W2115614456 creator A5014246002 @default.
• W2115614456 creator A5079236593 @default.
• W2115614456 creator A5085644815 @default.
• W2115614456 date "2002-11-19" @default.
• W2115614456 modified "2023-09-25" @default.
• W2115614456 title "Combinatorial-models and coverage: a binary decision diagram (BDD) approach" @default.
• W2115614456 cites W1602476740 @default.
• W2115614456 cites W1987029759 @default.
• W2115614456 cites W1994143452 @default.
• W2115614456 cites W1996165017 @default.
• W2115614456 cites W2007813015 @default.
• W2115614456 cites W2045084480 @default.
• W2115614456 cites W2048972217 @default.
• W2115614456 cites W2080267935 @default.
• W2115614456 cites W2089167558 @default.
• W2115614456 cites W2091098176 @default.
• W2115614456 cites W2099251677 @default.
• W2115614456 cites W2127222105 @default.
• W2115614456 cites W2129873456 @default.
• W2115614456 cites W2133491672 @default.
• W2115614456 cites W2147661413 @default.
• W2115614456 cites W2149286688 @default.
• W2115614456 cites W2154884120 @default.
• W2115614456 cites W2163191232 @default.
• W2115614456 cites W2335478831 @default.
• W2115614456 cites W3142504807 @default.
• W2115614456 cites W3165781521 @default.
• W2115614456 doi "https://doi.org/10.1109/rams.1995.513227" @default.
• W2115614456 hasPublicationYear "2002" @default.
• W2115614456 type Work @default.
• W2115614456 sameAs 2115614456 @default.
• W2115614456 citedByCount "17" @default.
• W2115614456 countsByYear W21156144562013 @default.
• W2115614456 crossrefType "proceedings-article" @default.
• W2115614456 hasAuthorship W2115614456A5014246002 @default.
• W2115614456 hasAuthorship W2115614456A5079236593 @default.
• W2115614456 hasAuthorship W2115614456A5085644815 @default.
• W2115614456 hasConcept C102487863 @default.
• W2115614456 hasConcept C110251889 @default.
• W2115614456 hasConcept C11413529 @default.
• W2115614456 hasConcept C114614502 @default.
• W2115614456 hasConcept C115903868 @default.
• W2115614456 hasConcept C115908005 @default.
• W2115614456 hasConcept C121332964 @default.
• W2115614456 hasConcept C124101348 @default.
• W2115614456 hasConcept C126255220 @default.
• W2115614456 hasConcept C127413603 @default.
• W2115614456 hasConcept C158465420 @default.
• W2115614456 hasConcept C163258240 @default.
• W2115614456 hasConcept C184992742 @default.
• W2115614456 hasConcept C187455244 @default.
• W2115614456 hasConcept C199360897 @default.
• W2115614456 hasConcept C200601418 @default.
• W2115614456 hasConcept C20837028 @default.
• W2115614456 hasConcept C3309909 @default.
• W2115614456 hasConcept C33923547 @default.
• W2115614456 hasConcept C41008148 @default.
• W2115614456 hasConcept C43214815 @default.
• W2115614456 hasConcept C48372109 @default.
• W2115614456 hasConcept C62520636 @default.
• W2115614456 hasConcept C77019957 @default.
• W2115614456 hasConcept C80444323 @default.
• W2115614456 hasConcept C84525736 @default.
• W2115614456 hasConcept C94375191 @default.
• W2115614456 hasConcept C98045186 @default.
• W2115614456 hasConceptScore W2115614456C102487863 @default.
• W2115614456 hasConceptScore W2115614456C110251889 @default.
• W2115614456 hasConceptScore W2115614456C11413529 @default.
• W2115614456 hasConceptScore W2115614456C114614502 @default.
• W2115614456 hasConceptScore W2115614456C115903868 @default.
• W2115614456 hasConceptScore W2115614456C115908005 @default.
• W2115614456 hasConceptScore W2115614456C121332964 @default.
• W2115614456 hasConceptScore W2115614456C124101348 @default.
• W2115614456 hasConceptScore W2115614456C126255220 @default.
• W2115614456 hasConceptScore W2115614456C127413603 @default.
• W2115614456 hasConceptScore W2115614456C158465420 @default.
• W2115614456 hasConceptScore W2115614456C163258240 @default.
• W2115614456 hasConceptScore W2115614456C184992742 @default.
• W2115614456 hasConceptScore W2115614456C187455244 @default.
• W2115614456 hasConceptScore W2115614456C199360897 @default.
• W2115614456 hasConceptScore W2115614456C200601418 @default.
• W2115614456 hasConceptScore W2115614456C20837028 @default.
• W2115614456 hasConceptScore W2115614456C3309909 @default.
• W2115614456 hasConceptScore W2115614456C33923547 @default.
• W2115614456 hasConceptScore W2115614456C41008148 @default.
• W2115614456 hasConceptScore W2115614456C43214815 @default.
• W2115614456 hasConceptScore W2115614456C48372109 @default.
• W2115614456 hasConceptScore W2115614456C62520636 @default.
• W2115614456 hasConceptScore W2115614456C77019957 @default.
• W2115614456 hasConceptScore W2115614456C80444323 @default.
• W2115614456 hasConceptScore W2115614456C84525736 @default.
• W2115614456 hasConceptScore W2115614456C94375191 @default.
• W2115614456 hasConceptScore W2115614456C98045186 @default.
• W2115614456 hasLocation W21156144561 @default.
• W2115614456 hasOpenAccess W2115614456 @default.
• W2115614456 hasPrimaryLocation W21156144561 @default.
• W2115614456 hasRelatedWork W1488773690 @default.
• W2115614456 hasRelatedWork W1990025298 @default.

• next