多线程可达性
    4.
    发明公开

    公开(公告)号:CN101034417A

    公开(公告)日:2007-09-12

    申请号:CN200610087935.3

    申请日:2006-06-07

    CPC classification number: G06F17/5022 G06F17/504

    Abstract: 多线程可达性。在一个实施例中,用于多线程可达性分析的方法包括以下步骤:将所分析电路的状态空间划分为多个分区,并且将各个分区指配给线程以对指配给该线程的分区执行可达性分析。多个线程彼此并行地执行对所述多个分区的可达性分析。所述方法还包括以下步骤:使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态,以帮助所述多个分区中的第二分区的可达性分析。

    用二元决策图缓存查询结果

    公开(公告)号:CN101706798A

    公开(公告)日:2010-05-12

    申请号:CN200910221419.9

    申请日:2009-08-06

    CPC classification number: G06F17/30625

    Abstract: 本发明涉及用二元决策图缓存查询结果。构造多个第一二元决策图,各第一二元决策图表示多个词中的不同的一个。构造多个第二二元决策图,各第二二元决策图表示多个搜索查询中的不同的一个,每个搜索查询包括所述词中的一个或更多个词。构造多个第三二元决策图,各第三二元决策图表示多个网页中的不同的一个。构造多个第四二元决策图,各第四二元决策图表示多个搜索结果中的不同的一个,每个搜索结果包括一个或更多个网页。构造多个第五二元决策图,各第五二元决策图表示多个搜索元组中的不同的一个,各搜索元组包括一个不同的搜索查询和一个不同的搜索结果。构造第六二元决策图,该第六二元决策图表示这些搜索查询和搜索结果。

    多线程可达性
    7.
    发明授权

    公开(公告)号:CN100593169C

    公开(公告)日:2010-03-03

    申请号:CN200610087935.3

    申请日:2006-06-07

    CPC classification number: G06F17/5022 G06F17/504

    Abstract: 多线程可达性。在一个实施例中,用于多线程可达性分析的方法包括以下步骤:将所分析电路的状态空间划分为多个分区,并且将各个分区指配给线程以对指配给该线程的分区执行可达性分析。多个线程彼此并行地执行对所述多个分区的可达性分析。所述方法还包括以下步骤:使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态,以帮助所述多个分区中的第二分区的可达性分析。

Patent Agency Ranking