Schedule of Presentations: 4/2 Auberger, C Model-Checking Belapurkar, C Packet Scheduling and Routing Chanjaraspong, N Real-Time Camera Surveillance 4/4 Dsouza, D Multiframe Model (paper by Wang and Cheng) Gu, C Real-Time Drilling Kulkarni, D Fault Injection 4/9 Lawande, S DM scheduler for RT-Linux Li, B Real-Time Databases Liu, M Feedback control integrated with RT scheduling Lu, S Traffic light control Aravindh, R Scheduling at a high-speed switch Lakshninarayanan, S Sub-task deadlinee assignment and scheduling 4/11 Mak, H RTL constraint-graph checker in Java Manickavasagam, S Routing of real-time packets (Paper by Rao and Cheng) Martinat, I Ordered BDDs Motwani, S Multiprocessor scheduling Phene, P Ad-hoc networks 4/16 Sodhi, S QoS in streaming media Teng, H Real-time hierarchical databases Vajramushti, N Real-time peer-to-peer voice conversation Varakhedi, S 3D mobility prediction in ad-hoc networks Wang, ZP On-line scheduling checker 4/18 Feng, L Wavelet-based wireless image transmission Wang, ZQ Database scheduler in Java Wu, C RT rendering Yang, Y Fully embedded bitstream for streaming video Kambli, A RT scheduling 4/23 Zanzaria, M Continuous guery processing Zhang, M Testing distributed RTS with timed automata Zhang, Z RT expert systems in CLIPS Zhao, H RT packet switching Bhanushali, T Dependable networking and QoS 4/25 Yonley, T RT Robot control