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:
“During the Civil War the area became a refuge for service- dodging Texans, and gangs of bushwhackers, as they were called, hid in its fastnesses. Conscript details of the Confederate Army hunted the fugitives and occasional skirmishes resulted.”
—Administration in the State of Texa, U.S. public relief program (1935-1943)
“When Paul Bunyan’s loggers roofed an Oregon bunkhouse with shakes, fog was so thick that they shingled forty feet into space before discovering they had passed the last rafter.”
—State of Oregon, U.S. public relief program (1935-1943)