| 112 | |
| 113 | * Richards, J., R. Nussbaumer, S. Rapaz, and G. Waters. "ISAC EPICS ON LINUX: THE MARCH OF THE PENGUINS.", [http://accelconf.web.cern.ch/AccelConf/icalepcs2011/papers/wepks004.pdf] |
| 114 | |
| 115 | * BO, NSLS-II. "BEAM DIA.", [http://epaper.kek.jp/rupac2012/papers/frxor02.pdf] |
| 116 | |
| 117 | * Guo, Yu, Xinyu Feng, Zhong Shao, and Peizhi Shi. "Modular Verification of Concurrent Thread Management." In Programming Languages and Systems, pp. 315-331. Springer Berlin Heidelberg, [http://link.springer.com/chapter/10.1007/978-3-642-35182-2_23], [http://kyhcs.ustcsz.edu.cn/~guoyu/sched/sched.pdf] |
| 118 | |
| 119 | * Sousa, Valentim, Paulo Ferreira, and Manuel Gericota. "Hey Fellows, We Shrunk the Server." iJOE 8, no. S2 (2012): 36-41., [http://ave.dee.isep.ipp.pt/~mgg/papers/ijoe12.pdf] |
| 120 | |
| 121 | * Song, Young-Gi. "DEVELOPMENT OF THE CONTROL SYSTEM FOR PEFP 100-MeV PROTON LINEAR ACCELERATOR." (2012), [http://accelconf.web.cern.ch/AccelConf/pcapac2012/talks/frcb02_talk.pdf] |
| 122 | |
| 123 | * Guan, Nan, and Wang Yi. "Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound." In Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), 2012 IEEE 26th International, pp. 2470-2473. IEEE, [http://user.it.uu.se/~yi/pdf-files/ipdps-phdf-l2.pdf] |
| 124 | |
| 125 | * Bundgaard, Jørgen. "Reliable Software, a Perspective from Industry." ADA USER 33, no. 3 (2012): 203, [http://www.ada-europe.org/archive/auj/auj-33-3.pdf#page=65] |
| 126 | |
| 127 | * Learn, Mark Walter. Evaluation of the Leon3 soft-core processor within a Xilinx radiation-hardened field-programmable gate array. No. SAND2012-0454. Sandia National Laboratories, [http://prod.sandia.gov/techlib/access-control.cgi/2012/120454.pdf] |
| 128 | |
| 129 | * Bloom, Gedare, Gabriel Parmer, Bhagirath Narahari, and Rahul Simha. "Shared hardware data structures for hard real-time systems." In Proceedings of the tenth ACM international conference on Embedded software, pp. 133-142. ACM, [http://home.gwu.edu/~gedare/pdf/BloPar12A.pdf] |