Export 12 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Real time systems  [Clear All Filters]
Hansen D, Smith MA, Shneiderman B.  2011.  EventGraphs: Charting Collections of Conference Connections. 2011 44th Hawaii International Conference on System Sciences (HICSS). :1-10.
Li Y, Bitsakos K, Fermüller C, Aloimonos Y.  2009.  Real-time shape retrieval for robotics using skip Tri-Grams. IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009. IROS 2009. :4731-4738.
Kanagal B, Deshpande A.  2008.  Online Filtering, Smoothing and Probabilistic Modeling of Streaming data. IEEE 24th International Conference on Data Engineering, 2008. ICDE 2008. :1160-1169.
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.
Zotkin DN, Duraiswami R, Davis LS, Haritaoglu I.  2000.  An audio-video front-end for multimedia applications. 2000 IEEE International Conference on Systems, Man, and Cybernetics. 2:786-791vol.2-786-791vol.2.
Waheed A, Rover DT, Hollingsworth J.  1998.  Modeling and evaluating design alternatives for an on-line instrumentation system: a case study. IEEE Transactions on Software Engineering. 24(6):451-470.
Waheed A, Rover DT, Hollingsworth J.  1996.  Modeling, Evaluation, and Testing of Paradyn Instrumentation System. Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, 1996. :18-18.
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
Fredette AN, Cleaveland R.  1993.  RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
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.