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:
“Neighboring farmers and visitors at White Sulphur drove out occasionally to watch ‘those funny Scotchmen’ with amused superiority; when one member imported clubs from Scotland, they were held for three weeks by customs officials who could not believe that any game could be played with ‘such elongated blackjacks or implements of murder.’”
—For the State of West Virginia, U.S. public relief program (1935-1943)
“Time in his little cinema of the heart
Giving a première to Hate and Pain;
And Space urbanely keeping us apart.”
—Philip Larkin (1922–1986)