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.
Read more about State Space Enumeration: See Also
Famous quotes containing the words state and/or space:
“Know that, on the right hand of the Indies, there is an island called California, very near to the Terrestrial Paradise, which was peopled with black women.... Their arms were all of gold.”
—For the State of California, U.S. public relief program (1935-1943)
“It is the space inside that gives the drum its sound.”
—Hawaiian saying no. 1189, ‘lelo No’Eau, collected, translated, and annotated by Mary Kawena Pukui, Bishop Museum Press, Hawaii (1983)