会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 52. 发明授权
    • High quality logic verification stress test generation using two-stage randomization
    • 使用两阶段随机化的高质量逻辑验证压力测试生成
    • US08904236B2
    • 2014-12-02
    • US13354098
    • 2012-01-19
    • Shimon Ben-YehudaEli Bokshtein
    • Shimon Ben-YehudaEli Bokshtein
    • G06F11/00
    • G06F11/263
    • A novel and useful stress test generation mechanism that is operative to divide the task of generating test case programs (files) into a first randomization stage and a second randomization stage. The first randomization stage selects the scenario and the second randomization stage generates a test case in accordance with the chosen scenario. In other words, during stage 1, a test scenario (i.e. value-categories) is randomly determined (using the weights assigned to the value-categories within each scenario-dimension). In stage 2, a test is randomly generated for the chosen scenario. Thus, for each scenario-dimension, one or more values are generated randomly for the chosen value-category. Once the values for the value-categories are generated, an output test file for use by the logic verification is generated.
    • 一种新颖有用的压力测试生成机制,用于将生成测试用例程序(文件)的任务划分为第一个随机化阶段和第二个随机化阶段。 第一个随机化阶段选择场景,第二个随机化阶段根据所选场景生成测试用例。 换句话说,在阶段1期间,随机地确定测试场景(即,值类别)(使用分配给每个场景维度内的值类别的权重)。 在阶段2中,为所选场景随机生成一个测试。 因此,对于每个场景维度,为所选择的值类别随机生成一个或多个值。 一旦生成了值类别的值,就会生成一个由逻辑验证使用的输出测试文件。
    • 53. 发明授权
    • Method and apparatus for determining a similarity or dissimilarity measure
    • 用于确定相似性或不相似性度量的方法和装置
    • US08867825B2
    • 2014-10-21
    • US13558314
    • 2012-07-25
    • Ralf OstermannMarkus Schlosser
    • Ralf OstermannMarkus Schlosser
    • G06K9/00G06K9/34G06T7/00G06K9/62
    • G06K9/00986G06K9/342G06K9/6212G06K9/6215G06T7/593G06T2207/20076
    • A solution for determining a similarity or dissimilarity measure for a selected pixel of a first image relative to another selected pixel in a second image is described. The first image and the second image form a stereoscopic image pair or part of a multi-view image group. In a first step a first support window containing the selected pixel in the first image is determining. Then a second support window containing the selected pixel in the second image is determining. Subsequently one or more statistical properties of the selected pixel in the first image are calculated to define a probability distribution for the selected pixel in the first image. Finally, pixel similarity or dissimilarity between the first support window and the second support window is aggregated using only those pixels belonging to the probability distribution for the selected pixel in the first image with a probability above a defined minimum.
    • 描述了用于确定相对于第二图像中的另一选定像素的第一图像的选定像素的相似性或不相似度量度的解决方案。 第一图像和第二图像形成立体图像对或多视图图像组的一部分。 在第一步骤中,包含第一图像中的所选像素的第一支持窗口是确定。 然后,包含第二图像中的所选像素的第二支持窗口是确定。 随后,计算第一图像中所选像素的一个或多个统计特性以定义第一图像中所选像素的概率分布。 最后,第一支持窗口和第二支持窗口之间的像素相似性或不相似性仅使用属于第一图像中的所选像素的概率分布的那些像素聚合,其概率高于限定的最小值。
    • 54. 发明授权
    • Livelock prevention mechanism in a ring shaped interconnect utilizing round robin sampling
    • 使用循环抽样的环形互连中的锁定预防机制
    • US08850095B2
    • 2014-09-30
    • US13023141
    • 2011-02-08
    • Amit GolanderOmer HeymannNadav LevisonEric F. Robinson
    • Amit GolanderOmer HeymannNadav LevisonEric F. Robinson
    • G06F13/00G06F15/16
    • G06F13/00G06F13/1657G06F13/37
    • A novel and useful cost effective mechanism for detecting the livelock/starvation of transactions in a ring shaped interconnect that utilizes minimal logic resources. Rather than monitor all transactions concurrently in the ring, the mechanism monitors only a single transaction in the ring. A sampling point is located at a point in the ring which contains a set of N latches. If the monitored transaction is not being starved, it is released and the detection logic moves on the next candidate transaction in round robin fashion. If the monitored transaction passes the sampling point a threshold number of times, it is deemed to be starved and a starvation prevention handling procedure is activated. By traversing the entire ring a single transaction at a time, all starving transactions will eventually be detected with an upper limit on the detection time of O(N2).
    • 一种用于检测利用最小逻辑资源的环形互连中的事务的活动锁定/饥饿的新颖且有用的成本有效的机制。 而不是在环中同时监视所有事务,机制仅监视环中的单个事务。 采样点位于环中的一个包含一组N个锁存器的点上。 如果监控的事务没有被饿死,则它被释放,并且检测逻辑以循环方式在下一候选事务上移动。 如果被监控的事务通过采样点一个阈值次数,则认为它是饥饿的,并且激活了一个饥饿预防处理过程。 通过遍历整个环一次一个交易,所有的饥饿交易最终将被检测到O(N2)的检测时间的上限。
    • 59. 发明授权
    • Data exchange between protected memory cards
    • 受保护的存储卡之间的数据交换
    • US08700848B2
    • 2014-04-15
    • US12577288
    • 2009-10-12
    • Najib KoraichiSebastiaan Hoeksel
    • Najib KoraichiSebastiaan Hoeksel
    • G06F12/00
    • G06F21/335G06F21/606G06F2221/2141G06F2221/2153
    • There is provided a method for transferring data from a first memory card to a second memory card, each memory card allowing reading and/or writing access upon verification of an allocated credential. An exemplary method comprises providing the credentials allocated to the memory cards to a managing device. The exemplary method also comprises receiving in the managing device data from the first memory card and providing to the second memory card the credential allocated to the second memory card by the managing device. The exemplary method additionally comprises forwarding the data from the managing device to the second memory card and storing the data in the second memory card after having successfully verified said credential in the second memory card.
    • 提供了一种用于将数据从第一存储卡传送到第二存储卡的方法,每个存储卡允许在验证分配的凭证时读取和/或写入访问。 一种示例性方法包括将分配给存储卡的证书提供给管理设备。 该示例性方法还包括在管理设备中接收来自第一存储卡的数据,并向管理设备提供分配给第二存储卡的凭证给第二存储卡。 该示例性方法还包括将数据从管理设备转发到第二存储卡,并且在成功地验证了第二存储卡中的凭证之后将数据存储在第二存储卡中。
    • 60. 发明授权
    • Proxy communications on a social network
    • 在社交网络上进行代理通信
    • US08489695B2
    • 2013-07-16
    • US13043469
    • 2011-03-09
    • George JoyNalin KumarRavikant Cherukuri
    • George JoyNalin KumarRavikant Cherukuri
    • G06F15/16
    • H04L65/105G06Q50/01H04L61/30H04L67/28H04L67/306
    • The claimed subject matter provides a system and/or method for establishing proxy communications between users on a social network. An exemplary method includes creating an alias on a primary social network when a user logs in to the primary social network, wherein the alias comprises the user's identity on a secondary social network. The method further includes creating a cache comprising a map relating a second user's identity on the primary social network to the second user's identity on a secondary social network, wherein the creation of the map is based, at least in part, on the user and the second user being identified as friends in the secondary social network. Communications from the user to the second user are directed through the primary social network based, at least in part, on the map. The communications are formatted to appear as if they were sent from the user's account on the secondary social network.
    • 所要求保护的主题提供用于在社交网络上的用户之间建立代理通信的系统和/或方法。 示例性方法包括当用户登录到主要社交网络时在主社交网络上创建别名,其中所述别名包括次要社交网络上的用户身份。 该方法还包括创建一个高速缓存,其包括将主社交网络上的第二用户身份与次社会网络上的第二用户身份相关联的地图,其中,该映射的创建至少部分地基于用户和 在第二社交网络中将第二用户识别为朋友。 至少部分地,在地图上,从用户到第二用户的通信被引导通过主要社交网络。 通信格式被格式化,就像从次社会网络上的用户帐户发送一样。