会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Apparatus and method for matching offers and requests for sharing of resources
    • 用于匹配资源和资源共享的请求的装置和方法
    • US09535748B2
    • 2017-01-03
    • US13370443
    • 2012-02-10
    • Ramesh ViswanathanAdiseshu HariYuh-Jye ChangT. V. Lakshman
    • Ramesh ViswanathanAdiseshu HariYuh-Jye ChangT. V. Lakshman
    • G06F15/173G06F9/50
    • G06F9/5005G06F9/50H04L67/10
    • A resource assignment capability is presented. A resource specification associated with a plurality of elements is received. The resource specification includes, for each of the elements, a resource request including an indication of a quantity of resources requested by the element and a resource offer including an indication of a quantity of resources offered by the element for use by one or more other elements. A resource assignment, including an indication of an association between the resources requests and the resource offers, is determined using a resource assignment process. The resource assignment process may be a greedy assignment process or a maximum flow resource assignment process. The maximum flow resource assignment process includes constructing a maximum flow resource graph based on the one or more resource specifications and applying a maximum flow process to the maximum flow resource graph to determine thereby the resource assignment.
    • 提出资源分配能力。 接收与多个元素相关联的资源规范。 所述资源规范对于每个元素包括资源请求,其包括由所述元素请求的资源的数量的指示和资源提供,所述资源提供包括由所述元素提供的资源的数量的指示以供一个或多个其他元素使用 。 使用资源分配处理来确定包括资源请求与资源提供之间的关联的指示的资源分配。 资源分配过程可以是贪心分配过程或最大流资源分配过程。 最大流资源分配过程包括基于一个或多个资源规范构建最大流资源图,并将最大流程应用于最大流资源图,从而确定资源分配。
    • 2. 发明申请
    • PERSONAL CLOUD COMPUTING AND VIRTUAL DISTRIBUTED CLOUD COMPUTING SYSTEM
    • 个人云计算和虚拟分布式云计算系统
    • US20130132948A1
    • 2013-05-23
    • US13300937
    • 2011-11-21
    • Adiseshu HariRamesh ViswanathanYuh-Jye ChangT.V. Lakshman
    • Adiseshu HariRamesh ViswanathanYuh-Jye ChangT.V. Lakshman
    • G06F9/455
    • G06F9/5072G06F9/45558G06F2009/45587
    • An exemplary cloud computing apparatus includes at least one compute device controller. A digital data storage of the controller includes a chief management virtual machine program for running a chief management virtual machine. A processor associated with the digital data storage is configured to run the chief management virtual machine. The chief management virtual machine is useful to control first user communications between at least one first user and a first virtual machine and to control second user communications between at least one second user and a second virtual machine. The first virtual machine and the second virtual machine are run by at least one compute resource distinct from the compute device controller. The chief management virtual machine is also useful for isolating the first user communications from the second user communications.
    • 示例性云计算装置包括至少一个计算设备控制器。 控制器的数字数据存储器包括用于运行主管理虚拟机的主管理虚拟机程序。 与数字数据存储器相关联的处理器被配置为运行主管理虚拟机。 主管理虚拟机对于控制至少一个第一用户和第一虚拟机之间的第一用户通信以及控制至少一个第二用户和第二虚拟机之间的第二用户通信是有用的。 第一虚拟机和第二虚拟机由与计算设备控制器不同的至少一个计算资源运行。 主管理虚拟机对于将第一用户通信与第二用户通信隔离也是有用的。
    • 4. 发明授权
    • Methods and apparatus for passive mid-stream monitoring of real-time properties
    • 被动中流监测实时性能的方法和装置
    • US07599688B2
    • 2009-10-06
    • US11288953
    • 2005-11-29
    • Lalita J. JagadeesanRamesh Viswanathan
    • Lalita J. JagadeesanRamesh Viswanathan
    • H04Q7/20
    • H04L43/00G06Q50/32H04L41/06H04L43/10H04L43/50
    • Methods and apparatus are provided for passive mid-stream monitoring of real-time properties. A passive mid-stream monitoring process is disclosed that determines whether a system is faulty. The passive mid-stream monitoring process obtains a real-time correctness property and a passively monitored mid-stream observation of the system. A timed correctness property, Aσ, is constructed from the passively monitored mid-stream observation. An intersection of the real-time correctness property and the timed correctness property is then determined to determine if the system is faulty. A passively testable determination process is also disclosed that determines whether a real-time correctness property for a system is passively testable. A determination is made as to whether (i) a set of all timed traces that are correct according to the real-time correctness property is timed prefix and timed suffix closed; and (ii) a system would satisfy the real-time correctness property if all timed-trace behaviors of the system would be included in the set.
    • 提供了方法和装置,用于实时性的被动中流监测。 公开了一种确定系统是否有故障的被动中流监视过程。 被动中流监测过程获得系统的实时正确性和被动监控的中流观测。 Asigma的定时正确性属性由被动监视的中流观察构建。 然后确定实时正确性属性和定时正确性属性的交集,以确定系统是否有故障。 还公开了被动测试的确定过程,其确定系统的实时正确性属性是否被动测试。 确定(i)根据实时正确性属性是否正确的一组所有定时迹线是定时前缀和定时后缀关闭; 并且(ii)如果系统的所有定时跟踪行为将被包括在该集合中,则系统将满足实时正确性属性。