Fall 2006 Presentations *********************************************** Note: Each presentation is 30 minutes (or more if needed). Everyone is expected to attend and ask questions. A discussion follows each set of talks. Please email me your topic and referenced paper(s)' titles before your presentation. *********************************************** 9/19 Dr. Cheng - Automatic Debugging of RTL SP->SA 9/21 Jim - Priority ceiling protocol and Ada 9/26 Dr. Cheng - Automatic Debugging of RTL SP->SA S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting,'' accepted 2/2006, IEEE Transactions on Computers, Vol. 55, No. 7, pp. 830-843, July 2006. Selected as this issue's featured article. 9/28 Soji Topic: A Method for Solving Arbitrary-Wall Mazes by Computer Author: Sutherland Source: IEEE 10/3 Jian (m,k)-firm scheduling, IEEE RTCSA 2006 10/5 Bala "RealTime Dynamic Voltage Scaling for LowPower Embedded Operating Systems" Authors : Padmanabhan Pillai and Kang G. Shin RealTime Computing Laboratory,Department of Electrical Engineering and Computer Science, The University of Michigan Dr. Cheng talks about Y. Wang and A. M. K. Cheng, ``A Dynamic-Mode DVS Algorithm under Dynamic Workloads,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005. 10/10 Deepak Real-time techniques for instrusion detection, based on the paper "Real Time Data Mining-based Intrusion Detection" by Wenke Lee and Salvatore Stolfo. 10/12 Jim (postponed to 10/24) Sumit 1. Sympathy for the Sensor Network Debugger. Nithya Ramanathan, Kevin Chang, Rahul Kapur, Lewis Girod, Eddie Kohler, and Deborah Estrin UCLA Center for Embedded Network Sensing. 10/19 Yingwei Heterogeneous multiprocessor scheduling H. Chen and A. M. K. Cheng ``Applying Ant Colony Optimization to the Partitioned Scheduling Problem for Heterogeneous Processors,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium WIP Session, San Francisco, March 2005. Also as invited paper, ACM Special Interest Group on Embedded Systems (SIGBED) Review, Volume 2, Number 2, April 2005. 10/24 Jim (postponed to 10/24) Priority ceiling/inheritance protocols 10/26 Jian Profit-driven uniprocessor scheduling with energy and timing constraints, Jian-Jia Chen, Tei-Wei Kuo and Chia-Lin Yang. Proceedings of the 2004 ACM symposium on Applied computing Jian 10/31 Bala "Leakage Aware Dynamic Voltage Scaling for Real Time Embedded Systems" 11/2 Soji Robot Navigation in Unknown Terrains: Introductory Survey of Non Heuristic Algorithms." [Oak Ridge National Laboratory; Nageswara et al] 11/7 Deepak "Improving WCET by Optimizing Worst-Case Paths" (RTAS 2005). 11/9 Yingwei "Dual Priority ALgorithm to Schedule Real-Time Tasks in a Shared Memory Multiprocessor" by Josep M. BanĂșlex Arenas, JesĂșbarta. Published on IPDPS 2003. Bala "A Study on Dynamic Voltage Scaling on Mobile Devices and their Impact" 11/14,16 Dr. Cheng chairing SEA 2006 (Dallas). 11/21 Jim, Priority ceiling/inheritance protocols and Ada Yingwei "Real-Time Scheduling with Regenerative Energy" by C. Moser, D. Brunelli, L. Thiele and L. Benini (ECRTS 2006) Jian (presented on 10/26) 11/28 Sumit 2. Design of an Application-Cooperative Management System for Wireless Sensor Network. Gilman Tolle, David Culler - EECS Department, University of California, Berkeley Sumit 11/30 Soji Deepak