利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

8 条记录 (耗时 0.015 秒)

    Method of data compression including compression of video data
    1.
    发明申请
    Method of data compression including compression of video data 失效
    数据压缩方法，包括压缩视频数据

    公开(公告)号：US20060002613A1

    公开(公告)日：2006-01-05

    申请号：US11170830

    申请日：2005-06-30

    申请人： Andrey Zurov ,  Sergey Novikov ,  Alexander Tanchenko

    发明人： Andrey Zurov ,  Sergey Novikov ,  Alexander Tanchenko

    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数组用于初始化数组集合（解位数组），它们定义了创建输出数据流的顺序。 输出数据流包含经编码的有效图和适用于连续量化和熵编码的（有效）非零子带分解系数的值。

    Evaluation of Software based on Review History
    3.
    发明申请
    Evaluation of Software based on Review History 有权
    基于评审历史的软件评估

    公开(公告)号：US20090249299A1

    公开(公告)日：2009-10-01

    申请号：US12058779

    申请日：2008-03-31

    申请人： Eitan Daniel Farchi ,  Sergey Novikov ,  Orna Raz-Pelleg

    发明人： Eitan Daniel Farchi ,  Sergey Novikov ,  Orna Raz-Pelleg

    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.

    摘要翻译： 用于软件处理的计算机实现的方法包括获得与在软件代码中的相应位置进行的评论有关的审查信息。 处理审查信息以便分配至少一些位置相应的优先级，其指示位置包含程序故障的相应可能性。 根据分配的优先级，经由输出设备将至少一些位置呈现给用户。 在另一公开的方法中，基于审查信息，检测到软件代码中的给定位置是至关重要的。 检测到的关键位置向用户指示。

    AUTOMATIC PARITY CHECKING IDENTIFICATION
    4.
    发明申请
    AUTOMATIC PARITY CHECKING IDENTIFICATION 有权
    自动检测标识

    公开(公告)号：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.

    摘要翻译： 一种用于自动奇偶校验识别的方法，装置和计算机程序产品。 该方法包括：在电路设计中自动识别奇偶校验信号，其中奇偶校验信号被定义为一组支持信号的奇偶校验函数，其中自动识别包括：获得候选奇偶校验信号和相应的一组候选支持信号 ; 并且验证相应的候选支持信号组中的任一个中的任何一个中的位翻转引起对候选奇偶校验信号的值的位翻转; 其中所述方法还包括报告自动识别的奇偶校验信号。

    Evaluation of software based on review history
    6.
    发明授权
    Evaluation of software based on review history 有权
    基于审查历史评估软件

    公开(公告)号：US08423960B2

    公开(公告)日：2013-04-16

    申请号：US12058779

    申请日：2008-03-31

    申请人： Eitan Daniel Farchi ,  Sergey Novikov ,  Orna Raz-Pelleg

    发明人： Eitan Daniel Farchi ,  Sergey Novikov ,  Orna Raz-Pelleg

    IPC分类号： G06F9/44 ,  G06F9/45

    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.

    摘要翻译： 一种用于软件处理的方法，其中基于与在软件代码中的各个位置进行的评论相关的审查信息，为软件位置分配优先级，指示各个位置包含程序故障的可能性。 在一些方法中，基于优先级，检测到软件位置是至关重要的。

    Using cross-entropy to test executable logic code
    7.
    发明授权
    Using cross-entropy to test executable logic code 失效
    使用交叉熵测试可执行逻辑代码

    公开(公告)号：US08056059B2

    公开(公告)日：2011-11-08

    申请号：US11873447

    申请日：2007-10-17

    申请人： Hana Chockler ,  Eitan Daniel Farchi ,  Benyamin Godlin ,  Sergey Novikov

    发明人： Hana Chockler ,  Eitan Daniel Farchi ,  Benyamin Godlin ,  Sergey Novikov

    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.

    摘要翻译： 用于检测可执行逻辑代码中的罕见事件的发生的方法包括分配一个或多个判定路径的遍历机会的第一概率，其中每个路径连接由逻辑代码的执行定义的两个决定点。 作为执行逻辑代码的结果，评估遍历的决策路径以确定所述遍历是否符合预定义的性能函数。 性能函数定义了根据逻辑代码的执行实现的目标。 第二概率被分配给遍历所述一个或多个判决路径中的至少一个的机会，以增加在随后的执行逻辑代码中以更符合预定义性能的方式遍历一个或多个判定路径的可能性 功能。