Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/State_space_enumeration> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- State_space_enumeration abstract "In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property. As programs increase in size and complexity, the state space grows exponentially. The state space used by these methods can be reduced by maintaining only the parts of the state space that are relevant to the analysis. However, the use of state and memory reduction techniques makes runtime a major limiting factor.".
- State_space_enumeration wikiPageID "21676935".
- State_space_enumeration wikiPageLength "1245".
- State_space_enumeration wikiPageOutDegree "9".
- State_space_enumeration wikiPageRevisionID "532110248".
- State_space_enumeration wikiPageWikiLink Category:Formal_methods.
- State_space_enumeration wikiPageWikiLink Category:Logic_in_computer_science.
- State_space_enumeration wikiPageWikiLink Category:Programming_language_implementation.
- State_space_enumeration wikiPageWikiLink Computer_science.
- State_space_enumeration wikiPageWikiLink Formal_methods.
- State_space_enumeration wikiPageWikiLink Model_checking.
- State_space_enumeration wikiPageWikiLink Satisfiability.
- State_space_enumeration wikiPageWikiLink State_(computer_science).
- State_space_enumeration wikiPageWikiLink State_space.
- State_space_enumeration wikiPageWikiLinkText "state space enumeration".
- State_space_enumeration wikiPageUsesTemplate Template:Reflist.
- State_space_enumeration subject Category:Formal_methods.
- State_space_enumeration subject Category:Logic_in_computer_science.
- State_space_enumeration subject Category:Programming_language_implementation.
- State_space_enumeration hypernym Methods.
- State_space_enumeration type Area.
- State_space_enumeration type Software.
- State_space_enumeration type Area.
- State_space_enumeration type Method.
- State_space_enumeration comment "In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property. As programs increase in size and complexity, the state space grows exponentially. The state space used by these methods can be reduced by maintaining only the parts of the state space that are relevant to the analysis. However, the use of state and memory reduction techniques makes runtime a major limiting factor.".
- State_space_enumeration label "State space enumeration".
- State_space_enumeration sameAs Q7603877.
- State_space_enumeration sameAs m.05mvd0y.
- State_space_enumeration sameAs Q7603877.
- State_space_enumeration wasDerivedFrom State_space_enumeration?oldid=532110248.
- State_space_enumeration isPrimaryTopicOf State_space_enumeration.