Compiling real-time programs into schedulable code
暂无分享,去创建一个
[1] Aloysius K. Mok,et al. Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.
[2] Satish K. Tripathi,et al. Language support for the Maruti real-time system , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[3] Insup Lee,et al. Language Constructs for Distributed Real-Time Programming , 1985, RTSS.
[4] Michael D. Smith,et al. Efficient superscalar performance through boosting , 1992, ASPLOS V.
[5] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[6] Alan C. Shaw,et al. Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..
[7] Hideyuki Tokuda,et al. Object-oriented real-time language design: constructs for timing constraints , 1990, OOPSLA/ECOOP '90.
[8] Ron Cytron,et al. Code motion of control structures in high-level languages , 1986, POPL '86.
[9] Kwei-Jay Lin,et al. Building flexible real-time systems using the Flex language , 1991, Computer.
[10] B. Dasarathy,et al. Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them , 1989, IEEE Transactions on Software Engineering.
[11] Alexander D. Stoyen,et al. Real-Time Euclid: A language for reliable real-time systems , 1989, IEEE Transactions on Software Engineering.
[12] Mark N. Wegman,et al. Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.
[13] Aloysius K. Mok,et al. Evaluating tight execution time bounds of programs by annotations , 1989 .
[14] Kwei-Jay Lin,et al. Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.
[15] Kemal Ebcioglu,et al. A global resource-constrained parallelization technique , 1989 .
[16] Alexandru Nicolau. Parallelism, memory anti-aliasing and correctness for trace scheduling compilers (disambiguation, flow-analysis, compaction) , 1984 .
[17] Joseph A. Fisher,et al. Trace Scheduling: A Technique for Global Microcode Compaction , 1981, IEEE Transactions on Computers.
[18] Alexander Aiken,et al. A Development Environment for Horizontal Microcode , 1986, IEEE Trans. Software Eng..