会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • VIRTUALIZED DATA STORAGE SYSTEM OPTIMIZATIONS
    • 虚拟化数据存储系统优化
    • US20100241654A1
    • 2010-09-23
    • US12730198
    • 2010-03-23
    • David Tze-Si WuHuy NguyenAdityashankar KiniDilip Kumar UppugandlaChinmaya Manjunath
    • David Tze-Si WuHuy NguyenAdityashankar KiniDilip Kumar UppugandlaChinmaya Manjunath
    • G06F17/30
    • G06F17/30233G06F3/0643G06F3/0653G06F3/067G06F12/0862G06F17/30132G06F2212/6024
    • Virtual storage arrays consolidate branch data storage at data centers connected via wide area networks. Virtual storage arrays appear to storage clients as local data storage; however, virtual storage arrays actually store data at the data center. Virtual storage arrays overcome bandwidth and latency limitations of the wide area network by predicting and prefetching storage blocks, which are then cached at the branch location. Virtual storage arrays leverage an understanding of the semantics and structure of high-level data structures associated with storage blocks to predict which storage blocks are likely to be requested by a storage client. Virtual storage arrays may use proximity-based, heuristic-based, and access time-based prefetching to predict high-level data structure entities that are likely to be accessed by the storage client. Virtual storage arrays then identify and prefetch storage blocks corresponding with the predicted high-level data structure entities.
    • 虚拟存储阵列将通过广域网连接的数据中心的分支数据存储整合。 虚拟存储阵列对存储客户端显示为本地数据存储; 然而,虚拟存储阵列实际上将数据存储在数据中心。 虚拟存储阵列通过预测和预取存储块来克服广域网的带宽和延迟限制,然后将存储块缓存在分支位置。 虚拟存储阵列利用对与存储块相关联的高级数据结构的语义和结构的理解,以预测存储客户端可能请求哪些存储块。 虚拟存储阵列可以使用基于邻近的,基于启发式的和基于时间的访问预取来预测存储客户机可能访问的高级数据结构实体。 然后,虚拟存储阵列识别并预取与预测的高级数据结构实体相对应的存储块。
    • 2. 发明授权
    • Virtualized data storage system optimizations
    • 虚拟化数据存储系统优化
    • US09348842B2
    • 2016-05-24
    • US12730198
    • 2010-03-23
    • David Tze-Si WuHuy NguyenAdityashankar KiniDilip Kumar UppugandlaChinmaya Manjunath
    • David Tze-Si WuHuy NguyenAdityashankar KiniDilip Kumar UppugandlaChinmaya Manjunath
    • G06F17/30G06F12/08G06F15/16G06F3/06
    • G06F17/30233G06F3/0643G06F3/0653G06F3/067G06F12/0862G06F17/30132G06F2212/6024
    • Virtual storage arrays consolidate branch data storage at data centers connected via wide area networks. Virtual storage arrays appear to storage clients as local data storage; however, virtual storage arrays actually store data at the data center. Virtual storage arrays overcome bandwidth and latency limitations of the wide area network by predicting and prefetching storage blocks, which are then cached at the branch location. Virtual storage arrays leverage an understanding of the semantics and structure of high-level data structures associated with storage blocks to predict which storage blocks are likely to be requested by a storage client. Virtual storage arrays may use proximity-based, heuristic-based, and access time-based prefetching to predict high-level data structure entities that are likely to be accessed by the storage client. Virtual storage arrays then identify and prefetch storage blocks corresponding with the predicted high-level data structure entities.
    • 虚拟存储阵列将通过广域网连接的数据中心的分支数据存储整合。 虚拟存储阵列对存储客户端显示为本地数据存储; 然而,虚拟存储阵列实际上将数据存储在数据中心。 虚拟存储阵列通过预测和预取存储块来克服广域网的带宽和延迟限制,然后将存储块缓存在分支位置。 虚拟存储阵列利用对与存储块相关联的高级数据结构的语义和结构的理解,以预测存储客户端可能请求哪些存储块。 虚拟存储阵列可以使用基于邻近的,基于启发式的和基于时间的访问预取来预测存储客户机可能访问的高级数据结构实体。 然后,虚拟存储阵列识别并预取与预测的高级数据结构实体相对应的存储块。
    • 6. 发明授权
    • Monitoring coverage for static modelling of an electronic device
    • 监控电子设备静态建模的覆盖范围
    • US09104826B2
    • 2015-08-11
    • US14078857
    • 2013-11-13
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • G06F17/50
    • G06F17/5045G06F17/5022G06F17/5027G06F17/505
    • A design verification system automatically identifies coverage of different constraints for a static model of an electronic device. The static model can be employed by a tool, referred to as a solver, that identifies whether the mathematical relationships of the static model can be reconciled, given a set of user-defined constraints that indicate a desired configuration, or range of configurations, of the electronic device. After a solution for a particular set of user-defined constraints has been identified, a constraints adjustment module can identify, based on coverage information generated by the solver, if other sets of user-defined constraints were implicitly solved by the solver. If such other sets were implicitly solved, the adjustments module can mark the sets as solved, such that they will omitted from constraints used for subsequent solutions of the solver.
    • 设计验证系统自动识别电子设备的静态模型的不同约束的覆盖。 静态模型可以被称为解算器的工具使用,该工具识别静态模型的数学关系是否可以协调,给定一组用户定义的约束,指示所需的配置或配置范围 电子设备。 在已经确定了用于特定用户定义的约束集合的解决方案之后,约束调整模块可以基于求解器生成的覆盖信息来识别其他用户定义的约束集合是否由解算器隐含地解决。 如果这些其他集合被隐含地解决,则调整模块可以将集合标记为已解决,使得它们将被从用于求解器的后续解的约束中省略。
    • 7. 发明申请
    • MONITORING COVERAGE FOR STATIC MODELLING OF AN ELECTRONIC DEVICE
    • 监控电子设备静态建模的覆盖
    • US20150135149A1
    • 2015-05-14
    • US14078857
    • 2013-11-13
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • Huy NguyenAlan J. CarlinHugo M. Cavalcanti
    • G06F17/50
    • G06F17/5045G06F17/5022G06F17/5027G06F17/505
    • A design verification system automatically identifies coverage of different constraints for a static model of an electronic device. The static model can be employed by a tool, referred to as a solver, that identifies whether the mathematical relationships of the static model can be reconciled, given a set of user-defined constraints that indicate a desired configuration, or range of configurations, of the electronic device. After a solution for a particular set of user-defined constraints has been identified, a constraints adjustment module can identify, based on coverage information generated by the solver, if other sets of user-defined constraints were implicitly solved by the solver. If such other sets were implicitly solved, the adjustments module can mark the sets as solved, such that they will omitted from constraints used for subsequent solutions of the solver.
    • 设计验证系统自动识别电子设备的静态模型的不同约束的覆盖。 静态模型可以被称为解算器的工具使用,该工具识别静态模型的数学关系是否可以协调,给定一组用户定义的约束,指示所需的配置或配置范围 电子设备。 在已经确定了用于特定用户定义的约束集合的解决方案之后,约束调整模块可以基于求解器生成的覆盖信息来识别其他用户定义的约束集合是否由解算器隐含地解决。 如果这些其他集合被隐含地解决,则调整模块可以将集合标记为已解决,使得它们将被从用于求解器的后续解的约束中省略。
    • 8. 发明申请
    • STATIC MODELLING OF AN ELECTRONIC DEVICE
    • 电子设备的静态建模
    • US20150134305A1
    • 2015-05-14
    • US14078853
    • 2013-11-13
    • Hugo M. CavalcantiAlan J. CarlinHuy Nguyen
    • Hugo M. CavalcantiAlan J. CarlinHuy Nguyen
    • G06F17/50
    • G06F17/504
    • A design verification system verifies an electronic device design based on a static model of the electronic device. The static model is an expression of the relationships between modules of the electronic device design and relationships between the behaviors of those modules that can be expressed as set of logical relationships. The static model does not rely on a time variable, but instead reflects a fixed set of relationships between the electronic device modules and between behaviors of the electronic device modules. The static model can be employed by a solver, that identifies whether or how the mathematical relationships of the static model can be reconciled, given a set of constraints. The solver results can be analyzed to identify whether there are errors in the device design, such as resource conflicts, failure of the design to achieve a desired configuration, and the like.
    • 设计验证系统基于电子设备的静态模型验证电子设备设计。 静态模型是电子设备设计模块之间的关系和可以表示为逻辑关系集合的那些模块的行为之间的关系的表达。 静态模型不依赖于时间变量,而是反映了电子设备模块之间和电子设备模块的行为之间的固定关系。 一个求解器可以使用静态模型,用于确定静态模型的数学关系是否或如何可以通过一组约束来协调。 可以分析求解器结果以识别设备设计中是否存在错误,例如资源冲突,设计失败以达到期望的配置等。