...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal on Software Tools for Technology Transfer >Concurrent depth-first search algorithms based on Tarjan's Algorithm
【24h】

Concurrent depth-first search algorithms based on Tarjan's Algorithm

机译：基于Tarjan算法的并发深度优先搜索算法

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present concurrent algorithms, based on depth-first search, for three problems relevant to model checking: given a state graph, to find its strongly connected components, which states are in loops, and which states are in "lassos". Each algorithm is a variant of Tarjan's Algorithm. Our algorithms typically exhibit a three- or four-fold speed-up over the corresponding sequential algorithms on an eight-core machine.
机译：我们提出了基于深度优先搜索的并发算法，用于与模型检查有关的三个问题：给定一个状态图，以查找其强连接的组件，哪些状态处于循环状态以及哪些状态处于“ lassos”状态。每种算法都是Tarjan算法的一种变体。我们的算法通常比八核计算机上的相应顺序算法表现出三倍或四倍的加速。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号