Specification and modeling of dynamic, distributed real-time systems
暂无分享,去创建一个
Binoy Ravindran | Lonnie R. Welch | Behrooz Shirazi | Carl Bruggeman | L. Welch | B. Shirazi | B. Ravindran | Carl Bruggeman
[1] John P. Lehoczky,et al. Real-time queueing network theory , 1997, Proceedings Real-Time Systems Symposium.
[2] Thomas E. Bihari,et al. Object-oriented real-time systems: concepts and examples , 1992, Computer.
[3] Insup Lee,et al. Language Constructs for Distributed Real-Time Programming , 1985, RTSS.
[4] Alan C. Shaw,et al. Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..
[5] J. Hennessy,et al. TOMAL-a high-level programming language for microprocessor process control applications , 1976, SIGMINI '76.
[6] Insup Lee,et al. The specification and schedulability analysis of real-time systems using ACSR , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[7] Hanêne Ben-Abdallah,et al. A graphical language with formal semantics for the specification and analysis of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[8] David L. Mills,et al. Improved algorithms for synchronizing computer network clocks , 1995, TNET.
[9] Aloysius K. Mok,et al. Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.
[10] Karsten Schwan,et al. On adaptive resource allocation for complex real-time applications , 1997, Proceedings Real-Time Systems Symposium.
[11] Kwei-Jay Lin,et al. Building flexible real-time systems using the Flex language , 1991, Computer.
[12] Kang G. Shin,et al. Design and Evaluation of Effective Load Sharing in Distributed Real-Time Systems , 1994, IEEE Trans. Parallel Distributed Syst..
[13] Binoy Ravindran,et al. DeSiDeRaTa: QoS Management Technology for Dynamic, Scalable, Dependable, Real-Time Systems , 1998 .
[14] Satish K. Tripathi,et al. Language support for the Maruti real-time system , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[15] Richard Gerber,et al. Semantics-based compiler transformations for enhanced schedulability , 1993, 1993 Proceedings Real-Time Systems Symposium.
[16] Kwei-Jay Lin,et al. Expressing and maintaining timing constraints in FLEX , 1988, Proceedings. Real-Time Systems Symposium.
[17] John Potter,et al. Operating system extensions for dynamic real-time applications , 1996, 17th IEEE Real-Time Systems Symposium.
[18] Lonnie R. Welch,et al. Response time prediction for distributed processes specified in CaRT-Spec , 1995 .
[19] S. Tucker Taft,et al. Ada 95 Reference Manual , 1995, Lecture Notes in Computer Science.
[20] Tomas Mirtin. Realtime programming language PEARL - Concept and characteristics , 1978, COMPSAC.
[21] Hermann Streich,et al. Checking timing constraints in distributed object-oriented programs , 1996, OOPS.
[22] Klara Nahrstedt,et al. An end-to-end QoS model and management architecture , 1997 .
[23] Daniel P. Siewiorek,et al. A resource allocation model for QoS management , 1997, Proceedings Real-Time Systems Symposium.
[24] E BihariThomas,et al. Object-Oriented Real-Time Systems , 1992 .
[25] John A. Stankovic. Strategic directions in real-time and embedded systems , 1996, CSUR.
[26] Hideyuki Tokuda,et al. An object-oriented real-time programming language , 1992, Computer.
[27] Alexander D. Stoyen,et al. Real-Time Euclid: A language for reliable real-time systems , 1989, IEEE Transactions on Software Engineering.