Publications
Export 12 results:
Author Title Type [ Year] Filters: Keyword is Real time systems [Clear All Filters]
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
1993. RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1996. Modeling, Evaluation, and Testing of Paradyn Instrumentation System. Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, 1996. :18-18.
1998. Modeling and evaluating design alternatives for an on-line instrumentation system: a case study. IEEE Transactions on Software Engineering. 24(6):451-470.
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.
2003. Exploring the probabilistic design space of multimedia systems. 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings. :233-240.
2004. Rendering localized spatial audio in a virtual auditory space. IEEE Transactions on Multimedia. 6(4):553-564.
2008. Online Filtering, Smoothing and Probabilistic Modeling of Streaming data. IEEE 24th International Conference on Data Engineering, 2008. ICDE 2008. :1160-1169.
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.
2011. EventGraphs: Charting Collections of Conference Connections. 2011 44th Hawaii International Conference on System Sciences (HICSS). :1-10.