1000-9825
2014 Issue 2
..............page:封3
qian ru shi xi tong ruan jian she ji fang fa yu ji shu zhuan kan qian yan
li xuan dong ;, yu ge ;
li xuan dong ;, yu ge ;
..............page:177-178
Survey of Cache Analysis for Worst-Case Execution Time Estimation
GUAN Nan;,L(U) Ming-Song;,WANG Yi;
GUAN Nan;,L(U) Ming-Song;,WANG Yi;
..............page:179-199
Survey on Embedded Software Safety Analysis Standards, Methods and Tools for Airborne System
CHEN Zhe;,HU Jun;,HUANG Zhi-Qiu;,KAN Shuang-Long;,XU Bing-Feng;
CHEN Zhe;,HU Jun;,HUANG Zhi-Qiu;,KAN Shuang-Long;,XU Bing-Feng;
..............page:200-218
Formal Verification of Hybrid System
BU Lei;,XIE Ding-Bao;
BU Lei;,XIE Ding-Bao;
..............page:219-233
Survey on Modeling and Verification Techniques of Composable Embedded Software
BAI Xiao-Ying;,HE Fei;,WANG Bo;
BAI Xiao-Ying;,HE Fei;,WANG Bo;
..............page:234-253
Exploiting Memory Access Patterns of Programs for Energy-Efficient Memory System Techniques
CHEN Tian-Zhou;,WU Jian-Zhong;,ZHANG Tie-Fei;
CHEN Tian-Zhou;,WU Jian-Zhong;,ZHANG Tie-Fei;
..............page:254-266
Application of Agile Methods in Embedded Systems Development: A Systematic Review
CHEN Dao-Xu;,CHEN Jie-Yu;,LIU Tian-Yu;,RONG Guo-Ping;,XIE Ming-Juan;,ZHANG He;
CHEN Dao-Xu;,CHEN Jie-Yu;,LIU Tian-Yu;,RONG Guo-Ping;,XIE Ming-Juan;,ZHANG He;
..............page:267-283
Partitioned Scheduling Policies on Multi-Processor Mixed-Criticality Systems
DENG Qing-Xu;,GU Chuan-Cai;,GUAN Nan;,WANG Yi;,YU Jin-Ming;
DENG Qing-Xu;,GU Chuan-Cai;,GUAN Nan;,WANG Yi;,YU Jin-Ming;
..............page:284-297
Two-Stage Workload Scheduling Problem on GPU Architectures: Formulation and Approximation Algorithm
DENG Qing-Xu;,MENG Ya-Kun;,SUN Jing-Hao;
DENG Qing-Xu;,MENG Ya-Kun;,SUN Jing-Hao;
..............page:298-313
Optimized Address Translation Method for Flash Memory
SHAO Zi-Li;,WANG Lin-Zhang;,ZHANG Qi;,ZHANG Tian;
SHAO Zi-Li;,WANG Lin-Zhang;,ZHANG Qi;,ZHANG Tian;
..............page:314-325
Reprogramming-Oriented Logical Programming Language for Wireless Sensor Network Applications
L(U) Jian;,TAO Xian-Ping;,XIE Hong-Wei;,ZHU Xiao-Rui;
L(U) Jian;,TAO Xian-Ping;,XIE Hong-Wei;,ZHU Xiao-Rui;
..............page:326-340
Construction for the Trustworthy Compiler of a Synchronous Data-Flow Language
dong yuan ;, gan yuan ke ;, zuo zhi yuan ;, shi gang ;, wang lei ;, wang sheng yuan ;, yang zuo ;, zhang ling bo ;, zhang zuo cheng ;
dong yuan ;, gan yuan ke ;, zuo zhi yuan ;, shi gang ;, wang lei ;, wang sheng yuan ;, yang zuo ;, zhang ling bo ;, zhang zuo cheng ;
..............page:341-356
Static Analysis of C Programs via Region-Based Memory Model
DONG Yu-Kun;,GONG Yun-Zhan;,JIN Da-Hai;,XING Ying;
DONG Yu-Kun;,GONG Yun-Zhan;,JIN Da-Hai;,XING Ying;
..............page:357-372
Method and Technique of Test Suite Generation for Embedded API
SUN Jing;,WANG Tong-Lin;,ZHANG Bao;,ZHAO Hui-Qun;
SUN Jing;,WANG Tong-Lin;,ZHANG Bao;,ZHAO Hui-Qun;
..............page:373-385
Optimizing Static Analysis Based on Defect Correlations
DONG Yu-Kun;,GONG Yun-Zhan;,JIN Da-Hai;,WANG Qian;,ZHANG Da-Lin;,ZHANG Hai-Long;
DONG Yu-Kun;,GONG Yun-Zhan;,JIN Da-Hai;,WANG Qian;,ZHANG Da-Lin;,ZHANG Hai-Long;
..............page:386-399
Consistency Analysis of Timing Requirements for Cyber-Physical System
CHEN Xiao-Hong;,LIU Jing;,YIN Ling;
CHEN Xiao-Hong;,LIU Jing;,YIN Ling;
..............page:400-418
Adaptive Energy Consumption Management and Analysis for Distributed Embedded System
CHEN Li-Qiong;,FAN Gui-Sheng;,LIU Dong-Mei;,YU Hui-Qun;
CHEN Li-Qiong;,FAN Gui-Sheng;,LIU Dong-Mei;,YU Hui-Qun;
..............page:419-438