-
公开(公告)号：US20090249299A1
公开(公告)日：2009-10-01
申请号：US12058779
申请日：2008-03-31
IPC分类号： G06F11/36
CPC分类号： G06F11/3676
摘要： A computer-implemented method for software processing includes obtaining review information pertaining to reviews that have been conducted on respective locations in software code. The review information is processed so as to assign to at least some of the locations respective priorities, which are indicative of respective likelihoods that the locations contain program faults. The at least some of the locations are presented to a user via an output device in accordance with the assigned priorities.In another disclosed method, a given location in the software code is detected as critical based on the review information. The detected critical location is indicated to the user.
摘要翻译： 用于软件处理的计算机实现的方法包括获得与在软件代码中的相应位置进行的评论有关的审查信息。 处理审查信息以便分配至少一些位置相应的优先级，其指示位置包含程序故障的相应可能性。 根据分配的优先级，经由输出设备将至少一些位置呈现给用户。 在另一公开的方法中，基于审查信息，检测到软件代码中的给定位置是至关重要的。 检测到的关键位置向用户指示。
-
公开(公告)号：US20060002613A1
公开(公告)日：2006-01-05
申请号：US11170830
申请日：2005-06-30
IPC分类号： G06K9/36
CPC分类号： H04N19/61 , H04N19/63 , H04N19/647
摘要： A data processing system includes a subband decomposition of a source signal by encoding of the significant pyramid-type subband representation. While encoding process, M-array is used for initialization of set of arrays Si (arrays of solution bits), which define the order of creating output data streams. Output data streams contain an encoded significance map and values of (significant) non-zero subband decomposition coefficients adapted for successive quantization and entropy encoding.
摘要翻译： 数据处理系统包括通过对重要金字塔型子带表示进行编码的源信号的子带分解。 在编码过程中，M数组用于初始化数组集合（解位数组），它们定义了创建输出数据流的顺序。 输出数据流包含经编码的有效图和适用于连续量化和熵编码的（有效）非零子带分解系数的值。
-
公开(公告)号：US08448141B2
公开(公告)日：2013-05-21
申请号：US12058774
申请日：2008-03-31
CPC分类号： G06F8/70 , G06F11/3676 , G06F11/3696
摘要： A method for software processing includes obtaining change information, which records changes that have been performed in respective locations in software code. The change information is processed so as to assign to at least some of the locations respective priorities, which are indicative of respective likelihoods that the locations contain program faults. The at least some of the locations are presented to a user in accordance with the assigned priorities.
摘要翻译： 一种用于软件处理的方法包括获取改变信息，该信息记录在软件代码中各个位置已经执行的改变。 对变更信息进行处理，以分配至少一些位置各自的优先级，这些位置指示位置包含程序故障的相应可能性。 根据分配的优先级将至少一些位置呈现给用户。
-
公开(公告)号：US08423960B2
公开(公告)日：2013-04-16
申请号：US12058779
申请日：2008-03-31
CPC分类号： G06F11/3676
摘要： A method for software processing in which software locations are assigned priorities indicative of respective likelihoods that the locations contain program faults, based on review information pertaining to reviews that have been conducted on respective locations in software code. In some methods, a software location is detected to be critical based on the priorities.
摘要翻译： 一种用于软件处理的方法，其中基于与在软件代码中的各个位置进行的评论相关的审查信息，为软件位置分配优先级，指示各个位置包含程序故障的可能性。 在一些方法中，基于优先级，检测到软件位置是至关重要的。
-
公开(公告)号：US08056059B2
公开(公告)日：2011-11-08
申请号：US11873447
申请日：2007-10-17
IPC分类号： G06F9/44 , G06F17/00 , G06F15/173
CPC分类号： G06F11/3604 , G06F11/3676
摘要： A method for detecting the occurrence of rare events in an executable logic code includes assigning a first probability of a chance of traversal of one or more decision paths, in which each path connects two decision points defined by execution of the logic code. As a result of execution of the logic code, the decision paths traversed are evaluated to determine whether said traversal conforms to a predefined performance function. The performance function defines a goal to be achieved pursuant to the execution of the logic code. A second probability is assigned to the chance of traversal of at least one of said one or more decision paths to increase the likelihood that the one or more decision paths are traversed in a subsequent execution of the logic code in a closer conformity with the predefined performance function.
摘要翻译： 用于检测可执行逻辑代码中的罕见事件的发生的方法包括分配一个或多个判定路径的遍历机会的第一概率，其中每个路径连接由逻辑代码的执行定义的两个决定点。 作为执行逻辑代码的结果，评估遍历的决策路径以确定所述遍历是否符合预定义的性能函数。 性能函数定义了根据逻辑代码的执行实现的目标。 第二概率被分配给遍历所述一个或多个判决路径中的至少一个的机会，以增加在随后的执行逻辑代码中以更符合预定义性能的方式遍历一个或多个判定路径的可能性 功能。
-
公开(公告)号：US20060002469A1
公开(公告)日：2006-01-05
申请号：US11170831
申请日：2005-06-30
CPC分类号： H04N19/107 , H04N19/137 , H04N19/172 , H04N19/647
摘要： A method of video data transmitting by means of video data reconstruction on the receiving end of the communication channel per time unit, based not only on the data, transmitted directly via the channel, but on all previously transmitted, decoded and stored video data.
摘要翻译： 不仅基于直接经由信道发送的数据，而且基于所有先前发送的解码和存储的视频数据，通过在每个时间单位的通信信道的接收端上的视频数据重构来进行视频数据发送的方法。
-
公开(公告)号：US20090249298A1
公开(公告)日：2009-10-01
申请号：US12058774
申请日：2008-03-31
IPC分类号： G06F9/44
CPC分类号： G06F8/70 , G06F11/3676 , G06F11/3696
摘要： A method for software processing includes obtaining change information, which records changes that have been performed in respective locations in software code. The change information is processed so as to assign to at least some of the locations respective priorities, which are indicative of respective likelihoods that the locations contain program faults. The at least some of the locations are presented to a user in accordance with the assigned priorities.
摘要翻译： 一种用于软件处理的方法包括获取改变信息，该信息记录在软件代码中各个位置已经执行的改变。 对变更信息进行处理，以分配至少一些位置各自的优先级，这些位置指示位置包含程序故障的相应可能性。 根据分配的优先级将至少一些位置呈现给用户。
-
公开(公告)号：US20090106737A1
公开(公告)日：2009-04-23
申请号：US11873447
申请日：2007-10-17
IPC分类号： G06F9/44
CPC分类号： G06F11/3604 , G06F11/3676
摘要： A method for detecting the occurrence of rare events in an executable logic code includes assigning a first probability of a chance of traversal of one or more decision paths, in which each path connects two decision points defined by execution of the logic code. As a result of execution of the logic code, the decision paths traversed are evaluated to determine whether said traversal conforms to a predefined performance function. The performance function defines a goal to be achieved pursuant to the execution of the logic code. A second probability is assigned to the chance of traversal of at least one of said one or more decision paths to increase the likelihood that the one or more decision paths are traversed in a subsequent execution of the logic code in a closer conformity with the predefined performance function.
摘要翻译： 用于检测可执行逻辑代码中的罕见事件的发生的方法包括分配一个或多个判定路径的遍历机会的第一概率，其中每个路径连接由逻辑代码的执行定义的两个决定点。 作为执行逻辑代码的结果，评估遍历的决策路径以确定所述遍历是否符合预定义的性能函数。 性能函数定义了根据逻辑代码的执行实现的目标。 第二概率被分配给遍历所述一个或多个判决路径中的至少一个的机会，以增加在随后的执行逻辑代码中以更符合预定义性能的方式遍历一个或多个判定路径的可能性 功能。
-
公开(公告)号：US20130268906A1
公开(公告)日：2013-10-10
申请号：US13439885
申请日：2012-04-05
申请人： Eli Arbel , Sergey Novikov , Karen Yorav
发明人： Eli Arbel , Sergey Novikov , Karen Yorav
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method, apparatus and computer program product for automatic parity check identification. The method comprising: automatically identifying a parity signal in a circuit design, wherein the parity signal is defined as a parity function of a set of support signals, wherein the automatic identification comprises: obtaining a candidate parity signal and a corresponding set of candidate support signals; and verifying that a bit flip in exactly one of any of the corresponding candidate set of support signals induces a bit flip on a value of the candidate parity signal; wherein said method further comprises reporting the automatically identified parity signal.
摘要翻译： 一种用于自动奇偶校验识别的方法，装置和计算机程序产品。 该方法包括：在电路设计中自动识别奇偶校验信号，其中奇偶校验信号被定义为一组支持信号的奇偶校验函数，其中自动识别包括：获得候选奇偶校验信号和相应的一组候选支持信号 ; 并且验证相应的候选支持信号组中的任一个中的任何一个中的位翻转引起对候选奇偶校验信号的值的位翻转; 其中所述方法还包括报告自动识别的奇偶校验信号。
-
-
-
-
-
-
-
-
搜索结果
9 条记录 (耗时 0.014 秒)