-
1.
公开(公告)号:US06397380B1
公开(公告)日:2002-05-28
申请号:US08634515
申请日:1996-04-18
申请人: Calvin John Bittner , Bertrand M. Grossman , Richard Dimick Jenks , Stephen Michael Watt , Richard Quimby Williams
发明人: Calvin John Bittner , Bertrand M. Grossman , Richard Dimick Jenks , Stephen Michael Watt , Richard Quimby Williams
IPC分类号: G06F945
CPC分类号: G06F8/443
摘要: A method for optimizing and transforming a compiler program in a computer system. The method comprises the steps of constructing a compiler comprising a program augmentation capability; and, locating this capability in association with phases of a standard compilation process. The program augmentation capability may comprise symbolic automatic differentiation, or generation of Taylor series, or generation of Hessian or Jacobian matrices.
摘要翻译: 一种用于优化和转换计算机系统中的编译程序的方法。 该方法包括以下步骤:构建包括程序增强能力的编译器; 并将此功能与标准编译过程的阶段相关联。 程序增强能力可以包括符号自动区分,或者产生泰勒级数,或者生成黑森或雅可比矩阵。
-
2.
公开(公告)号:US06223341B1
公开(公告)日:2001-04-24
申请号:US09071115
申请日:1998-05-01
申请人: Calvin John Bittner , Bertrand M. Grossman , Richard Dimick Jenks , Stephen Michael Watt , Richard Quimby Williams
发明人: Calvin John Bittner , Bertrand M. Grossman , Richard Dimick Jenks , Stephen Michael Watt , Richard Quimby Williams
IPC分类号: G06F945
CPC分类号: G06F8/443
摘要: A method for optimizing and transforming a compiler program in a computer system. The method comprises the steps of constructing a compiler comprising a program augmentation capability; and, locating this capability in association with phases of a standard compilation process. The program augmentation capability may comprise symbolic automatic differentiation, or generation of Taylor series, or generation of Hessian or Jacobian matrices.
摘要翻译: 一种用于优化和转换计算机系统中的编译程序的方法。 该方法包括以下步骤:构建包括程序增强能力的编译器; 并将此功能与标准编译过程的阶段相关联。 程序增强能力可以包括符号自动区分,或者产生泰勒级数,或者生成黑森或雅可比矩阵。
-