公开(公告)号：US06128775A

公开(公告)日：2000-10-03

申请号：US97713

申请日：1998-06-16

申请人： Frederick Chow ,  Robert Kennedy ,  Shin-Ming Liu ,  Raymond Lo ,  Peng Tu ,  Sun C. Chan

发明人： Frederick Chow ,  Robert Kennedy ,  Shin-Ming Liu ,  Raymond Lo ,  Peng Tu ,  Sun C. Chan

IPC分类号： G06F9/45

CPC分类号： G06F8/441 ,  G06F8/443

摘要： A method, system, and computer program product for performing register promotion, that optimizes placement of load and store operations of a computer program within a compiler. Based on the observation that the circumstances for promoting a memory location's value to register coincide with situations where the program exhibits partial redundancy between accesses to the memory location, the system is an approach to register promotion that models the optimization as two separate problems: (1) the partial redundancy elimination (PRE) of loads and (2) the PRE of stores. Both of these problems are solved through a sparse approach to PRE. The static single assignment PRE (SSAPRE) method for eliminating partial redundancy using a sparse SSA representation representations the foundation in eliminating redundancy among memory accesses, enabling the achievement of both computational and live range optimality in register promotion results. A static single use (SSU) representation is defined allowing the dual of the SSAPRE algorithm, called SSUPRE, to perform the partial redundancy elimination of stores. SSUPRE is performed after the PRE of loads, taking advantage of the loads' having been converted into pseudo-register references so that there are fewer barriers to the movement of stores. Consequently, the compiler produces more efficient, register-promoted executable program code from the SSA representation.

摘要翻译： 一种用于执行注册促进的方法，系统和计算机程序产品，其优化了编译器内的计算机程序的加载和存储操作的布局。 基于这样一种观察，即为了提升存储器位置的寄存器值的情况与存储单元存取位置之间存在部分冗余的情况相一致，系统是将优化模型化为两个独立问题的注册升级方法：（1 ）负载的部分冗余消除（PRE）和（2）存储的PRE。 这两个问题都是通过稀疏的PRE方法解决的。 使用稀疏SSA表示消除部分冗余的静态单分配PRE（SSAPRE）方法表示在消除存储器访问之间的冗余的基础上，使得能够在注册促进结果中实现计算和实时范围最优化。 定义了静态单用（SSU）表示，允许称为SSUPRE的SSAPRE算法的双重性来执行商店的部分冗余消除。 SSUPRE在负载的PRE之后执行，利用已经转换为伪寄存器引用的负载，使得存储器移动的障碍较少。 因此，编译器从SSA表示形成更高效的注册升级可执行程序代码。

公开(公告)号：US06301704B1

公开(公告)日：2001-10-09

申请号：US09097672

申请日：1998-06-16

申请人： Frederick Chow ,  Sun Chan ,  Peter Dahl ,  Robert Kennedy ,  Shin-Ming Liu ,  Raymond Lo ,  Mark Streich ,  Peng Tu

发明人： Frederick Chow ,  Sun Chan ,  Peter Dahl ,  Robert Kennedy ,  Shin-Ming Liu ,  Raymond Lo ,  Mark Streich ,  Peng Tu

IPC分类号： G06F9445

CPC分类号： G06F8/443

摘要： A method, system, and computer product uses a hashed static single assignment (SSA) form as a program representation and a medium for performing global scalar optimization. A compiler, after expressing the computer program in SSA form, can perform one or more static single assignment (SSA)-based, SSA-preserving global scalar optimization procedures on the SSA representation. Such a procedure modifies, (i.e., optimizes) the SSA representation of the program while preserving the utility of its embedded use-deprogram information for purposes of subsequent SSA-based, SSA-preserving global scalar optimizations. This saves the overhead expense of having to explicitly regenerate use-def program information for successive SSA-based, SSA-preserving global scalar optimizations.

摘要翻译： 方法，系统和计算机产品使用散列静态单赋值（SSA）形式作为程序表示和用于执行全局标量优化的介质。 在以SSA形式表达计算机程序之后，编译器可以在SSA表示上执行一个或多个基于静态单一分配（SSA）的SSA保留的全局标量优化过程。 这样的过程修改（即优化）程序的SSA表示，同时保留其嵌入的使用 - 解除程序信息的用途，以用于随后的基于SSA的SSA保留的全局标量优化。 这节省了为连续的基于SSA，保持SSA的全局标量优化显式地重新生成use-def程序信息的开销费用。

