搜索页_ Tarjan’s algorithm

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(12)

ProQuest学位论文(1)

Elsevier电子期刊(10)

在“SpringerLink电子期刊”中，命中：12条，耗时：0.0349833 秒

在所有数据库中总计命中：23条

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

作者： Gavin Lowe

关键词：Depth ; first search ; Concurrent algorithm ; Strongly connected components ; Tarjan’s Algorithm ; Model checking

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2016

2. A competitive study of the pseudoflow algorithm for the minimum s᾿em>t cut problem in vision applications

作者： B. Fishbain ; Dorit S. Hochbaum ; Stefan Mueller

关键词：Network flow algorithms ; Maximum ; flow ; Minimum ; cut ; Segmentation ; Stereo vision ; Multi ; view reconstruction ; Surface fitting

刊名：Journal of Real-Time Image Processing

出版年：2016

3. On the Complexity of Monitoring Orchids Signatures

刊名：Lecture Notes in Computer Science

出版年：2016

4. Efficient Syntax-Driven Lumping of Differential Equations

刊名：Lecture Notes in Computer Science

出版年：2016

5. Constructing Minimal Coverability Sets

作者：Artturi Piipponen ; Antti Valmari

关键词：coverability set ; Tarjan’s algorithm ; antichain data structure

刊名：Lecture Notes in Computer Science

出版年：2013

6. Evaluating different strategies for integration testing of aspect-oriented programs

作者： Wesley Klewerton Guez Assun??o…

关键词：Aspect ; oriented software ; Integration testing strategies ; Evolutionary algorithms

刊名：Journal of the Brazilian Computer Society

出版年：2014

7. A note on the parametric maximum flow problem and some related reoptimization issues

作者： Maria Grazia Scutellà

关键词：Maximum flow ; Parametric arc capacity

刊名：Annals of Operations Research

出版年：2007

8.Truly On-the-Fly LTL Model Checking

作者：Moritz Hammer ; Alexander Knapp ; Stephan Merz

刊名：Lecture Notes in Computer Science

出版年：2005

9.Can a Shared-Memory Model Serve as a Bridging Model for Parallel Computation?