WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2010011513) AMÉLIORATION DE PERFORMANCE D'UN RÉSOLVEUR DE CONTRAINTES SUR DES PROCESSUS INDIVIDUELS
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2010/011513    N° de la demande internationale :    PCT/US2009/050355
Date de publication : 28.01.2010 Date de dépôt international : 13.07.2009
CIB :
G06N 5/02 (2006.01), G06N 5/04 (2006.01)
Déposants : SYNOPSYS, INC. [US/US]; 700 E. Middlefield Road Mountain View, CA 94043 (US) (Tous Sauf US).
MATURANA, Guillermo, R. [CL/US]; (US) (US Seulement)
Inventeurs : MATURANA, Guillermo, R.; (US)
Mandataire : YAO, Shun; Park, Vaughan & Fleming LLP 2820 Fifth Street Davis, CA 95618-7759 (US)
Données relatives à la priorité :
12/176,882 21.07.2008 US
Titre (EN) ENHANCING PERFORMANCE OF A CONSTRAINT SOLVER ACROSS INDIVIDUAL PROCESSES
(FR) AMÉLIORATION DE PERFORMANCE D'UN RÉSOLVEUR DE CONTRAINTES SUR DES PROCESSUS INDIVIDUELS
Abrégé : front page image
(EN)One embodiment of the present invention provides a system that reuses information associated with a constraint solving operation for a problem domain. This system begins by receiving a constraint problem from the problem domain. Then, the system searches through a problem cache for an entry which corresponds to the canonical representation. If a corresponding entry does not exist in the problem cache, the system produces an entry in the problem cache for the canonical representation. Otherwise, if a corresponding entry already exists in the problem cache, the system generates a solution to the canonical representation by reusing the solver heuristic associated with the corresponding entry in the problem cache.
(FR)Un mode de réalisation de la présente invention porte sur un système qui réutilise des informations associées à une opération de résolution de contraintes pour un domaine de problème. Ce système commence par la réception d'un problème de contrainte en provenance du domaine de problème. Ensuite, le système cherche à travers une mémoire cache de problèmes une entrée qui correspond à la représentation canonique. Si une entrée correspondante n'existe pas dans la mémoire cache de problèmes, le système produit une entrée dans la mémoire cache de problèmes pour la représentation canonique. Sinon, si une entrée correspondante existe déjà dans la mémoire cache de problèmes, le système génère une solution à la représentation canonique par réutilisation de la règle heuristique de résolveur associée à l'entrée correspondante dans la mémoire cache de problèmes.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB) (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)