Publications

Export 6 results:
Author [ Title(Desc)] Type Year
Filters: Keyword is Timing  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
Hua S, Qu G, Bhattacharyya SS.  2003.  Exploring the probabilistic design space of multimedia systems. 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings. :233-240.
P
Mink A, Salamon W, Hollingsworth J, Arunachalam R.  1998.  Performance measurement using low perturbation and high precision hardware assists. , The 19th IEEE Real-Time Systems Symposium, 1998. Proceedings. :379-388.
R
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
T
Cleaveland R, Zwarico AE.  1991.  A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
Coolahan JE, Roussopoulos N.  1983.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
V
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.