1 |
J. Regehr, and U. Duongsaa, Preventing interrupt overload, the ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, pp.50-58, 2005.
|
2 |
Windows CE 6.0 - Interrupt service thread, http://msdn.microsoft.com/en-us/library/aa930165.aspx
|
3 |
Gu, L. and Stankovic, J. A, t-kernel: providing reliable OS support to wireless sensor networks, the 4th international Conference on Embedded Networked Sensor Systems, pp.1-14, 2006.
|
4 |
John Regehr, Nathan Cooprider, Interrupt Verification via Thread Verification, Electronic Notes in Theoretical Computer Science (ENTCS), vol.174 no.9, pp.139-150, June, 2007.
DOI
ScienceOn
|
5 |
Ingo Molnar, RT Patch, http://people.redhat.com/mingo/realtimeprempt/
|
6 |
Ingo Molnar, http://lwn.net/Articles/102216/
|
7 |
E. Jafer, and K. Arshak, The development of wireless sensor system for pressure and temperature signals monitoring, the 1st international conference on Ambient media and systems, 2008.
|
8 |
S. Mahlkecht, and S. Madani, On Architecture of Low Power Wireless Sensor Networks for Container Tracking and Monitoring Applications, 5th IEEE International Conference on Industrial Informatics, vol.2, pp.353-358, 2007.
|
9 |
O. Chipara, C. Lu, and G. Roman, Real-Time Query Scheduling for Wireless Sensor Networks, 28th IEEE International Real-Time Systems Symposium, pp.389-399, 2007.
|
10 |
Xinyu Feng, Zhong Shao, Yuan Dong, and Yu Guo. Certifying low-level programs with hardware interrupts and preemptive threads. In Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2008), ACM Press, pp.170-182, Tucson, Arizona, Jun 2008.
|
11 |
G. Hoover, F. Brewer, and T. Sherwood, A case study of multi-threading in the embedded space, the international conference on Compilers, architecture and synthesis for embedded systems, pp. 357-367, 2006.
|