专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

81. 发明授权

US5793887A Method and apparatus for alignment of images for template elimination 失效
标题翻译：用于校正图像以进行模板消除的方法和装置
公开(公告)号：US5793887A
公开(公告)日：1998-08-11
申请号：US481309
申请日：1995-06-30
申请人： Aviad Zlotnick
发明人： Aviad Zlotnick
IPC分类号： H04N1/38 , G06K9/32 , G06T11/60 , H04N1/411 , H04N1/413 , G06K9/62 , G06K9/00
CPC分类号： G06K9/32 , H04N1/4115
摘要： The present application concerns an improved method and apparatus for fine alignment for template elimination. This method involves the steps of dividing a filled-in template image and a reference template image into vertical bands of a given number w of columns of picture elements, employing the OCS algorithm to correlate lines in the vertical bands of the filled-in form, herein referred to as vertical input bands, to lines in the corresponding bands of the reference template image, and constructing a new input image in which each line is moved into its new position--this new image being used as input image, e.g. for template elimination.
摘要翻译： PCT No.PCT / EP93 / 03211 Sec。 371日期：1995年6月30日 102（e）1995年6月30日PCT 1993年11月16日PCT公布。 WO95 / 14348 PCT出版物日期1995年5月26日本申请涉及用于模板消除的精细对准的改进方法和装置。该方法包括以下步骤：使用OCS算法将填充的模板图像和参考模板图像划分成给定数量的列的图像元素的垂直条带，以使填充形式的垂直条带中的线相关，在这里称为垂直输入带，到参考模板图像的相应频带中的线，并且构建一个新的输入图像，其中每行被移动到其新位置 - 该新图像被用作输入图像，例如用于消除模板。

82. 发明授权

US09600347B2 Verifying synchronization coverage in logic code 有权
公开(公告)号：US09600347B2
公开(公告)日：2017-03-21
申请号：US12626654
申请日：2009-11-26
申请人： Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
发明人： Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
IPC分类号： G06F9/46 , G06F9/52 , G06F11/36
CPC分类号： G06F9/52 , G06F11/3688
摘要： A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.

83. 发明授权

US09262307B2 Modeling test space for system behavior with optional variable combinations 有权
标题翻译：使用可选的变量组合建模系统行为的测试空间
公开(公告)号：US09262307B2
公开(公告)日：2016-02-16
申请号：US13253089
申请日：2011-10-05
申请人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
发明人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
IPC分类号： G06F11/36 , G01R31/3183 , G01R31/3181
CPC分类号： G06F11/3676 , G01R31/3181 , G01R31/31813 , G01R31/3183 , G01R31/318314 , G01R31/31835 , G01R31/318357 , G01R31/318364 , G06F11/3684
摘要： A method executable on one or more processors for modeling a test space is provided. The method may include defining a coverage model including a set of variables. The method may also include selecting one or more variables within at least one subset of a plurality of subsets of the set of variables. The selection may be according to an interaction level requirement defined for at least one or more of the subsets, whereby the interaction level corresponds to a coverage of the test space that covers a plurality of possible combinations of the one or more variables at multiple levels. Furthermore, respective values for the one or more selected variables within the subset of the set of variables may be assigned. The method may also include one or more definitions for value combinations for said variables with assigned values.
摘要翻译：提供了在一个或多个处理器上可执行的用于建模测试空间的方法。该方法可以包括定义包括一组变量的覆盖模型。该方法还可以包括在该组变量集合的多个子集的至少一个子集内选择一个或多个变量。该选择可以根据为至少一个或多个子集定义的交互级别要求，由此交互级别对应于覆盖多个级别的一个或多个变量的多个可能组合的测试空间的覆盖。此外，可以分配变量集合的子集内的一个或多个选定变量的相应值。该方法还可以包括用于具有指定值的所述变量的值组合的一个或多个定义。

84. 发明授权

