首页>
外国专利>
SYSTEM AND METHOD FOR DIVIDE-AND CONQUER CHECKPOINTING
SYSTEM AND METHOD FOR DIVIDE-AND CONQUER CHECKPOINTING
展开▼
机译:分而治之检查点的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