Matches in SemOpenAlex for { <https://semopenalex.org/work/W836656263> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W836656263 abstract "The key issue we intended to address in our proposed research project was the ability to model and study logical and probabilistic aspects of large computer systems. In particular, we wanted to focus mostly on automatic solution algorithms based on a state-space exploration as their first step, in addition to the more traditional discrete-event simulation approaches commonly employed in industry. One explicitly-stated goal was to extend by several orders of magnitude the size of models that can be solved exactly, using a combination of techniques: 1) Efficient exploration and storage of the state space using new data structures that require an amount of memory sublinear in the number states; and 2) Exploitation of the existing symmetries in the matrices describing the system behavior using Kronecker operators. Not only we have been successful in achieving the above goals, but we exceeded them in many respects." @default.
- W836656263 created "2016-06-24" @default.
- W836656263 creator A5071970957 @default.
- W836656263 date "2003-01-01" @default.
- W836656263 modified "2023-09-26" @default.
- W836656263 title "An Advanced Hierarchical Hybrid Environment for Reliability and Performance Modeling" @default.
- W836656263 cites W1491214620 @default.
- W836656263 cites W1521615649 @default.
- W836656263 cites W1571497250 @default.
- W836656263 cites W2017023300 @default.
- W836656263 cites W2063731350 @default.
- W836656263 cites W2107561541 @default.
- W836656263 cites W2121095166 @default.
- W836656263 cites W2149331026 @default.
- W836656263 cites W2161617103 @default.
- W836656263 cites W2169174934 @default.
- W836656263 cites W2911430074 @default.
- W836656263 hasPublicationYear "2003" @default.
- W836656263 type Work @default.
- W836656263 sameAs 836656263 @default.
- W836656263 citedByCount "0" @default.
- W836656263 crossrefType "journal-article" @default.
- W836656263 hasAuthorship W836656263A5071970957 @default.
- W836656263 hasConcept C105795698 @default.
- W836656263 hasConcept C11413529 @default.
- W836656263 hasConcept C120665830 @default.
- W836656263 hasConcept C121332964 @default.
- W836656263 hasConcept C154945302 @default.
- W836656263 hasConcept C163258240 @default.
- W836656263 hasConcept C192209626 @default.
- W836656263 hasConcept C26517878 @default.
- W836656263 hasConcept C2779662365 @default.
- W836656263 hasConcept C33923547 @default.
- W836656263 hasConcept C38652104 @default.
- W836656263 hasConcept C41008148 @default.
- W836656263 hasConcept C43214815 @default.
- W836656263 hasConcept C48103436 @default.
- W836656263 hasConcept C49937458 @default.
- W836656263 hasConcept C62520636 @default.
- W836656263 hasConcept C72434380 @default.
- W836656263 hasConcept C80444323 @default.
- W836656263 hasConceptScore W836656263C105795698 @default.
- W836656263 hasConceptScore W836656263C11413529 @default.
- W836656263 hasConceptScore W836656263C120665830 @default.
- W836656263 hasConceptScore W836656263C121332964 @default.
- W836656263 hasConceptScore W836656263C154945302 @default.
- W836656263 hasConceptScore W836656263C163258240 @default.
- W836656263 hasConceptScore W836656263C192209626 @default.
- W836656263 hasConceptScore W836656263C26517878 @default.
- W836656263 hasConceptScore W836656263C2779662365 @default.
- W836656263 hasConceptScore W836656263C33923547 @default.
- W836656263 hasConceptScore W836656263C38652104 @default.
- W836656263 hasConceptScore W836656263C41008148 @default.
- W836656263 hasConceptScore W836656263C43214815 @default.
- W836656263 hasConceptScore W836656263C48103436 @default.
- W836656263 hasConceptScore W836656263C49937458 @default.
- W836656263 hasConceptScore W836656263C62520636 @default.
- W836656263 hasConceptScore W836656263C72434380 @default.
- W836656263 hasConceptScore W836656263C80444323 @default.
- W836656263 hasLocation W8366562631 @default.
- W836656263 hasOpenAccess W836656263 @default.
- W836656263 hasPrimaryLocation W8366562631 @default.
- W836656263 hasRelatedWork W144893212 @default.
- W836656263 hasRelatedWork W164805073 @default.
- W836656263 hasRelatedWork W1769666124 @default.
- W836656263 hasRelatedWork W1977677057 @default.
- W836656263 hasRelatedWork W2004502553 @default.
- W836656263 hasRelatedWork W2187302476 @default.
- W836656263 hasRelatedWork W2269224971 @default.
- W836656263 hasRelatedWork W2271636366 @default.
- W836656263 hasRelatedWork W2339779924 @default.
- W836656263 hasRelatedWork W2473799385 @default.
- W836656263 hasRelatedWork W2541246511 @default.
- W836656263 hasRelatedWork W2765903009 @default.
- W836656263 hasRelatedWork W2883939573 @default.
- W836656263 hasRelatedWork W2885960089 @default.
- W836656263 hasRelatedWork W2933927899 @default.
- W836656263 hasRelatedWork W3000578236 @default.
- W836656263 hasRelatedWork W3023002804 @default.
- W836656263 hasRelatedWork W3171281187 @default.
- W836656263 hasRelatedWork W3191200782 @default.
- W836656263 hasRelatedWork W2182559576 @default.
- W836656263 isParatext "false" @default.
- W836656263 isRetracted "false" @default.
- W836656263 magId "836656263" @default.
- W836656263 workType "article" @default.