US08752023B2 System, method and program product for executing a debugger 失效
标题翻译：用于执行调试器的系统，方法和程序产品
公开(公告)号：US08752023B2
公开(公告)日：2014-06-10
申请号：US13571236
申请日：2012-08-09
申请人： Nir Golan , Aviad Zlotnick
发明人： Nir Golan , Aviad Zlotnick
IPC分类号： G06F9/44
CPC分类号： G06F11/362
摘要： A method for controlling a debugger, the method includes: determining whether to execute a certain breakpoint of the debugger in view of certain breakpoint conditional information and in view of at least one previous visit, during the execution of the debugger, to at least one other breakpoint of the debugger; and selectively executing the certain breakpoint in response to the determination.
摘要翻译：一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

85. 发明授权

US08572331B2 Method for reliably updating a data group in a read-before-write data replication environment using a comparison file 失效
标题翻译：使用比较文件可靠地更新写入前读写数据复制环境中的数据组的方法
公开(公告)号：US08572331B2
公开(公告)日：2013-10-29
申请号：US12261972
申请日：2008-10-30
申请人： Henry Esmond Butterworth , Kenneth Fairclough Day, III , Philip Matthew Doatmas , John Jay Wolfgang , Vitaly Zautner , Aviad Zlotnick
发明人： Henry Esmond Butterworth , Kenneth Fairclough Day, III , Philip Matthew Doatmas , John Jay Wolfgang , Vitaly Zautner , Aviad Zlotnick
IPC分类号： G06F12/00 , G06F13/00 , G06F13/28 , G06F7/00 , G06F17/00 , G06F11/00 , G06F11/16
CPC分类号： G06F11/08 , Y10S707/99952 , Y10S707/99953
摘要： A method is disclosed for reliably updating a data group in a read-before-write data replication environment. The method reliably updates the data group by receiving an updated data group sent from a first storage medium to a second storage medium, comparing the updated data group with a previous data group previously existing on the second storage medium and writing the updated data group to the second storage medium. The read-before-write and differencing method disclosed maintain reliability by storing multiple copies of changes made to the second storage medium during and after the write process.
摘要翻译：公开了一种用于可靠地更新写入前读数据复制环境中的数据组的方法。该方法通过接收从第一存储介质发送到第二存储介质的更新数据组来可靠地更新数据组，将更新的数据组与先前存在于第二存储介质上的先前数据组进行比较，并将更新的数据组写入第二存储介质。所公开的预写入和差分方法通过在写入过程中和之后存储对第二存储介质所做的更改的多个副本来保持可靠性。

86. 发明申请

US20130262017A1 METHOD AND APPARATUS FOR REUSING PARTS OF EXISTING TESTS 审中-公开
标题翻译：现有测试部分的方法和装置
公开(公告)号：US20130262017A1
公开(公告)日：2013-10-03
申请号：US13437945
申请日：2012-04-03
申请人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
发明人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
IPC分类号： G06F19/00
CPC分类号： G06F11/263
摘要： An apparatus, computer-implemented method performed by a computerized device and a computer program product, the method comprising: receiving an attribute collection related to a domain, the attribute collection comprising two or more attributes; receiving one or more restrictions, each restriction indicating one or more attributes, wherein a value for the attribute is to be selected from one existing test; receiving an existing test; and generating one or more new tests by setting values for the two or more attributes, wherein values for the one or more attributes of the one or more restrictions are selected from the existing test, and one or more values for one or more other attributes are not selected from the existing test.
摘要翻译：一种由计算机化设备和计算机程序产品执行的装置，计算机实现的方法，所述方法包括：接收与域相关的属性集合，所述属性集合包括两个或多个属性; 接收一个或多个限制，每个限制指示一个或多个属性，其中从一个现有测试中选择该属性的值; 接受现有测试; 以及通过设置两个或多个属性的值来生成一个或多个新测试，其中从现有测试中选择一个或多个限制的一个或多个属性的值，并且一个或多个其他属性的一个或多个值是没有从现有测试中选出。

