Matches in DBpedia 2014 for { <http://dbpedia.org/resource/State_space_enumeration> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items 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 wikiPageRevisionID "532110248".
- State_space_enumeration hasPhotoCollection State_space_enumeration.
- 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 type Ability105616246.
- State_space_enumeration type Abstraction100002137.
- State_space_enumeration type Cognition100023271.
- State_space_enumeration type FormalMethods.
- State_space_enumeration type Know-how105616786.
- State_space_enumeration type Method105660268.
- State_space_enumeration type PsychologicalFeature100023100.
- 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 m.05mvd0y.
- State_space_enumeration sameAs Q7603877.
- State_space_enumeration sameAs Q7603877.
- State_space_enumeration sameAs State_space_enumeration.
- State_space_enumeration wasDerivedFrom State_space_enumeration?oldid=532110248.
- State_space_enumeration isPrimaryTopicOf State_space_enumeration.