1 | -- | 21 | Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco. The essence of bidirectional programming |
1 | -- | 18 | Dongdong Deng, Guoliang Jin, Marc de Kruijf, Ang Li, Ben Liblit, Shan Lu, Shanxiang Qi, Jinglei Ren, Karthikeyan Sankaralingam, Linhai Song, Yongwei Wu, Mingxing Zhang, Wei Zhang 0022, Weimin Zheng. Fixing, preventing, and recovering from concurrency bugs |
1 | -- | 12 | Yaping Xia, Chenxiao Cai, Minghui Yin, Yun Zou. Two new upper bounds of the solution for the continuous algebraic Riccati equation and their application |
1 | -- | 9 | Jia Wen, Junsuo Zhao, Caiwen Ma, Cailing Wang. Improved non-negative tensor Tucker decomposition algorithm for interference hyper-spectral image compression |
1 | -- | 12 | Zibin Zheng, Michael Rung-Tsong Lyu, Huaimin Wang. Service fault tolerance for highly reliable service-oriented systems: an overview |
1 | -- | 11 | Xiaobin Zhu, Xin Jin, Xiaoyu Zhang, Changsheng Li, Fugang He, Lei Wang. Context-aware local abnormality detection in crowded scene |
1 | -- | 2 | Tao Xie, Lu Zhang 0023, Jian Lü. Editor's Note |
1 | -- | 3 | Chao Meng, Jing Gong, Sanmin Liu, Zhixin Sun. Convergence analysis and application of the central force optimization algorithm |
1 | -- | 14 | Wenhua Yang, Yepang Liu, Chang Xu, Shing-Chi Cheung. A survey on dependability improvement techniques for pervasive computing systems |
1 | -- | 15 | an Wang, Zongyue Wang, Xuexin Zheng, Xiaomei Wang, Man Chen, Guoshuang Zhang, Liji Wu. Efficient collision attacks on smart card implementations of masked AES |
1 | -- | 9 | Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zhiquan Zhou. A revisit of three studies related to random testing |
1 | -- | 13 | Zhengxing Wu, Junzhi Yu, Zongshuai Su, Min Tan, Zhenlong Li. Towards an Esox lucius inspired multimodal robotic fish |
1 | -- | 16 | Futian Wang, Xiao Liu, Yun Yang. Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems |
1 | -- | 14 | Peng Wang, Guojian Tang, Jie Wu. Sliding mode decoupling control of a generic hypersonic vehicle based on parametric commands |
1 | -- | 13 | Zhisheng Duan, Lin Huang, Jianying Yang, Guozheng Qin. On decoupled or coupled control of bank-to-turn missiles |
1 | -- | 11 | Deyu Meng, Biao Zhang, ZongBen Xu, Lei Zhang, Chenqiang Gao. Robust low-rank tensor factorization by cyclic weighted median |
1 | -- | 13 | Youliang Tian, Changgen Peng, Dongdai Lin, Jianfeng Ma, Qi Jiang, Wenjiang Ji. Bayesian mechanism for rational secret sharing scheme |