• Home

• Presentations
• Copyright
• Help
•  

Papers

• Featured Papers
• Dissertations
• 2020
• 2019
• 2018
• 2017
• 2016
• 2015
• 2014
• 2013
• 2012
• 2011
• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
• 2001
• 2000
• 1999
• 1998
• 1997
• 1996
• 1995
• 1994
• 1993
• 1992
• 1991
• 1990
• 1989
• 1988
• 1987
• 1986
• 1985
• 1984
•  

Ptolemy Project Papers for 2006

1. Bertam Ludäscher, Ilkay Altintas, Chad Berkley, Dan Higgins, Efrat Jaeger, Matthew Jones, Edward A. Lee, Jing Tao, Yang Zhao. "Scientific Workflow Management and the KEPLER System," in Concurrency & Computation: Practice & Experience, Special Issue: Workflow in Grid Systems, edited by Geoffrey C. Fox, Dennis Gannon, John Wiley & Sons, Ltd., 2006. Draft version, March 2005.
2. James Adam Cataldo. "The Power of Higher-Order Composition Languages in System Design," Ph.D. Dissertation, EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2006-189, December 18, 2006.
3. Stephen Edwards and Edward A. Lee. "The Case for the Precision Timed (PRET) Machine," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2006-149, November 17, 2006.
4. Elaine Cheong, Edward A. Lee and Yang Zhao. "Joint Modeling and Design of Wireless Networks and Sensor Node Software," EECS Department, University of California, Berkeley, UCB/EECS-2006-150, November 17, 2006.
5. Ye Zhou and Edward A. Lee. "Causality Interfaces for Actor Networks," EECS Department, University of California, Berkeley, UCB/EECS-2006-148, November 16, 2006.
6. Ye Zhou and Edward A. Lee. "A Causality Interface for Deadlock Analysis in Dataflow," in Proceedings of the 6th ACM & IEEE Conference on Embedded Software (EMSOFT '06), Seoul, Korea, October 22-25, 2006.
7. Edward A. Lee. "Cyber-Physical Systems - Are Computing Foundations Adequate?," Position Paper for NSF Workshop on Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, Austin, Texas, October 16-17, 2006.
8. Yang Zhao, Edward A. Lee and Jie Liu. "Application of Programming Temporally Integrated Distributed Embedded Systems", in Proceedings of 2006 IEEE 1588 Conference Gaithersburg, MD, October 2-4, 2006.
9. Edward A. Lee. "Concurrent Semantics without the Notions of State or State Transitions," in Proceedings of the International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Paris, (LNCS 4202, Springer-Verlag, E. Asarin and P. Bouyer, Eds.), September 25-27, 2006.
10. Haiyang Zheng. "Simulating Zeno Hybrid Systems Beyond Their Zeno Points," Technical Report No. EECS-2006-114, EECS Department, University of California, Berkeley, September 8, 2006.
11. Xiaojun Liu, Eleftherios Matsikoudis, and Edward A. Lee. "Modeling Timed Concurrent Systems," in Proceedings of the 17th International Conference on Concurrency Theory (CONCUR), Bonn, Germany, August 27-30, C. Baier and H. Hermanns (Eds.), LNCS 4137, Springer-Verlag, pp. 1-15, 2006.
12. Shamik Bandyopadhyay. "Automated Memory Allocation of Actor Code and Data Buffer in Heterochronous Dataflow Models to Scratchpad Memory," EECS Department, University of California, Berkeley UCB/EECS-2006-105, August 14, 2006.
13. Adam Cataldo, Edward Lee, Xiaojun Liu, Eleftherios Matsikoudis and Haiyang Zheng "A Constructive Fixed-Point Theorem and the Feedback Semantics of Timed Systems," Workshop on Discrete Event Systems (WODES'06), Ann Arbor, Michigan, July 10-12, 2006.
14. Aaron D. Ames, Haiyang Zheng, Robert Gregg and Shankar Sastry. "Is there Life after Zeno? Taking Executions past the Breaking (Zeno) Point," in the 2006 American Control Conference, Minneapolis, MN, June 14-16, 2006.
15. Edward A. Lee and Haiyang Zheng. "HyVisual: A Hybrid System Modeling Framework Based on Ptolemy II," in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'06) in Alghero, Sardinia, June 7-9, 2006.
16. Edward A. Lee and Yang Zhao. "Reinventing Computing for Real Time," EECS Department, University of California, Berkeley UCB/EECS-2006-83, May 30, 2006.
17. Yang Zhao, Edward A. Lee and Jie Liu. "Programming Temporally Integrated Distributed Embedded Systems," EECS Department, University of California, Berkeley UCB/EECS-2006-82, May 28, 2006.
18. Xiaojun Liu and Edward A. Lee. "CPO Semantics of Timed Interactive Actor Networks," EECS Department, University of California, Berkeley UCB/EECS-2006-67, May 18, 2006.
19. Ye Zhou and Edward A. Lee. "A Causality Interface for Deadlock Analysis in Dataflow," EECS Department, University of California, Berkeley UCB/EECS-2006-51, May 12, 2006.
20. Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee and Andrew Mihal. "A Formalism for Higher-Order Composition Languages that Satisfies the Church-Rosser Property," EECS Department, University of California, Berkeley UCB/EECS-2006-48, May 9, 2006.
21. Xiaojun Liu, Eleftherios Matsikoudis and Edward A. Lee. "Modeling Timed Concurrent Systems using Generalized Ultrametrics," EECS Department, University of California, Berkeley UCB/EECS-2006-45, May 1, 2006.
22. Thomas Huining Feng and Edward A. Lee. "Incremental Checkpointing with Application to Distributed Discrete Event Simulation," in Winter Simulation Conference (WSC 2006), Monterey, CA, December 3-6, 2006, as well as an EECS Technical Report, UCB/EECS-2006-37, April 9, 2006.
23. Haiyang Zheng, Edward A. Lee, and Aaron D. Ames. "Beyond Zeno: Get on with it!," in Proceedings of Hybrid Systems: Computation and Control (HSCC) LNCS 3927, Santa Barbara, California, March 29-31, 2006, pp. 568-582.
24. Adam Cataldo and Edward A. Lee. "Composition Languages," EECS Department, University of California, Berkeley UCB/EECS-2006-24, March 17, 2006.
25. Elaine Cheong, Edward A. Lee, Yang Zhao. "Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks," EECS Department, University of California, Berkeley UCB/EECS-2006-15, February 15, 2006.
26. Edward A. Lee. "The Problem with Threads," in IEEE Computer, 39(5):33-42, May 2006 as well as an EECS Technical Report, UCB/EECS-2006-1 , January 2006.