US Patent 7500226 Efficient checking of state-dependent constraints
Patent 7500226 was granted and assigned to Microsoft on March, 2009 by the United States Patent and Trademark Office.
All edits
Constraints are defined in view of a program implementation. Constraints check program state or variables to maintain data consistency. A constraint component determines a constraint's scope and variables upon which a constraint depends. Program flow is altered so constraints are checked whenever a variable upon which a constraint depends is updated. Optionally, program flow is altered dynamically to re-establish constraints whenever a variable upon which a constraint depends is updated. Re-establishing constraints provides efficiency, since a program flow is altered for a minimum cost based on a present evolving minimum set of active constraint-variable relationships.
US Patent 07500226 Efficient checking of state-dependent constraints US Patent 7500226 Efficient checking of state-dependent constraints
US Patent 07500226 Efficient checking of state-dependent constraints
Find more entities like US Patent 7500226 Efficient checking of state-dependent constraints
