利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

13 条记录 (耗时 0.042 秒)

    Semantic Matching of Federation Intents and Services Capabilities in a Planning System for Automatic Service Federation
    3.
    发明申请
    Semantic Matching of Federation Intents and Services Capabilities in a Planning System for Automatic Service Federation 失效
    自动服务联合会规划系统中联盟意图和服务能力的语义匹配

    公开(公告)号：US20110238795A1

    公开(公告)日：2011-09-29

    申请号：US12732441

    申请日：2010-03-26

    申请人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    发明人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    IPC分类号： G06F15/177

    CPC分类号： H04L67/2838

    摘要： A method, device, and computer program product are provided for automatically generating connectivity configuration between domains by a device. A rule is received by the device. The rule is read by the device to determine a first domain invoking a service, a second domain having the service, and connectivity requirements for the first and second domains. A first proxy and a second proxy are automatically determined to fulfill the rule by the device. The first proxy is automatically assigned to the first domain and the second proxy is automatically assigned to the second domain.

    摘要翻译： 提供了一种方法，设备和计算机程序产品，用于通过设备自动生成域之间的连接配置。 设备接收到一条规则。 该规则由设备读取以确定调用服务的第一域，具有该服务的第二域以及第一域和第二域的连接性要求。 自动确定第一代理和第二代理以实现设备的规则。 第一个代理自动分配给第一个域，第二个代理自动分配给第二个域。

    Semantic matching of federation intents and services capabilities in a planning system for automatic service federation
    4.
    发明授权
    Semantic matching of federation intents and services capabilities in a planning system for automatic service federation 失效
    自动服务联盟规划系统中联盟意图和服务能力的语义匹配

    公开(公告)号：US08250185B2

    公开(公告)日：2012-08-21

    申请号：US12732441

    申请日：2010-03-26

    申请人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    发明人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    IPC分类号： G06F15/177

    CPC分类号： H04L67/2838

    摘要： A method, device, and computer program product are provided for automatically generating connectivity configuration between domains by a device. A rule is received by the device. The rule is read by the device to determine a first domain invoking a service, a second domain having the service, and connectivity requirements for the first and second domains. A first proxy and a second proxy are automatically determined to fulfill the rule by the device. The first proxy is automatically assigned to the first domain and the second proxy is automatically assigned to the second domain.

    摘要翻译： 提供了一种方法，设备和计算机程序产品，用于通过设备自动生成域之间的连接配置。 设备接收到一条规则。 该规则由设备读取以确定调用服务的第一域，具有该服务的第二域以及第一域和第二域的连接性要求。 自动确定第一代理和第二代理以实现设备的规则。 第一个代理自动分配给第一个域，第二个代理自动分配给第二个域。

    PRACTICAL CONTENTION-FREE DISTRIBUTED WEIGHTED FAIR-SHARE SCHEDULER
    5.
    发明申请
    PRACTICAL CONTENTION-FREE DISTRIBUTED WEIGHTED FAIR-SHARE SCHEDULER 失效
    实用无限制分配加权公平分配器

    公开(公告)号：US20100211954A1

    公开(公告)日：2010-08-19

    申请号：US12372056

    申请日：2009-02-17

    申请人： Daniel N. Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice

    发明人： Daniel N. Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice

    IPC分类号： G06F9/46

    CPC分类号： G06F9/4881 ,  G06F2209/483

    摘要： Embodiments of the invention provide a method, system and computer program product for scheduling tasks in a computer system. In an embodiment, the method comprises receiving a multitude of sets of tasks, and placing the tasks in one or more task queues. The tasks are taken from the one or more task queues and placed in a priority queue according to a first rule. The tasks in the priority queue are assigned to a multitude of working threads according to a second rule based, in part, on share values given to the tasks. In an embodiment, the tasks of each of the sets are placed in a respective one task queue; and all of the tasks in the priority queue from each of the task queues, are assigned as a group to one of the working threads.

    摘要翻译： 本发明的实施例提供了一种用于在计算机系统中调度任务的方法，系统和计算机程序产品。 在一个实施例中，该方法包括接收多组任务，并将任务放置在一个或多个任务队列中。 这些任务取自一个或多个任务队列，并根据第一个规则放置在优先级队列中。 优先级队列中的任务根据第二规则分配给多个工作线程，部分基于给定给任务的共享值。 在一个实施例中，每个集合的任务被放置在相应的一个任务队列中; 并且来自每个任务队列的优先级队列中的所有任务被分配为一个工作线程。

    System and method for demonstrating the correctness of an execution trace in concurrent processing environments
    6.
    发明授权
    System and method for demonstrating the correctness of an execution trace in concurrent processing environments 失效
    用于演示并发处理环境中执行跟踪的正确性的系统和方法

    公开(公告)号：US08413122B2

    公开(公告)日：2013-04-02

    申请号：US12370048

    申请日：2009-02-12

    申请人： Kristijan Dragicevic ,  Luis Garces-Erice ,  Daniel Nikolaus Bauer

    发明人： Kristijan Dragicevic ,  Luis Garces-Erice ,  Daniel Nikolaus Bauer

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3636

    摘要： Since multi-core processors have become the standard architecture for general purpose machines, programmers are required to write software optimized for parallelism. Verification of correctness is an important issue for parallel code because of its complexity. There are still tools missing that provide verification for complex code, such as testing the execution of code provides. Consequently, described herein are systems and methods to evaluate the correctness of program traces. Furthermore, the systems and methods described herein do not demand excessive computational requirements and the size of the program trace being evaluated increases.

    摘要翻译： 由于多核处理器已成为通用机器的标准架构，因此程序员需要编写针对并行化优化的软件。 验证正确性是并行代码的一个重要问题，因为它的复杂性。 还有一些工具缺少提供复杂代码的验证，例如测试代码提供的执行。 因此，这里描述了评估程序轨迹的正确性的系统和方法。 此外，本文所述的系统和方法不要求过多的计算需求，并且正在评估的程序跟踪的大小增加。

    SYSTEM AND METHOD FOR DEMONSTRATING THE CORRECTNESS OF AN EXECUTION TRACE IN CONCURRENT PROCESSING ENVIRONMENTS
    7.
    发明申请
    SYSTEM AND METHOD FOR DEMONSTRATING THE CORRECTNESS OF AN EXECUTION TRACE IN CONCURRENT PROCESSING ENVIRONMENTS 失效
    用于演示相关处理环境中执行跟踪的正确性的系统和方法

    公开(公告)号：US20100205484A1

    公开(公告)日：2010-08-12

    申请号：US12370048

    申请日：2009-02-12

    申请人： Kristijan Dragicevic ,  Luis Garces-Erice ,  Daniel Nikolaus Bauer

    发明人： Kristijan Dragicevic ,  Luis Garces-Erice ,  Daniel Nikolaus Bauer

    IPC分类号： G06F11/28

    CPC分类号： G06F11/3636

    摘要： Since multi-core processors have become the standard architecture for general purpose machines, programmers are required to write software optimized for parallelism. Verification of correctness is an important issue for parallel code because of its complexity. There are still tools missing that provide verification for complex code, such as testing the execution of code provides. Consequently, described herein are systems and methods to evaluate the correctness of program traces. Furthermore, the systems and methods described herein do not demand excessive computational requirements and the size of the program trace being evaluated increases.

    摘要翻译： 由于多核处理器已成为通用机器的标准架构，因此程序员需要编写针对并行化优化的软件。 验证正确性是并行代码的一个重要问题，因为它的复杂性。 还有一些工具缺少提供复杂代码的验证，例如测试代码提供的执行。 因此，这里描述了评估程序轨迹的正确性的系统和方法。 此外，本文所述的系统和方法不要求过多的计算需求，并且正在评估的程序跟踪的大小增加。

    COMMUNICATION DEVICE
    8.
    发明申请
    COMMUNICATION DEVICE 审中-公开
    通信设备

    公开(公告)号：US20100135179A1

    公开(公告)日：2010-06-03

    申请号：US12624456

    申请日：2009-11-24

    申请人： Daniel Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    发明人： Daniel Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    IPC分类号： H04L12/26

    CPC分类号： G06F11/3423 ,  G06F9/485 ,  G06F9/5055 ,  G06F2201/81 ,  G06F2209/5011 ,  G06F2209/5018 ,  G06F2209/508

    摘要： A communication device, a computer program product, and a method for operating a communication device. The communication device has at least one protocol stack having at least two protocol modules, a number of threads for executing the protocol modules, the respective thread being blocked or active, the respective active thread being idle or busy, and a control unit having first means adapted to adjust the number of active threads by monitoring a ratio between a first time duration the active threads are busy and a second time duration the active threads are idle.

    摘要翻译： 通信设备，计算机程序产品和用于操作通信设备的方法。 通信设备具有至少一个具有至少两个协议模块的协议栈，用于执行协议模块的多个线程，各个线程被阻塞或活动，相应的主动线程空闲或占空，以及具有第一装置 适于通过监视活动线程占线的第一时间段与活动线程空闲的第二持续时间之间的比率来调整活动线程的数量。

    Deploying an operating system
    9.
    发明授权
    Deploying an operating system 有权
    部署操作系统

    公开(公告)号：US08996667B2

    公开(公告)日：2015-03-31

    申请号：US13083217

    申请日：2011-04-08

    申请人： David Clerc ,  Jacques Fontignie ,  Luis Garces-Erice ,  Claudio Marinelli ,  John G. Rooney

    发明人： David Clerc ,  Jacques Fontignie ,  Luis Garces-Erice ,  Claudio Marinelli ,  John G. Rooney

    IPC分类号： G06F15/177 ,  G06F9/445 ,  G06F9/44

    CPC分类号： G06F9/4416 ,  G06F8/63

    摘要： A method for deploying an operating system onto a client system includes, with the client system, receiving a bootloader image from an external device in response to a request for the bootloader image and installing the bootloader. The installed bootloader is configured to provide a streaming function from the client system to both a client repository of the client system and a remote data repository and selectively redirect requests for a block of data to one of: the client repository and the remote data repository. The method further includes, with the client system, during operation of a function of the operating system, making a request for a data block of the operating system, the data block including the function, and receiving the data block from one of: the client repository and the remote repository based on availability information.

    摘要翻译： 用于将操作系统部署到客户端系统上的方法包括：响应于对引导加载程序映像的请求并安装引导加载程序，客户机系统从外部设备接收引导加载程序映像。 安装的引导加载程序被配置为提供从客户端系统到客户端系统的客户端存储库和远程数据存储库的流式传输功能，并且将对数据块的请求选择性地重定向到客户端存储库和远程数据存储库之一。 该方法还包括与客户端系统在操作操作系统的功能期间，对操作系统的数据块进行请求，该数据块包括该功能，以及从以下之一接收数据块：客户端 存储库和基于可用性信息的远程存储库。

    METHOD FOR DATA DELIVERY IN A NETWORK
    10.
    发明申请
    METHOD FOR DATA DELIVERY IN A NETWORK 有权
    网络中数据传送的方法

    公开(公告)号：US20090064177A1

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

    申请号：US12192622

    申请日：2008-08-15

    申请人： Daniel N. Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    发明人： Daniel N. Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    IPC分类号： G06F9/46

    CPC分类号： H04L49/9063 ,  G06F9/544 ,  G06F9/545 ,  H04L69/08

    摘要： The present invention relates to a method of delivering data from a sender application to at least one receiver application that are arranged in a protocol stack comprising: underlying the sender application a sender messaging layer and a sender transport layer, and underlying the receiver application, a receiver messaging layer and a receiver transport layer, wherein the sender transport layer and the receiver transport layer are coupled by way of a network layer, the method comprising the steps of: incorporating a sender intermediate layer between the sender messaging layer and the sender transport layer and a receiver intermediate layer between the receiver messaging layer and the receiver transport layer; configuring the interface characteristics of the intermediate layers to be the same as for their corresponding transport layers; creating a sender queue in a non-volatile data storage component of the sender intermediate layer and a receiver queue in a non-volatile data storage component of the receiver intermediate layer, storing the data to be sent from the sender application to the receiver application in the sender queue, and transmitting the data stored in the sender queue to the receiver queue via the sender transport layer and the receiver transport layer.

    摘要翻译： 本发明涉及一种将数据从发送方应用程序传送到布置在协议栈中的至少一个接收方应用程序的方法，包括：在发送方应用程序下方，发送方消息层和发送方传输层，以及接收方应用程序的底层， 接收器消息层和接收机传输层，其中所述发送器传输层和所述接收机传输层通过网络层耦合，所述方法包括以下步骤：在所述发送者消息层和所述发送者传输层之间结合发送方中间层 以及接收机消息传送层和接收机传输层之间的接收机中间层; 将中间层的界面特性配置为与其相应的传输层相同; 在发送器中间层的非易失性数据存储部件中创建发送者队列，以及在接收器中间层的非易失性数据存储部件中接收队列，将要从发送方应用程序发送的数据存储到接收方应用程序 发送方队列，并通过发送方传输层和接收方传输层将存储在发送方队列中的数据发送到接收方队列。