利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

17 条记录 (耗时 0.035 秒)

    Computer system and method for verifying functional equivalence
    11.
    发明申请
    Computer system and method for verifying functional equivalence 审中-公开
    用于验证功能等同性的计算机系统和方法

    公开(公告)号：US20060041873A1

    公开(公告)日：2006-02-23

    申请号：US10922076

    申请日：2004-08-19

    申请人： Vinod Pandarinathan ,  Richard Livingston ,  VanniaRajan Chellappan ,  James Lambert ,  Balachander Chandrasekaran

    发明人： Vinod Pandarinathan ,  Richard Livingston ,  VanniaRajan Chellappan ,  James Lambert ,  Balachander Chandrasekaran

    IPC分类号： G06F9/45

    CPC分类号： G06F8/71

    摘要： A computer system and method are provided for the verification of functional equivalence between at least two source codes residing on at least one computer. A comparison is carried out between a source code and a modified version of the source code. The comparison is performed to determine the functional equivalence between the two source codes. The functional equivalence is determined on the basis of type, scope and linkage of identifiers of the source codes. The identifiers are extracted from the assembly codes of the source codes.

    摘要翻译： 提供了一种用于验证位于至少一台计算机上的至少两个源代码之间的功能等同性的计算机系统和方法。 在源代码和源代码的修改版本之间进行比较。 执行比较以确定两个源代码之间的功能等效性。 基于源代码的标识符的类型，范围和联系来确定功能等价性。 从源代码的汇编代码中提取标识符。

    Method and system for optimizing source code
    14.
    发明申请
    Method and system for optimizing source code 有权
    优化源代码的方法和系统

    公开(公告)号：US20070094650A1

    公开(公告)日：2007-04-26

    申请号：US11254268

    申请日：2005-10-20

    申请人： Marcos Klein ,  Richard Livingston ,  Vinod Pandarinathan ,  Venkata Athreyapurapu

    发明人： Marcos Klein ,  Richard Livingston ,  Vinod Pandarinathan ,  Venkata Athreyapurapu

    IPC分类号： G06F9/45

    CPC分类号： G06F8/433

    摘要： Methods, systems and apparatus for optimizing a source code are provided. Dependencies for each header file and source code file in the source code are identified for all possible compilation contexts. Certain dependencies can be classified into complete types and incomplete types or named references. Further, these incomplete type dependencies are removed by adding forward declarations where appropriate.

    摘要翻译： 提供了用于优化源代码的方法，系统和装置。 对于所有可能的编译上下文，都会标识源代码中每个头文件和源代码文件的依赖关系。 某些依赖关系可以分为完整类型和不完整类型或命名引用。 此外，通过在适当的情况下添加前向声明来删除这些不完全类型的依赖关系。

    Adaptive timer for LLC type 2 reliable transport in a computer network
    15.
    发明授权
    Adaptive timer for LLC type 2 reliable transport in a computer network 有权
    在计算机网络中LLC 2型可靠传输的自适应定时器

    公开(公告)号：US06401127B1

    公开(公告)日：2002-06-04

    申请号：US09304395

    申请日：1999-05-04

    申请人： Alan Lei ,  Nitin Karkhanis ,  Richard Livingston ,  Uwe Sellentin

    发明人： Alan Lei ,  Nitin Karkhanis ,  Richard Livingston ,  Uwe Sellentin

    IPC分类号： G06F1300

    CPC分类号： H04L1/188 ,  H04L1/0018 ,  H04L1/1825 ,  H04L45/00 ,  H04L45/26 ,  H04L69/324

    摘要： A method for computing an ACK timing interval for an ACK timer in a protocol layer LLC type 2 session first measures a time interval between transmission of a frame by a source computer joined to a to a destination computer by an intermediate link, and receipt of a corresponding acknowledgment frame by the source computer from the destination computer. The two events at the source computer, starting a timer upon commencement of transmission of a frame or sequence of frames and the later reception of an acknowledge message indicating receipt of those frames, permits calculation of a measured time interval. The measured time interval is used to compute the bandwidth of the intermediate link. The required ACK timing interval for the ACK timer is then computed in response to the bandwidth, the number of bytes transmitted after starting the ACK timer, and the return time for an acknowledgment message. The ACK timing interval may be recomputed after every transmission of frames and receipt of a corresponding ACK message. The ACK timing interval is thereby dynamically adjusted to conditions on the intermediate link, including natural bandwidth for either a slow or fast link, congestion due to other traffic on the link, etc. The dynamic adjustment of the ACK timing interval prevents inadvertent timeouts of the ACK timer, and so prevents inadvertent breaking of the LLC type 2 reliable transport connection.

    摘要翻译： 用于计算协议层LLC类型2会话中的ACK定时器的ACK定时间隔的方法首先测量由中间链路连接到目的地计算机的源计算机发送帧之间的时间间隔，以及接收到 来自目的地计算机的源计算机的相应确认帧。 在源计算机上的两个事件，在帧或帧序列的传输开始时启动定时器以及稍后接收到指示接收到这些帧的确认消息，允许计算测量的时间间隔。 测量的时间间隔用于计算中间链路的带宽。 然后响应于带宽，启动ACK定时器之后发送的字节数以及确认消息的返回时间来计算ACK定时器所需的ACK定时间隔。 可以在每次传输帧和接收到相应的ACK消息之后重新计算ACK定时间隔。 因此，ACK定时间隔被动态地调整到中间链路上的条件，包括慢链路或快速链路的自然带宽，由于链路上的其他业务造成的拥塞等.AH定时间隔的动态调整防止了无意中超时 ACK定时器，因此防止了LLC 2型可靠传输连接的无意中断。

    Method and system for validating a CLI/configlet on a given image
    16.
    发明申请
    Method and system for validating a CLI/configlet on a given image 有权
    在给定图像上验证CLI / configlet的方法和系统

    公开(公告)号：US20060242403A1

    公开(公告)日：2006-10-26

    申请号：US11110246

    申请日：2005-04-20

    申请人： Praveen Joshi ,  Richard Livingston ,  Balachander Chandrasekaran ,  Kannan Saravanan

    发明人： Praveen Joshi ,  Richard Livingston ,  Balachander Chandrasekaran ,  Kannan Saravanan

    IPC分类号： H04L9/00

    CPC分类号： G06F8/427

    摘要： A method and system for validating a Command Line Interface (CLI) configlet on an image is provided. The method includes creating a parse graph using a plurality of self-describing data constructs, identifying a plurality of parse chain data constructs in the parse graph, deriving at least one CLI/configlet from the image file based on the plurality of self-describing data constructs; and comparing the at least one CLI/configlet derived from the image file with a plurality of CLIs/configlets.

    摘要翻译： 提供了一种用于验证图像上的命令行界面（CLI）configlet的方法和系统。 该方法包括使用多个自描述数据结构创建解析图，识别分析图中的多个解析链数据结构，基于多个自描述数据从图像文件导出至少一个CLI /配置 结构体; 以及将从所述图像文件导出的所述至少一个CLI / configlet与多个CLI /配置文件进行比较。

    Duplicate ignore delay timer for ARP like protocol messages using are protocol
    17.
    发明授权
    Duplicate ignore delay timer for ARP like protocol messages using are protocol 有权
    ARP协议消息使用协议的重复忽略延迟定时器

    公开(公告)号：US06556574B1

    公开(公告)日：2003-04-29

    申请号：US09283124

    申请日：1999-03-31

    申请人： Bernie Paul Pearce ,  Nitin Karkhanis ,  Richard Livingston

    发明人： Bernie Paul Pearce ,  Nitin Karkhanis ,  Richard Livingston

    IPC分类号： H04L1256

    CPC分类号： H04L45/26 ,  H04L1/16 ,  H04L12/462 ,  H04L45/34

    摘要： A router transmits an ARP Explorer request packet onto a subnetwork in order to learn the route (RIF information) from the router to an end station. The end station receives a plurality of ARP Explorer request packets from the router because of multiple paths in an SRB network, and the end station transmits an ARP Explorer response packet in response to each ARP Explorer request packet received. The invention adopts the path of the first ARP Explorer response packet received by the router from the end station for the RIF information from the router to the end station, and uses a “duplicate ignore” timer in order to avoid freezing this route into the router tables. The timer begins running upon receipt of the first ARP Explorer response packet, and expires after an “update time interval”. No further ARP Explorer response packet is processed until after expiration of the update time interval.

    摘要翻译： 路由器将ARP Explorer请求包发送到子网，以便学习从路由器到终端站的路由（RIF信息）。 终端站由于SRB网络中的多个路径而从路由器接收到多个ARP Explorer请求分组，并且终端站响应于接收到的每个ARP Explorer请求分组而发送ARP Explorer响应分组。 本发明采用路由器从终端接收到的第一个ARP Explorer响应报文，从路由器到终端的RIF信息，并使用“重复忽略”定时器，以避免将该路由冻结到路由器 表。 定时器在收到第一个ARP Explorer响应数据包后开始运行，并在“更新时间间隔”后过期。 在更新时间间隔到期之前，不再处理进一步的ARP Explorer响应数据包。