Sciweavers

1485 search results - page 17 / 297
» Whole Program Paths
Sort
View
SCAM
2007
IEEE
14 years 1 months ago
On Temporal Path Conditions in Dependence Graphs
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
Andreas Lochbihler, Gregor Snelting
EDCC
2005
Springer
14 years 1 months ago
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
Nicky Williams, Bruno Marre, Patricia Mouy, Muriel...
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
14 years 7 days ago
A hybrid control approach to multi-robot coordinated path following
— The paper studies the coordinated path following problem, namely, steering a group of unicycles to a given path while achieving an inter-vehicle formation pattern. A novel hybr...
Ying Lan, Gangfeng Yan, Zhiyun Lin
ICPR
2008
IEEE
14 years 1 months ago
Weighted solution path algorithm of support vector regression for abnormal data
In the solution path algorithm of support vector regression, the penalty for violation of the required error is considered equally for every training sample, which means every tra...
Wen-tao Mao, Long-lei Dong, Gang Zhang