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. (WO2018053051) SYSTÈME ET PROCÉDÉ DE POINTAGE DE VÉRIFICATION DE TYPE « DIVISER POUR RÉGNER »
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2018/053051 N° de la demande internationale : PCT/US2017/051426
Date de publication : 22.03.2018 Date de dépôt international : 13.09.2017
CIB :
G06F 7/60 (2006.01) ,G06F 11/36 (2006.01) ,G06F 17/10 (2006.01) ,G06G 7/48 (2006.01)
Déposants : PURDUE RESEARCH FOUNDATION[US/US]; 1801 Newman Road West Lafayette, IN 47906, US
NATIONAL UNIVERSITY OF IRELAND, MAYNOOTH[IE/IE]; Maynooth University Maynooth, County Kildare, IE
Inventeurs : SISKIND, Jeffrey Mark; US
PEARLMUTTER, Barak Avrum; IE
Mandataire : JALAIE, Bobak P.; US
Données relatives à la priorité :
62/393,89413.09.2016US
Titre (EN) SYSTEM AND METHOD FOR DIVIDE-AND CONQUER CHECKPOINTING
(FR) SYSTÈME ET PROCÉDÉ DE POINTAGE DE VÉRIFICATION DE TYPE « DIVISER POUR RÉGNER »
Abrégé : front page image
(EN) A system and method which allows the basic checkpoint-reverse-mode AD strategy (of recursively decomposing the computation to reduce storage requirements of reverse-mode AD) to be applied to arbitrary programs: not just programs consisting of loops, but programs with arbitrarily complex control flow. The method comprises (a) transforming the program into a formalism that allows convenient manipulation by formal tools, and (b) introducing a set of operators to allow computations to be decomposed by running them for a given period of time then pausing them, while treating the paused program as a value subject to manipulation.
(FR) La présente invention concerne un système et un procédé qui permettent à la stratégie AD de base de pointage de vérification en mode inverse (décomposer de manière récursive le calcul pour réduire les exigences de stockage du AD en mode inverse) d'appliquer à des programmes arbitraires : non seulement des programmes constitués de boucles, mais des programmes avec un flux de commande arbitrairement complexe. Le procédé comprend (a) la transformation du programme en un formalisme qui permet une manipulation pratique par des outils formels, et (b) l'introduction d'un ensemble d'opérateurs pour permettre de décomposer des calculs en les faisant fonctionner pendant une période de temps donnée, puis en les mettant en pause, tout en traitant le programme en pause en tant que valeur soumise à une manipulation.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JO, JP, KE, KG, KH, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, 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, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (AL, 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, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)