Volume 25,Issue 2,2014 Table of Contents

Other Issues:  
  
Special Issue's Articles

  • 嵌入式系统软件设计方法与技术专刊前言
  • 李宣东,于戈
  • 2014,25(2):177-178 [Abstract(3806)]  [View PDF(3293)270.80 K]
  • Survey of Cache Analysis for Worst-Case Execution Time Estimation
  • LÜ Ming-Song,GUAN Nan and WANG Yi
  • 2014,25(2):179-199 [Abstract(4009)]  [View PDF(3047)1.21 M]
  • Survey on Embedded Software Safety Analysis Standards, Methods and Tools for Airborne System
  • HUANG Zhi-Qiu,XU Bing-Feng,KAN Shuang-Long,HU Jun and CHEN Zhe
  • 2014,25(2):200-218 [Abstract(4310)]  [View PDF(5100)1.13 M]
  • Formal Verification of Hybrid System
  • BU Lei and XIE Ding-Bao
  • 2014,25(2):219-233 [Abstract(3673)]  [View PDF(3575)1017.21 K]
  • Survey on Modeling and Verification Techniques of Composable Embedded Software
  • WANG Bo,BAI Xiao-Ying,HE Fei and Xiaoyu SONG
  • 2014,25(2):234-253 [Abstract(3440)]  [View PDF(2803)1.15 M]
  • Exploiting Memory Access Patterns of Programs for Energy-Efficient Memory System Techniques
  • ZHANG Tie-Fei,CHEN Tian-Zhou and WU Jian-Zhong
  • 2014,25(2):254-266 [Abstract(3158)]  [View PDF(3064)792.97 K]
  • Application of Agile Methods in Embedded Systems Development: A Systematic Review
  • RONG Guo-Ping,LIU Tian-Yu,XIE Ming-Juan,CHEN Jie-Yu,ZHANG He and CHEN Dao-Xu
  • 2014,25(2):267-283 [Abstract(4550)]  [View PDF(3215)1.06 M]
  • Partitioned Scheduling Policies on Multi-Processor Mixed-Criticality Systems
  • GU Chuan-Cai,GUAN Nan,YU Jin-Ming,WANG Yi and DENG Qing-Xu
  • 2014,25(2):284-297 [Abstract(3684)]  [View PDF(3137)955.04 K]
  • Two-Stage Workload Scheduling Problem on GPU Architectures: Formulation and Approximation Algorithm
  • SUN Jing-Hao,DENG Qing-Xu and MENG Ya-Kun
  • 2014,25(2):298-313 [Abstract(3499)]  [View PDF(2251)978.50 K]
  • Optimized Address Translation Method for Flash Memory
  • ZHANG Qi,WANG Lin-Zhang,ZHANG Tian and SHAO Zi-Li
  • 2014,25(2):314-325 [Abstract(3403)]  [View PDF(3441)867.99 K]
  • Reprogramming-Oriented Logical Programming Language for Wireless Sensor Network Applications
  • ZHU Xiao-Rui,TAO Xian-Ping,XIE Hong-Wei and LÜ Jian
  • 2014,25(2):326-340 [Abstract(3849)]  [View PDF(2864)962.22 K]
  • Construction for the Trustworthy Compiler of a Synchronous Data-Flow Language
  • SHI Gang,WANG Sheng-Yuan,DONG Yuan,JI Zhi-Yuan,GAN Yuan-Ke,ZHANG Ling-Bo,ZHANG Yu-Cheng,WANG Lei and YANG Fei
  • 2014,25(2):341-356 [Abstract(4188)]  [View PDF(3601)1.16 M]
  • Static Analysis of C Programs via Region-Based Memory Model
  • DONG Yu-Kun,JIN Da-Hai,GONG Yun-Zhan and XING Ying
  • 2014,25(2):357-372 [Abstract(3592)]  [View PDF(2752)958.92 K]
  • Method and Technique of Test Suite Generation for Embedded API
  • ZHAO Hui-Qun,SUN Jing,ZHANG Bao and WANG Tong-Lin
  • 2014,25(2):373-385 [Abstract(4033)]  [View PDF(2898)1.18 M]
  • Optimizing Static Analysis Based on Defect Correlations
  • ZHANG Da-Lin,JIN Da-Hai,GONG Yun-Zhan,WANG Qian,DONG Yu-Kun and ZHANG Hai-Long
  • 2014,25(2):386-399 [Abstract(3632)]  [View PDF(2689)930.24 K]
  • Consistency Analysis of Timing Requirements for Cyber-Physical System
  • YIN Ling,CHEN Xiao-Hong and LIU Jing
  • 2014,25(2):400-418 [Abstract(4565)]  [View PDF(3035)1.24 M]
  • Adaptive Energy Consumption Management and Analysis for Distributed Embedded System
  • FAN Gui-Sheng,YU Hui-Qun,CHEN Li-Qiong and LIU Dong-Mei
  • 2014,25(2):419-438 [Abstract(3807)]  [View PDF(2863)1.24 M]