-
公开(公告)号：US20120159500A1
公开(公告)日：2012-06-21
申请号：US12971913
申请日：2010-12-17
IPC分类号： G06F9/46
CPC分类号： G06F11/3688
摘要： A method for validating outsourced processing of a priority queue includes configuring a verifier for independent, single-pass processing of priority queue operations that include insertion operations and extraction operations and priorities associated with each operation. The verifier may be configured to validate N operations using a memory space having a size that is proportional to the square root of N using an algorithm to buffer the operations as a series of R epochs. Extractions associated with each individual epoch may be monitored using arrays Y and Z. Insertions for the epoch k may monitored using arrays X and Z. The processing of the priority queue operations may be verified based on the equality or inequality of the arrays X, Y, and Z. Hashed values for the arrays may be used to test their equality to conserve storage requirements.
摘要翻译： 用于验证优先级队列的外包处理的方法包括配置用于对包括插入操作和提取操作以及与每个操作相关联的优先级的优先级队列操作进行独立，单程处理的验证器。 验证器可以被配置为使用具有与N的平方根成比例的大小的存储器空间来验证N个操作，使用算法将该操作缓冲为一系列R个时期。 可以使用阵列Y和Z来监视与每个单个时期相关联的抽取。可以使用阵列X和Z监视历元k的插入。可以基于阵列X，Y的相等或不等式来验证优先级队列操作的处理 ，并且Z.阵列的哈希值可以用于测试它们的相等性以节省存储要求。
-
公开(公告)号：US08612649B2
公开(公告)日：2013-12-17
申请号：US12971913
申请日：2010-12-17
IPC分类号： G06F13/12
CPC分类号： G06F11/3688
摘要： A method for validating outsourced processing of a priority queue includes configuring a verifier for independent, single-pass processing of priority queue operations that include insertion operations and extraction operations and priorities associated with each operation. The verifier may be configured to validate N operations using a memory space having a size that is proportional to the square root of N using an algorithm to buffer the operations as a series of R epochs. Extractions associated with each individual epoch may be monitored using arrays Y and Z. Insertions for the epoch k may monitored using arrays X and Z. The processing of the priority queue operations may be verified based on the equality or inequality of the arrays X, Y, and Z. Hashed values for the arrays may be used to test their equality to conserve storage requirements.
摘要翻译： 用于验证优先级队列的外包处理的方法包括配置用于对包括插入操作和提取操作以及与每个操作相关联的优先级的优先级队列操作进行独立，单程处理的验证器。 验证器可以被配置为使用具有与N的平方根成比例的大小的存储器空间来验证N个操作，使用算法将该操作缓冲为一系列R个时期。 可以使用阵列Y和Z来监视与每个单个时期相关联的抽取。可以使用阵列X和Z监视历元k的插入。可以基于阵列X，Y的相等或不等式来验证优先级队列操作的处理 ，并且Z.阵列的哈希值可以用于测试它们的相等性以节省存储要求。
-
3.发明申请公开(公告)号：US20110145223A1
公开(公告)日：2011-06-16
申请号：US12636544
申请日：2009-12-11
IPC分类号： G06F17/30
CPC分类号： G06F17/30536
摘要： Methods and apparatus for representing probabilistic data using a probabilistic histogram are disclosed. An example method comprises partitioning a plurality of ordered data items into a plurality of buckets, each of the data items capable of having a data value from a plurality of possible data values with a probability characterized by a respective individual probability distribution function (PDF), each bucket associated with a respective subset of the ordered data items bounded by a respective beginning data item and a respective ending data item, and determining a first representative PDF for a first bucket associated with a first subset of the ordered data items by partitioning the plurality of possible data values into a first plurality of representative data ranges and respective representative probabilities based on an error between the first representative PDF and a first plurality of individual PDFs characterizing the first subset of the ordered data items.
摘要翻译： 公开了使用概率直方图表示概率数据的方法和装置。 一种示例性方法包括将多个有序数据项划分成多个桶，每个数据项能够具有来自多个可能数据值的数据值，其特征在于各自的概率分布函数（PDF）， 每个桶与由相应的开始数据项和相应的结束数据项限定的有序数据项的相应子集相关联，并且通过分割多个数据项来确定与有序数据项的第一子集相关联的第一个桶的第一代表性PDF 基于第一代表性PDF和表征有序数据项的第一子集的第一多个单独PDF之间的误差，将可能的数据值转换成第一多个代表性数据范围和相应的代表概率。
-
4.发明授权Methods and apparatus for representing probabilistic data using a probabilistic histogram 失效使用概率直方图表示概率数据的方法和装置公开(公告)号：US08145669B2
公开(公告)日：2012-03-27
申请号：US12636544
申请日：2009-12-11
CPC分类号： G06F17/30536
摘要： Methods and apparatus for representing probabilistic data using a probabilistic histogram are disclosed. An example method comprises partitioning a plurality of ordered data items into a plurality of buckets, each of the data items capable of having a data value from a plurality of possible data values with a probability characterized by a respective individual probability distribution function (PDF), each bucket associated with a respective subset of the ordered data items bounded by a respective beginning data item and a respective ending data item, and determining a first representative PDF for a first bucket associated with a first subset of the ordered data items by partitioning the plurality of possible data values into a first plurality of representative data ranges and respective representative probabilities based on an error between the first representative PDF and a first plurality of individual PDFs characterizing the first subset of the ordered data items.
摘要翻译： 公开了使用概率直方图表示概率数据的方法和装置。 一种示例性方法包括将多个有序数据项划分成多个桶，每个数据项能够具有来自多个可能数据值的数据值，其特征在于各自的概率分布函数（PDF）， 每个桶与由相应的开始数据项和相应的结束数据项限定的有序数据项的相应子集相关联，并且通过分割多个数据项来确定与有序数据项的第一子集相关联的第一个桶的第一代表性PDF 基于第一代表性PDF和表征有序数据项的第一子集的第一多个单独PDF之间的误差，将可能的数据值转换成第一多个代表性数据范围和相应的代表概率。
-
-
-
搜索结果
4 条记录 (耗时 0.021 秒)
