Frontiers of Computer Science

Please wait a minute...
For Selected: View Abstracts Toggle Thumbnails
Precise slicing of interprocedural concurrent programs
Xiaofang QI, Zhenliang JIANG
Front. Comput. Sci.    2017, 11 (6): 971-986.
Abstract   PDF (654KB)

Program slicing is an effective technique for analyzing concurrent programs. However, when a conventional closure-based slicing algorithmfor sequential programs is applied to a concurrent interprocedural program, the slice is usually imprecise owing to the intransitivity of interference dependence. Interference dependence arises when a statement uses a variable defined in another statement executed concurrently. In this study, we propose a global dependence analysis approach based on a program reachability graph, and construct a novel dependence graph calledmarking-statement dependence graph (MSDG), in which each vertex is a 2-tuple of program state and statement. In contrast to the conventional program dependence graph where the vertex is a statement, the dependence relation in MSDG is transitive. When traversing MSDG, a precise slice will be obtained. To enhance the slicing efficiency without loss of precision, our slicing algorithm adopts a hybrid strategy. The procedures containing interaction statements between threads are inlined and sliced by the slicing algorithm based on program reachability graphs while allowing other procedures to be sliced as sequential programs. We have implemented our algorithm and three other representative slicing algorithms, and conducted an empirical study on concurrent Java programs. The experimental results show that our algorithm computes more precise slices than the other algorithms. Using partial-order reduction techniques, which are effective for reducing the size of a program reachability graph without loss of precision, our algorithm is optimized, thereby improving its performance to some extent.

Reference | Supplementary Material | Related Articles | Metrics
A survey on Lyapunov-based methods for stability of linear time-delay systems
Jian SUN, Jie CHEN
Front. Comput. Sci.    2017, 11 (4): 555-567.
Abstract   PDF (314KB)

Recently, stability analysis of time-delay systems has received much attention. Rich results have been obtained on this topic using various approaches and techniques. Most of those results are based on Lyapunov stability theories. The purpose of this article is to give a broad overview of stability of linear time-delay systems with emphasis on the more recent progress. Methods and techniques for the choice of an appropriate Lyapunov functional and the estimation of the derivative of the Lyapunov functional are reported in this article, and special attention is paid to reduce the conservatism of stability conditions using as few as possible decision variables. Several future research directions on this topic are also discussed.

Reference | Related Articles | Metrics
Cited: Crossref(2) WebOfScience(2)
The role of prior in image based 3D modeling: a survey
Hao ZHU,Yongming NIE,Tao YUE,Xun CAO
Front. Comput. Sci.    2017, 11 (2): 175-191.
Abstract   PDF (950KB)

The prior knowledge is the significant supplement to image-based 3D modeling algorithms for refining the fragile consistency-based stereo. In this paper, we review the image-based 3D modeling problem according to prior categories, i.e., classical priors and specific priors. The classical priors including smoothness, silhouette and illumination are well studied for improving the accuracy and robustness of the 3D reconstruction. In recent years, various specific priors which take advantage of Manhattan rule, geometry template and trained category features have been proposed to enhance the modeling performance. The advantages and limitations of both kinds of priors are discussed and evaluated in the paper. Finally, we discuss the trend and challenges of the prior studies in the future.

Reference | Related Articles | Metrics
Rethinking big data in a networked world
Lionel M. NI,Haoyu TAN,Jiang XIAO
Front. Comput. Sci.    2016, 10 (6): 965-967.
Abstract   PDF (200KB)
Reference | Related Articles | Metrics
Page 1 of 4 33 records