利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

5 条记录 (耗时 0.011 秒)

    METHOD, APPARATUS and product FOR testing transactions
    1.
    发明申请
    METHOD, APPARATUS and product FOR testing transactions 有权
    方法，APPARATUS和产品FOR测试交易

    公开(公告)号：US20130124920A1

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

    申请号：US13295104

    申请日：2011-11-14

    申请人： Allon Adir ,  Dimtry Krestyashyn ,  Charles Meissner ,  Amir Nahir

    发明人： Allon Adir ,  Dimtry Krestyashyn ,  Charles Meissner ,  Amir Nahir

    IPC分类号： G06F11/28

    CPC分类号： G06F11/3612

    摘要： A computer-implemented method and apparatus, comprising: having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise two or more entities adapted to store values, and one or more entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit; storing symbols into an associated target memory location by each of the entities adapted to store values, wherein symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction; loading a multiplicity of private memory locations by the at least one entity adapted to load values, to obtain loaded values; and analyzing the loaded values for at least one invariant.

    摘要翻译： 一种计算机实现的方法和装置，包括：具有多个处理实体，所述多个处理实体在计算机化平台中基本同时运行，从而实现事务操作，其中所述多个处理实体包括适于存储值的两个或多个实体，以及适于 负载值，其中每个写入实体与存储器单元内的专用存储器位置相关联; 通过适于存储值的每个实体将符号存储到相关联的目标存储器位置，其中根据预定顺序存储符号，其中使用事务存储符号; 通过适于加载值的至少一个实体加载多个私有存储器位置，以获得加载的值; 并分析至少一个不变量的加载值。

    Method, apparatus and product for testing transactions
    2.
    发明授权
    Method, apparatus and product for testing transactions 有权
    用于测试交易的方法，设备和产品

    公开(公告)号：US08806270B2

    公开(公告)日：2014-08-12

    申请号：US13295104

    申请日：2011-11-14

    申请人： Allon Adir ,  Dimtry Krestyashyn ,  Charles Meissner ,  Amir Nahir

    发明人： Allon Adir ,  Dimtry Krestyashyn ,  Charles Meissner ,  Amir Nahir

    IPC分类号： G06F11/00

    CPC分类号： G06F11/3612

    摘要： A computer-implemented method and apparatus, comprising: having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise two or more entities adapted to store values, and one or more entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit; storing symbols into an associated target memory location by each of the entities adapted to store values, wherein symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction; loading a multiplicity of private memory locations by the at least one entity adapted to load values, to obtain loaded values; and analyzing the loaded values for at least one invariant.

    摘要翻译： 一种计算机实现的方法和装置，包括：具有多个处理实体，所述多个处理实体在计算机化平台中基本同时运行，从而实现事务操作，其中所述多个处理实体包括适于存储值的两个或多个实体，以及适于 负载值，其中每个写入实体与存储器单元内的专用存储器位置相关联; 通过适于存储值的每个实体将符号存储到相关联的目标存储器位置，其中符号根据预定顺序存储，其中使用事务存储符号; 通过适于加载值的至少一个实体加载多个私有存储器位置，以获得加载的值; 并分析至少一个不变量的加载值。