Volume 25,Issue 2,2014 Table of Contents

Other Issues:  
  
Special Issue's Articles

  • 嵌入式系统软件设计方法与技术专刊前言
  • 李宣东,于戈
  • 2014,25(2):177-178 [Abstract(3561)]  [View PDF(3079)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(3733)]  [View PDF(2862)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(4042)]  [View PDF(4886)1.13 M]
  • Formal Verification of Hybrid System
  • BU Lei and XIE Ding-Bao
  • 2014,25(2):219-233 [Abstract(3438)]  [View PDF(3407)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(3183)]  [View PDF(2635)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(2917)]  [View PDF(2890)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(4290)]  [View PDF(3136)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(3442)]  [View PDF(3046)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(3283)]  [View PDF(2165)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(3198)]  [View PDF(3266)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(3586)]  [View PDF(2720)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(3815)]  [View PDF(3423)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(3316)]  [View PDF(2564)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(3770)]  [View PDF(2830)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(3361)]  [View PDF(2523)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(4275)]  [View PDF(2864)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(3525)]  [View PDF(2701)1.24 M]