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

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2016053313) PAGE MODIFICATION
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2016/053313    International Application No.:    PCT/US2014/058381
Publication Date: 07.04.2016 International Filing Date: 30.09.2014
IPC:
G06F 12/08 (2006.01)
Applicants: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP [US/US]; 11445 Compaq Center Drive West Houston, TX 77070 (US)
Inventors: JOHNSON, Charles S,; (US).
KUNO, Harumi; (US).
GRAEFE, Goetz; (US).
VOLOS, Haris; (US).
LILIBRIDGE, Mark; (US).
PARK, James Hyungsun,; (US).
GUY, Wey; (US)
Agent: LEMMON, Marcus B,; (US)
Priority Data:
Title (EN) PAGE MODIFICATION
(FR) MODIFICATION DE PAGE
Abstract: front page image
(EN)Systems and methods associated with neural network verification are disclosed. One example method may be embodied on a non-transitory computer-readable medium storing computer-executable instructions. The instructions, when executed by a computer, may cause the computer to fetch a page to a buffer pool in a memory. The page may be fetched from at least one of a log and a backup using single page recovery. The instructions may also cause the computer to store a modification of the page to the log. The modification may be stored to the log as a log entry. The instructions may also cause the computer to evict the page from memory when the page is replaced in the buffer pool. Page writes associated with the eviction may be elided.
(FR)L'invention concerne des systèmes et des procédés associés à la vérification de réseau neural. Un procédé donné à titre d'exemple peut être incorporé sur un support lisible par ordinateur non transitoire stockant des instructions exécutables par ordinateur. Les instructions, lorsqu'elles sont exécutées par un ordinateur, peuvent amener l'ordinateur à extraire une page vers un groupe de mémoire tampon dans une mémoire. La page peut être extraite à partir d'un journal et/ou d'une sauvegarde à l'aide d'une récupération de page unique. Les instructions peuvent également amener l'ordinateur à stocker une modification de la page dans le journal. La modification peut être stockée dans le journal sous la forme d'une entrée de journal. Les instructions peuvent également amener l'ordinateur à expulser la page de la mémoire lorsque la page est remplacée dans le groupe tampon. Des écritures de page associées à l'éviction peuvent être ignorées.
Designated States: 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, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, 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.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (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)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)