Calendar for Fall 2004

1. Week 1 (August 31)
   • Tuesday: Introduction, Current Trends in Embedded Software.
   • Thursday: Threads.
   • Study group: Using Vergil, Lee and Neuendorffer.
     Responsible: Alvise Bonivento, Elaine Cheong, Thomas Feng, Slobodan Matic
   • Other recommended reading:
     1. Concurrent Models of Computation for Embedded Software, Lee and Neuendorffer.
     2. PN Domain, Goel and Neuendorffer.
2. Week 2 (September 7)
   • Tuesday: Actor-Oriented Models of Computation.
   • Thursday: Process Networks
   • Tutorial: Using Eclipse, Xiaojun Liu, Thursday 3:30-4:30PM, repeated Friday 3-4PM, 337 Cory.
   • Study group: "The java.util.concurrent Synchronizer Framework," by Doug Lea
     Responsible: Jike Chong, Josh Hug, Eleftherios Matsikoudis
   • Other recommended reading:
     1. Extending Ptolemy II by writing actors.
     2. Eclipse platform users guide.
3. Week 3 (September 14)
   • Tuesday: Extending Ptolemy II.
     First homework due. Solution.
   • Thursday: Class cancelled due to GSRC meeting.
   • Study group: Lee and Parks, "Dataflow Process Networks," sections 1 and 2.
     Responsible: Vinayak Prabhu, Tiffany Crawford, Yang Zhao
   • Other recommended reading:
     1. G. Kahn and D. B. MacQueen, "Coroutines and Networks of Parallel Processes," In Proceedings of Information Processing, North-Holland Publishing Co., 1977.
     2. Eclipse Java development users guide.
4. Week 4 (September 21)
   • Tuesday: Process Networks Semantics.
   • Thursday: Continuous Functions and PN Compositions.
   • Study group: Lee and Parks, "Dataflow Process Networks," sections 3 and 4.
     Responsible: Cong Liu, Xiaojun Liu, Haibo Zeng, Qi Zhu
     Slides on tagged token execution
   • Other recommended reading:
     1. Davey and Priestley, Introductions to Lattices and Order, chapters 1 and 8.
     2. H. J. Reekie, "Toward Effective Programming for Parallel Digital Signal Processing," Ph.D. Thesis, University of Technology, Sydney, Sydney, Australia, 1992.
5. Week 5 (September 28)
   • Tuesday: Execution of Process Networks.
     Second homework due. Solution.
   • Thursday:Convergence and Introduction to Synchronous Languages.
   • Study group: Geilen and Basten's paper on execution of process networks.
     Responsible: Abhijit Davare, Mark McKelvin, Armando Solar-Lazama, Rachel Zhou
6. Week 6 (October 5)
   • Tuesday: Synchronous Language Semantics.
   • Thursday: Discrete-Event Systems.
   • Study group: Geilen and Basten's paper on execution of process networks (continued).
     Responsible: Abhijit Davare, Mark McKelvin, Armando Solar-Lazama, Rachel Zhou
   • Other recommended reading:
     1. Stephen A. Edwards and Edward A. Lee, "The Semantics and Execution of a Synchronous Block-Diagram Language," Science of Computer Programming, Vol. 48, no. 1, July 2003.
7. Week 7 (October 12)
   • Tuesday: Tags and Discrete Signals.
     Project proposals due.
     Third homework due. Solution.
   • Thursday: Metric Space Semantics.
   • Study group: Preemption in Concurrent Systems by Gerard Berry.
     Responsible: Adam Cataldo, Arkadeb Ghosal, Guang Yang, Gang Zhou
   • Other recommended reading:
     1. Edward A. Lee, "Modeling Concurrent Real-time Processes Using Discrete Events," Invited paper to Annals of Software Engineering, Special Volume on Real-Time Software Engineering, Volume 7, 1999, pp. 25-45.
8. Week 8 (October 19)
   • Tuesday: Dataflow Process Networks.
   • Thursday: Generalized Firing Rules
   • Study group: Misra on Distributed Discrete-Event Simulation
     Responsible: Jens Harnisch, Yury Markovsky, Guoqiang Wang, Haiyang Zheng
   • Other recommended reading:
     1. Jefferson on Time Warp
     2. Lee on Dataflow with Firing.
9. Week 9 (October 26)
   • Tuesday: Statically Schedulable Dataflow.
     Fourth homework due. Solution.
   • Thursday: Extensions to SSDF
   • Study group: Thies, W., M. Karczmarek, et al. (2002). StreamIt: A Language for Streaming Applications. 11th International Conference on Compiler Construction, Grenoble, France, Springer-Verlag.
     Responsible: Alvise Bonivento, Jike Chong, Tiffany Crawford, Yang Zhao, Adam Cataldo.
   • Other recommended reading:
     1. Synchronous Dataflow, Lee and Messerschmitt, 1987.
     2. Scheduling Dynamic Dataflow..., Ph.D. thesis by Joe Buck, 1993.
10. Week 10 (November 2)
    • Tuesday: The Cal Actor Language, Joern Janneck, Xilinx Research.
    • Thursday: Boolean Dataflow
    • Study group: Bhattacharya, B. and S. S. Bhattacharyya (2000). Parameterized Dataflow Modeling of DSP Systems. International Conference on Acoustics, Speech, and Signal Processing. Istanbul, Turkey, June 2000.
      Responsible: Elaine Cheong, Cong Liu, Abhijit Davare, Xiaojun Liu, Arkadeb Ghosal, Yury Markovsky.
11. Week 11 (November 9)
    • Tuesday: Scheduling Boolean Dataflow
      Fifth homework due. Solution.
    • Thursday: Veteran's day Holiday
    • Study group: No study group.
12. Week 12 (November 16)
    • Tuesday: Continuous-Time Models
    • Thursday: No class (Chess NSF Review).
      Paper submissions due.
    • Study group: E. Kohler, R. Morris, B. Chen, J. Jannotti and M. F. Kaashoek, "The Click Modular Router," ACM Transactions on Computer Systems, 18(3): 263-297, 2000, 2000.
      Responsible: Thomas Feng, Eleftherios Matsikoudis, Haibo Zeng, Guang Yang, Guoqiang Wang, Qi Zhu.
13. Week 13 (November 23)
    • Tuesday: Mixed Signal Models and Hybrid Systems
    • Thursday: Thanksgiving
    • Study group: No study group.
14. Week 14 (November 30)
    • Tuesday: Clocks in Synchronous Languages
    • Thursday: Time-Triggered Models
      Paper reviews due Wednesday, Dec. 1.
    • Study group: E. A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Transactions on CAD, 17(12), December, 1998.
      Responsible: Slobodan Matic, Mark McKelvin, Armando Solar-Lazama, Rachel Zhou, Gang Zhou, Haiyang Zheng.
15. Week 15 (December 7)
    • Tuesday: The Tagged Signal Model and Abstract Semantics
    • Thursday: Actor-Oriented Type Systems
    • Friday: Project presentations.
    • No study group.
16. Final Week (December 13)
    • Friday: Project papers due.