- Timestamp:
-
12/21/15 07:52:20 (9 years ago)
- Author:
-
Owen_8
- Comment:
-
--
Legend:
- Unmodified
- Added
- Removed
- Modified
-
v153
|
v154
|
|
21 | 21 | = Published in 2013 = |
22 | 22 | |
| 23 | * Yang, Feng, Xuehai Zhou, and Dalei Hu. "A General Mandatory Access Control Framework in Distributed Environments." |
| 24 | |
| 25 | * Zhou, Zhengmao, et al. "A Workload Model Based Approach to Evaluate the Robustness of Real-time Operating System." High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC), 2013 IEEE 10th International Conference on. IEEE, 2013. |
| 26 | |
| 27 | * Song, Jia, and Jim Alves-Foss. "Security Tagging for a Zero-Kernel Operating System." System Sciences (HICSS), 2013 46th Hawaii International Conference on. IEEE, 2013. |
23 | 28 | |
24 | 29 | * M. Unwin, S. Gao, R. De Vos Van Steenwijk, P. Jales, M. Maqsood, C. Gommenginger, J. Rose, C. Mitchell, K. Partington. "Development of low-cost spaceborne multi-frequency GNSS receiver for navigation and GNSS remote sensing" [http://inderscience.metapress.com/content/682jx6461l433034/fulltext.pdf] |
… |
… |
|
543 | 548 | * Dusatko, J., S. Allison, M. Browne, and P. Krejcik. "THE LCLS TIMNG EVENT SYSTEM." (2010). [http://www.lanl.gov/conferences/biw10/preprints/TUPSM083_preprint.pdf] |
544 | 549 | |
545 | | * Riedel, Joseph E., T. A. Ely, A. Lee, R. A. Werner, T. S. Wang, and A. T. Vaughan. "Optical Navigation Plan and Strategy for the Lunar Lander Altair." In AIAA Guidance, Navigation, and Control Conference. 2010. |
546 | | |
547 | | * Raghav, Gopal, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, Jérôme Hugues, and Julien Delange. "Model based code generation for distributed embedded systems." (2010). [http://oatao.univ-toulouse.fr/4098/1/Hugues_4098.pdf] |
548 | | |
549 | | * Miku?ionis, Marius, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, and Poul Hougaard. "Schedulability analysis using Uppaal: Herschel-Planck case study." In Leveraging Applications of Formal Methods, Verification, and Validation, pp. 175-190. [ht |
| 550 | * Riedel, Joseph E., T. A. Ely, A. Lee, R. A. Werner, T. S. Wang, and A. T. Vaughan. "Optical Navigation Plan and Strategy for the Lunar Lander Altair." In AIAA |