公开(公告)号：US6026241A

公开(公告)日：2000-02-15

申请号：US873895

申请日：1997-06-13

申请人： Frederick Chow ,  Sun Chan ,  Robert Kennedy ,  Shin-Ming Liu ,  Raymond Lo ,  Peng Tu

发明人： Frederick Chow ,  Sun Chan ,  Robert Kennedy ,  Shin-Ming Liu ,  Raymond Lo ,  Peng Tu

IPC分类号： G06F9/45

CPC分类号： G06F8/443

摘要： Partial redundancy elimination of a computer program is described that operates using a static single assignment (SSA) representation of a computer program. The SSA representation of the computer program is processed to eliminate partially redundant expressions in the computer program. This processing involves inserting .PHI. functions for expressions where different values of the expressions reach common points in the computer program. A result of each of the .PHI. functions is stored in a hypothetical variable h. The processing also involves a renaming step where SSA versions are assigned to hypothetical variables h in the computer program, a down safety step of determining whether each .PHI. function in the computer program is down safe, and a will be available step of determining whether each expression in the computer program will be available at each .PHI. function following eventual insertion of code into the computer program for purposes of partial redundancy elimination. The processing also includes a finalize step of transforming the SSA representation of the computer program having hypothetical variables h to a SSA graph that includes some insertion information reflecting eventual insertions of code into the computer program for purposes of partial redundancy elimination, and a code motion step of updating the SSA graph based on the insertion information to introduce real temporary variables t for the hypothetical variables h.

摘要翻译： 描述了使用计算机程序的静态单一分配（SSA）表示来操作计算机程序的部分冗余消除。 处理计算机程序的SSA表示以消除计算机程序中的部分冗余表达式。 该处理涉及为表达式插入PHI函数，其中表达式的不同值达到计算机程序中的公共点。 每个PHI函数的结果存储在假设变量h中。 该处理还包括重新命名步骤，其中SSA版本被分配给计算机程序中的假想变量h，确定计算机程序中的每个PHI功能是否下降的安全步骤，以及将是可用的步骤，确定每个表达式 为了部分冗余消除的目的，在计算机程序中将最终将代码插入计算机程序之后，在每个PHI功能中将可用。 该处理还包括将具有假设变量h的计算机程序的SSA表示形式的SSA图形变换为SSA图的最终确定步骤，该SSA图形包括反映最终插入代码到计算机程序中以便部分冗余消除的目的的一些插入信息，以及代码运动步骤 基于插入信息更新SSA图，以为假设变量h引入真实临时变量t。

公开(公告)号：US08880690B1

公开(公告)日：2014-11-04

申请号：US13586819

申请日：2012-08-15

申请人： Robert Kennedy ,  Timothy R. Kohn ,  Devin Kowatch ,  Richard A. Sheehan

发明人： Robert Kennedy ,  Timothy R. Kohn ,  Devin Kowatch ,  Richard A. Sheehan

IPC分类号： G06F15/173 ,  H04L12/24

CPC分类号： H04L41/0813 ,  H04L41/0654 ,  H04L41/0823 ,  H04L41/0866

摘要： Systems and methods for implementing network changes are described herein. In one aspect, a network change procedure may be comprised of a plurality of scripts that may implement a change in the network. In one embodiment, the deployment may be paused after the script has been executed. During the pause, a change management server may determine the impact of the change on the network. If the change had a positive effect, the change management server may execute another script to make another network change. However, if the change had a negative effect, the change management server may initiate one or more remedial actions.

摘要翻译： 本文描述了用于实现网络变化的系统和方法。 在一个方面，网络改变过程可以由可以实现网络改变的多个脚本组成。 在一个实施例中，可以在脚本被执行之后暂停部署。 在暂停期间，变更管理服务器可以确定改变对网络的影响。 如果更改有积极的作用，变更管理服务器可能会执行另一个脚本以使其他网络发生变化。 但是，如果更改产生负面影响，则变更管理服务器可能会启动一个或多个补救措施。

公开(公告)号：US20090064983A1

公开(公告)日：2009-03-12

申请号：US12205046

申请日：2008-09-05

申请人： Tangali Sudarshan ,  Igor Agafonov ,  Robert Kennedy

发明人： Tangali Sudarshan ,  Igor Agafonov ,  Robert Kennedy

IPC分类号： B28D1/08 ,  C09K3/14 ,  B23K1/19 ,  B24D3/10

