Patent №
US 8,006,239
Granted
2011-08-23
Filed 2008
Owner
NEC LABORATORIES AMERICA, INC.
Lab
—
AI components
1
kr
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
12015126
A computer implemented method for generating a representation of relationships between variables in a program employing Symbolic Range Constraints (SRCs) wherein the SRCs are of the form φ:^i=1nli≦xi≦ui where for each i ε[l,n], the linear expressions li,ui are made up of variables in the set{xi+1, . . . ,xn} and wherein the SRCs comprise linear, convex, and triangulated constraints for a given variable order.
AI classification
Ownership
NEC LABORATORIES AMERICA, INC.
assignment · 206290865
Assignors
SANKARANARAYANAN, SRIRAM, GUPTA, AARTI, IVANCIC, FRANJO, SHLYAKHTER, ILYA
On an employer assignment, the assignors are typically the inventors.