Issue 4/2015
Content (13 Articles)
Research Article
A high order collaboration and real time formal model for automatic testing of safety critical systems
Jianghua Lv, Shilong Ma, Xianjun Li, Jiangong Song
Research Article
Efficient approach of translating LTL formulae into Büchi automata
Laixiang Shan, Xiaomin Du, Zheng Qin
Research Article
Understanding and identifying latent data races cross-thread interleaving
Long Zheng, Xiaofei Liao, Song Wu, Xuepeng Fan, Hai Jin
Research Article
Runtime model based approach to IoT application development
Xing Chen, Aipeng Li, Xue’e Zeng, Wenzhong Guo, Gang Huang
Research Article
Software crowdsourcing for developing Software-as-a-Service
Xiaolan Xu, Wenjun Wu, Ya Wang, Yuchuan Wu
Research Article
Exploiting write power asymmetry to improve phase change memory system performance
Qi Wang, Donghui Wang, Chaohuan Hou
Research Article
XGRouter: high-quality global router in X-architecture with particle swarm optimization
Genggeng Liu, Wenzhong Guo, Rongrong Li, Yuzhen Niu, Guolong Chen
Research Article
Active transfer learning of matching query results across multiple sources
Jie Xin, Zhiming Cui, Pengpeng Zhao, Tianxu He
Research Article
Combining long-term and short-term user interest for personalized hashtag recommendation
Jianjun Yu, Tongyu Zhu
Research Article
Basic theorem as representation of heterogeneous concept lattices
Jozef Pócs, Jana Pócsová
Research Article
Identification of cytokine via an improved genetic algorithm
Xiangxiang Zeng, Sisi Yuan, Xianxian Huang, Quan Zou
Research Article
Detecting differential expression from RNA-seq data with expression measurement uncertainty
Li Zhang, Songcan Chen, Xuejun Liu