87. 发明申请

US20130247062A1 VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE 审中-公开
标题翻译：逻辑代码中的验证同步覆盖
公开(公告)号：US20130247062A1
公开(公告)日：2013-09-19
申请号：US13610487
申请日：2012-09-11
申请人： Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
发明人： Rachel Tzoref , Eitan Daniel Farchi , Ehud Trainin , Aviad Zlotnick
IPC分类号： G06F9/52
CPC分类号： G06F9/52 , G06F11/3688
摘要： A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.
摘要翻译：提供了一种用于测量一个或多个并行执行的线程的同步覆盖的计算机实现的系统和方法。响应于确定第一线程已经执行了第一操作，该方法包括更新第一线程的标识符以包括与第一操作相关联的操作标识符; 将第一线程的标识符与由第一线程访问的一个或多个资源相关联; 以及通过生成所述一个或多个资源的关系数据结构来生成同步覆盖模型，其中资源至少与第一线程的标识符和第二线程标识符的标识符相关联，使得第二线程等待在访问所述资源之前的第一个线程。

88. 发明申请

US20130090911A1 Modeling Test Space for System Behavior Using Interchangeable Designations 审中-公开
标题翻译：使用可互换指定的系统行为建模测试空间
公开(公告)号：US20130090911A1
公开(公告)日：2013-04-11
申请号：US13253084
申请日：2011-10-05
申请人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
发明人： Itai Segall , Rachel Tzoref-Brill , Aviad Zlotnick
IPC分类号： G06F9/44 , G06F17/00
CPC分类号： G06F11/263
摘要： A method for modeling test space for verifying system behavior is provided. The method comprises defining a coverage model based on one or more variables, wherein respective value combinations for the variables are assigned to define a test space for a system under test, and zero or more constraints define restrictions on value combinations assigned to the variables, wherein the restrictions define whether said value combinations are valid; and designating, as interchangeable, relevant variables values in the coverage model.
摘要翻译：提供了一种用于建模测试空间以验证系统行为的方法。该方法包括基于一个或多个变量定义覆盖模型，其中分配变量的相应值组合以定义被测系统的测试空间，并且零个或更多个约束定义对分配给变量的值组合的限制，其中该限制定义所述值组合是否有效; 并在覆盖模型中指定可互换的相关变量值。

89. 发明申请

US20120304155A1 System, Method And Program Product For Executing A Debugger 失效
标题翻译：用于执行调试器的系统，方法和程序产品
公开(公告)号：US20120304155A1
公开(公告)日：2012-11-29
申请号：US13571236
申请日：2012-08-09
申请人： Nir Golan , Aviad Zlotnick
发明人： Nir Golan , Aviad Zlotnick
IPC分类号： G06F9/44
CPC分类号： G06F11/362
摘要： A method for controlling a debugger, the method includes: determining whether to execute a certain breakpoint of the debugger in view of certain breakpoint conditional information and in view of at least one previous visit, during the execution of the debugger, to at least one other breakpoint of the debugger; and selectively executing the certain breakpoint in response to the determination.
摘要翻译：一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

90. 发明授权

US08291388B2 System, method and program for executing a debugger 失效
标题翻译：用于执行调试器的系统，方法和程序
公开(公告)号：US08291388B2
公开(公告)日：2012-10-16
申请号：US11971776
申请日：2008-01-09
申请人： Nir Golan , Aviad Zlotnick
发明人： Nir Golan , Aviad Zlotnick
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/362
摘要： A method for controlling a debugger, the method includes: determining whether to execute a certain breakpoint of the debugger in view of certain breakpoint conditional information and in view of at least one previous visit, during the execution of the debugger, to at least one other breakpoint of the debugger; and selectively executing the certain breakpoint in response to the determination.
摘要翻译：一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式