CPC分类号： B23D61/185 ,  B05C3/125 ,  B05C9/10 ,  B05C9/12 ,  B05C9/14 ,  B05C19/04 ,  B23D65/00 ,  B24B27/0633 ,  B28D1/124 ,  B28D5/0082 ,  B28D5/045 ,  C23C24/106

摘要： Methods, wires, and apparatus for use in cutting (e.g., slicing) hard, brittle materials is provided. The wire can be a super-abrasive wire that includes a wire core and super-abrasive particles bonded to the wire core via a metal bonding layer. This wire, or another type of wire, can be used to slice workpieces useful for producing wafers. The workpieces can be aligned within a holder to produce wafers using the device and methods presently provided. The holder rotates about its central axis, which translates to workpieces moving in orbit around this axis. A single abrasive wire, or multiple turns of wire stretched tightly between wire guides, is then contacted with the rotating holder to slice the workpieces.

摘要翻译： 提供了用于切割（例如，切片）硬的脆性材料的方法，电线和设备。 线可以是超研磨线，其包括线芯和通过金属结合层结合到线芯的超研磨颗粒。 该线材或另一种类型的线材可用于切割用于生产晶片的工件。 工件可以在保持器内对准以使用目前提供的装置和方法来生产晶片。 保持架绕其中心轴线旋转，这转动成围绕该轴线在轨道上移动的工件。 然后将单个研磨线或在导线器之间紧紧拉紧的多根线材与旋转的保持器接触以切割工件。

公开(公告)号：US20060287378A1

公开(公告)日：2006-12-21

申请号：US11389664

申请日：2006-03-24

申请人： Gary Bolton ,  Daniel Bowles ,  David Boyles ,  Walter Howard ,  Richard Hutchings ,  Robert Kennedy ,  William Park ,  Yuntao Song ,  Bharat Trivedi

发明人： Gary Bolton ,  Daniel Bowles ,  David Boyles ,  Walter Howard ,  Richard Hutchings ,  Robert Kennedy ,  William Park ,  Yuntao Song ,  Bharat Trivedi

IPC分类号： A61K31/4178 ,  A61K31/4172 ,  C07D405/02 ,  C07D233/54

CPC分类号： C07D413/14 ,  A61K31/4172 ,  A61K31/4178 ,  A61K45/06 ,  C07D207/34 ,  C07D207/36 ,  C07D233/64 ,  C07D233/66 ,  C07D233/84 ,  C07D233/90 ,  C07D401/04 ,  C07D401/12 ,  C07D403/06 ,  C07D405/06 ,  C07D405/14 ,  C07D413/12 ,  A61K2300/00

摘要： Novel imidazoles and novel pyrroles are provided. Also provided are pharmaceutical compositions, methods of making and methods of using the compounds.

摘要翻译： 提供了新颖的咪唑和新颖的吡咯。 还提供了药物组合物，制备方法和使用该化合物的方法。

公开(公告)号：US20050253805A1

公开(公告)日：2005-11-17

申请号：US10845090

申请日：2004-05-14

申请人： Robert Kennedy

发明人： Robert Kennedy

IPC分类号： A47B91/00 ,  A47G29/00 ,  B43L15/00 ,  B65D19/00 ,  B68G5/00 ,  G05G1/58 ,  G06F3/039

CPC分类号： G06F3/039

摘要： A mechanical device to be cooperatively associated with a computer mouse to cause proper positioning of a user's hand and wrist when using the mouse. The device comprises a support surface to be positioned both longitudinally and height-wise with respect to the mouse so as to support the heel of the user's hand so that the user's hand and wrist are in an ergonomically correct position relative to each other during use of the mouse.

摘要翻译： 与计算机鼠标协作地关联的机械设备，以在使用鼠标时使用户的手和手腕适当定位。 该装置包括相对于鼠标纵向和高度定位的支撑表面，以便支撑使用者的手的跟部，使得使用者的手和手腕在使用期间相对于彼此处于人体工程学上正确的位置 鼠标。

公开(公告)号：US20050239857A1

公开(公告)日：2005-10-27

申请号：US11105288

申请日：2005-04-13

申请人： Gary Bolton ,  Daniel Bowles ,  David Boyles ,  Walter Howard ,  Richard Hutchings ,  Robert Kennedy ,  William Park ,  Toni-Jo Poel ,  Yuntao Song

发明人： Gary Bolton ,  Daniel Bowles ,  David Boyles ,  Walter Howard ,  Richard Hutchings ,  Robert Kennedy ,  William Park ,  Toni-Jo Poel ,  Yuntao Song

