Frontiers of Computer Science

Please wait a minute...
For Selected: View Abstracts Toggle Thumbnails
Robust artificial intelligence and robust human organizations
Front. Comput. Sci.    2019, 13 (1): 1-3.
Abstract   PDF (153KB)
Reference | Related Articles | Metrics
Video streaming distribution over mobile Internet: a survey
Mu WANG, Changqiao XU, Shijie JIA, Gabriel-Miro MUNTEAN
Front. Comput. Sci.    2018, 12 (6): 1039-1059.
Abstract   PDF (1689KB)

In recent times, mobile Internet has witnessed the explosive growth of video applications, embracing user-generated content, Internet Protocol television (IPTV), live streaming, video-on-demand, video conferencing, and FaceTime-like video communications. The exponential rise of video traffic and dynamic user behaviors have proved to be a major challenge to video resource sharing and delivery in the mobile environment. In this article, we present a survey of state-of-the-art video distribution solutions over the Internet. We first discuss the challenges of mobile peer-to-peer (MP2P)-based solutions and categorize them into two groups. We discuss the design idea, characteristics, and drawbacks of solutions in each group.We also give a reviewfor solutions of video transmission in wireless heterogeneous networks. Furthermore, we summarize the information-centric networking (ICN)-based video solutions in terms of in-network caching and name-based routing. Finally, we outline the open issues for mobile video systems that require further studies.

Reference | Supplementary Material | Related Articles | Metrics
Large-scale video compression: recent advances and challenges
Tao TIAN, Hanli WANG
Front. Comput. Sci.    2018, 12 (5): 825-839.
Abstract   PDF (785KB)

The evolution of social network and multimedia technologies encourage more and more people to generate and upload visual information, which leads to the generation of large-scale video data. Therefore, preeminent compression technologies are highly desired to facilitate the storage and transmission of these tremendous video data for a wide variety of applications. In this paper, a systematic review of the recent advances for large-scale video compression (LSVC) is presented. Specifically, fast video coding algorithms and effective models to improve video compression efficiency are introduced in detail, since coding complexity and compression efficiency are two important factors to evaluate video coding approaches. Finally, the challenges and future research trends for LSVC are discussed.

Reference | Supplementary Material | Related Articles | Metrics
Cyber-physical-social collaborative sensing: from single space to cross-space
Fei YI, Zhiwen YU, Huihui CHEN, He DU, Bin GUO
Front. Comput. Sci.    2018, 12 (4): 609-622.
Abstract   PDF (1144KB)

The development of wireless sensor networking, social networking, and wearable sensing techniques has advanced the boundaries of research on understanding social dynamics. Collaborative sensing, which utilizes diversity sensing and computing abilities across different entities, has become a popular sensing and computing paradigm. In this paper, we first review the history of research in collaborative sensing, which mainly refers to single space collaborative sensing that consists of physical, cyber, and social collaborative sensing. Afterward, we extend this concept into cross-space collaborative sensing and propose a general reference framework to demonstrate the distinct mechanism of cross-space collaborative sensing. We also review early works in cross-space collaborative sensing, and study the detail mechanism based on one typical research work. Finally, although cross-space collaborative sensing is a promising research area, it is still in its infancy. Thus, we identify some key research challenges with potential technical details at the end of this paper.

Reference | Supplementary Material | Related Articles | Metrics
Cited: WebOfScience(2)
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(4)
Page 1 of 4 37 records