1 |
R. Koga, J. George, G. Swift, C. Yui, L. Edmonds, C. Carmichael, T. Langley, P. Murray, K. Lanes, and M. Napier, "Comparison of Xilinx Virtex-II FPGA SEE sensitivities to protons and heavy Ions," IEEE Transactions on Nuclear Science, vol. 51, no. 5, pp. 2825-2833, 2004.
DOI
|
2 |
L. Sterpone and M. Violante, "Analysis of the robustness of the TMR-architecture in SRAM-based FPGAs," IEEE Transactions on Nuclear Science vol. 53, no. 5, pp. 1545-1549, 2005.
|
3 |
T. E. Murphy, X. Geng, and J. Hammer, "On the control of asynchronous machines with races," IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 1073-1081, 2003.
DOI
ScienceOn
|
4 |
J.-M. Yang, "State feedback control of asynchronous machines with nondeterministic models," IEEE Transactions on Automatic Control, vol. 54, no. 5, pp. 1072-1076, 2009.
DOI
|
5 |
Z. Kohavi, Switching and Finite Automata Theory (2nd ed.), New York: McGraw-Hill, 1978.
|
6 |
J. Peng and J. Hammer, "Input/output control of asynchronous sequential machines with races," International Journal of Control, vol. 83, no. 1, pp. 125-144, 2010.
DOI
ScienceOn
|
7 |
J.-M. Yang, "Corrective control of asynchronous sequential machines in the presence of adversarial input," IET Control Theory and Applications, vol. 2, no. 8, pp. 706-716, 2008.
DOI
ScienceOn
|
8 |
S. H. Unger, "Hazards, critical races, and metastability," IEEE Transactions on Computers, vol. 44, no. 6, pp. 754-768, 1995.
DOI
ScienceOn
|
9 |
C. Carmichael, E. Fuller, P. Blain, and M. Caffrey, "SEU mitigation techniques for Virtex FPGAs in space applications," Proceedings of MAPLD99, 1999.
|
10 |
T. Vladimirova, "Reconfigurable system-on-a-chip based platform for satellite on-board computing," Scientific Conference "Space, Ecology, Safety" with International Participation (SES 2005), pp. 10-13, 2005.
|
11 |
곽성우, 양정민, "확률 최적화를 이용한 비선점형 Rate Monotonic 스케줄링의 체크포인트 구간 결정," 한국지능시스템학회 논문지, 제21권 1호, pp. 120-127, 2011.
과학기술학회마을
DOI
|