1 |
S. Nadjm-Tehrani and J.-E. Stromberg. 'Proving dynamic properties in an aerospace applications,' In Proceedings of IEEE Real-Time Systems Symposium, pages 2-10, December 1995
DOI
|
2 |
Wind River Systems. 'The next generation of embedded development tools,' A Wind River Systems White Paper, 1998
|
3 |
M. Ryu, S. Hong, and M. Saksena. 'Streamlining real-time controller design: From performance specifications to end-to-end timing constraints,' In Proceedings of Real-Time Applications and Technology Symposium, pages 91-99, June 1997
DOI
|
4 |
T.-Y. Yen and W. Wolf. 'Performance estimation for real-time distributed embedded systems,' IEEE Transactions on Parallel and Distributed Systems, 9(11):1125-1136, November 1998
DOI
ScienceOn
|
5 |
G.Arona and D. Stewart. 'A tool to assist in fine-tuning and debugging embedded real-time systems,' In ACM Workshop on Languages, Compilers and Tools for Embedded Systems, pages 73-92, June 1998
|
6 |
N. Kim, M. Ryu, S. Hong, and H. Shin. 'Experimental assessment of the period calibration method: A case study,' The Journal of Real-Time Systems, Vol. 17, No. 1, pp. 41-64, July, 1999
DOI
|
7 |
Microtec Research Inc. 'VRTX32/86 User's Guide,' Microtec Research Inc., May 1991
|
8 |
E. Lee and T. Parks. 'Dataflow process networks,' IEEE Proceedings. 83(5)773-801, May 1995
DOI
ScienceOn
|
9 |
G. Kahn. 'The semantics of simple language for parallel processing,' In the IFIP Congress 74, 1974
|
10 |
C. Locke. 'Software architectures for hard-realtime applications: cyclic executives vs. fixed priority executives,' The Journal of Real-Time Systems, 4(1)37-53, 1992
DOI
|
11 |
I. Ahmad and Y.-K. Kwok. 'On exploiting task duplication in parallel program scheduling,' IEEE Transactions on Parallel and Distributed Systems. 9(9):872-892, September 1998
DOI
ScienceOn
|