IPC分类号： A61K31/4172 ,  A61K31/4178 ,  A61K45/06 ,  C07D233/54 ,  C07D233/66 ,  C07D233/84 ,  C07D233/90 ,  C07D401/04 ,  C07D401/12 ,  C07D403/06 ,  C07D405/06 ,  C07D405/14 ,  C07D413/12 ,  C07D413/14 ,  C07D43/02

CPC分类号： C07D413/14 ,  A61K31/4172 ,  A61K31/4178 ,  A61K45/06 ,  C07D207/34 ,  C07D207/36 ,  C07D233/64 ,  C07D233/66 ,  C07D233/84 ,  C07D233/90 ,  C07D401/04 ,  C07D401/12 ,  C07D403/06 ,  C07D405/06 ,  C07D405/14 ,  C07D413/12 ,  A61K2300/00

摘要： Novel imidazoles are provided. The compounds are useful as HMGCo-A Reductase Inhibitor. Also provided are pharmaceutical compositions of the compounds. Methods of making and methods of using the compounds are also provided.

摘要翻译： 提供新的咪唑。 该化合物可用作HMGCo-A还原酶抑制剂。 还提供了化合物的药物组合物。 还提供了制备方法和使用该化合物的方法。

公开(公告)号：US06431652B1

公开(公告)日：2002-08-13

申请号：US09632043

申请日：2000-08-03

申请人： Robert Kennedy

发明人： Robert Kennedy

IPC分类号： B60R2100

CPC分类号： A44B11/2576

摘要： A seat belt restraint lock for children is disclosed, comprised of an improved female receptacle for a motor vehicle seat belt buckle. The female receptacle consists of a main body, of a generally rectangular, box configuration. A plate located on the top surface of the main body covers the traditional release button. The plate can only be opened by compressing two locking cylinders located on the lateral sides of the main body. The locking cylinders possess spring tension to ensure that a child cannot open the plate.

摘要翻译： 公开了一种用于儿童的座椅安全带约束锁，其包括用于机动车辆安全带扣的改进的母插座。 母插座由主体构成，具有大致矩形的箱形结构。 位于主体顶面的板覆盖传统的释放按钮。 板只能通过压缩位于主体侧面的两个锁定气缸来打开。 锁定缸具有弹簧张力，以确保孩子不能打开板。

公开(公告)号：US4828187A

公开(公告)日：1989-05-09

申请号：US70173

申请日：1987-07-06

申请人： Charles Davis ,  Robert Kennedy

发明人： Charles Davis ,  Robert Kennedy

IPC分类号： A47L9/14 ,  B01D46/02 ,  B01D50/00

CPC分类号： A47L9/1418 ,  B01D46/02 ,  B01D50/006 ,  B09B3/0066 ,  Y10S383/904

摘要： A separation chamber comprising a solid walled container vessel having a removably sealable top which contains an inlet port, the chamber having an inner perforated screen wall with an outlet port positioned in the side of the vessel extending into the interior of the perforated screen inner wall, a static vacuum line communicating with the outlet line and the annular space between the solid outer container wall and the inner perforated screen wall, and a self-contained disposal bag having an inlet sleeve and an outlet sleeve, said bag design to conform to the contours of the inner perforated screen wall and said inlet sleeve for extending through the inlet port and the outlet sleeve for extending outwardly through said outlet port, both sleeves having a means for securing the sleeves in a closed and secure position once the disposal bag has become filled with particulate matter, the bag, complying with disposal requirements, then being deposited in an appropriate disposal area.

摘要翻译： 一种分离室，包括具有可移除地密封的顶部的固体壁容器容器，该顶部容纳入口端口，所述腔室具有内部穿孔筛壁，所述内部穿孔筛壁具有位于所述容器侧面的延伸到所述穿孔筛内壁内部的出口， 与出口管线连通的静态真空管线和固体外部容器壁与内部穿孔筛壁之间的环形空间，以及具有入口套筒和出口套筒的独立的处理袋，所述袋子设计符合轮廓 所述内部穿孔筛壁和所述入口套筒用于延伸穿过所述入口端口和所述出口套筒，用于通过所述出口向外延伸，所述两个套筒具有用于在所述处理袋已经被填充时将所述套筒固定在封闭且安全的位置的装置 颗粒物，袋子，符合处置要求，然后存放在适当的处置区域。