[1] |
HENRY S , LECH J . Reconfigurable embedded systems:synthesis,design and application[J]. Journal of Systems Architecture, 2005,51(6-7): 347-349.
|
[2] |
温涛, 王济勇, 王晓霞 ,等. 一个面向嵌入式系统实时性能优化的抢占模型[J]. 通信学报, 2005,26(9): 129-139. WEN T , WANG J Y , WANG X X ,et al. Model of preemptive em-bedded systems for optimizing real-time performance[J]. Journal on Communications, 2005,26(9): 129-139.
|
[3] |
熊悦, 龚育昌, 赵振西 . 嵌入式系统规范语言[J]. 计算机研究与发展, 2003,40(3): 493-499. XIONG Y , GONG Y C , ZHAO Z X . Embedded system specification lan-guages[J]. Journal of Computer Research and Development, 2003,40(3): 493-499.
|
[4] |
PAO A H , HSIN C K . Device-centric low-power scheduling for real-time embedded system[J]. International Journal of Software En-gineering & Knowledge Engineering, 2005,15(2): 461-466.
|
[5] |
OH J , JANG J W . Overhead reduction in the network communication for Web computing[J]. International Journal of High Speed Computing, 2000,11(2): 93-109.
|
[6] |
MARK G , SCOTT B . Using real options to value modularity in stan-dards[J]. Knowledge,Technology,& Policy, 2001,14(2): 41-66.
|
[7] |
LIU Y , SAMUEL M , XU K . A static compliance-checking framework for business process models[J]. IBM Systems Journal, 2007,46(2): 335-361.
|
[8] |
CHENG A C , TYSON G S . An energy efficient instruction set synthe-sis framework for low power embedded system designs[J]. IEEE Transactions on Computers, 2005,54(6): 698-713.
|
[9] |
MONICK K . Testing collecting of evidence:an integrated approach to test generation for finite state machines[J]. Computer Journal, 2007,50(3): 315-331.
|
[10] |
BENEMHARD K , CATHARINA G , MARC F . State/event fault trees—a safety analysis model for software-controlled systems[J]. Re-liability Engineering & System Safety, 2007,92(11): 1521-1537.
|