Ptolemy Project Papers for 1997

  1. Michael Goodwin, "Adaptive Signal Models: Theory, Algorithms, and Audio Applications," Ph.D. Thesis, University of California, Berkeley, December 1997. Available as UCB/ERL M97/31.
  2. Praveen K. Murthy, and Edward A. Lee, "Two Cycle Related Problems for Regular Dataflow Graphs: Complexity and Heuristics," Memorandum UCB/ERL M97/76, Electronics Research Laboratory, University of California, Berkeley, CA 94720, October 1997.
  3. Alain Girault, Bilung Lee, and Edward A. Lee, "A Preliminary Study of Hierarchical Finite State Machines with Multiple Concurrency Models," Memorandum UCB/ERL M97/57, Electronics Research Laboratory, University of California, Berkeley, CA 94720, August 1997.
  4. P. Lapsley, J. Bier, A. Shoham, and E. A. Lee, "DSP Processor Fundamentals -- Architectures and Features," Wiley-IEEE Press, New York, 1997.
  5. Seeyhun Kim and Edward A. Lee, "Infrastructure for Numeric Precision Control in the Ptolemy Environment," Proceedings of the 40th Midwest Symposium on Circuits and Systems, August 3-6, 1997.
  6. Praveen K. Murthy, Shuvra Bhattacharyya, and Edward A. Lee, "Joint Minimization of Code and Data for Synchronous Dataflow Programs," Journal of Formal Methods in System Design, Vol. 11, No. 1, pp41-70, July 1997.
  7. Soonhoi Ha and Edward A. Lee, "Compile-Time Scheduling of Dynamic Constructs in Dataflow Program Graphs," IEEE Trans. on Computers, Vol. 46, No. 7, July 1997.
  8. E.A. Lee, S. Bhattacharyya, J.T. Buck, W.T. Chang, M.J. Chen, B.L. Evans, E. E. Goei, S. Ha, P. Haskell, C.T. Huang, W.J. Huang, C. Hylands, A. Kalavade, A. Kamas, A. Lao, E.A. Lee, S. Lee, D.G. Messerschmitt, P. Murthy, T.M. Parks, J.L. Pino, J. Reekie, G. Sih, S. Sriram, M.P. Stewart, M.C. Williamson, K. White. The Almagest, five volumes of documentation for Ptolemy Classic, a heterogeneous simulation and design environment supporting multiple models of computation and the predecessor to Ptolemy II, a Java-based environment.
  9. Takashi Miyazaki and Edward A. Lee, "Code Generation by using Integer-Controlled Dataflow Graph," Proc. of ICASSP 97, Munich, Germany, April 1997.
  10. S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-Vincentelli, "Design of Embedded Systems: Formal Models, Validation, and Synthesis," Proceedings of the IEEE, Vol. 85, No. 3, March 1997.
  11. Sundarajan Sriram and Edward A. Lee, "Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors," Journal of VLSI Signal Processing, Vol. 15, No. 3, pp. 207-220, March 1997.
  12. Samson Abramsky, Simon J. Gay and Rajagopal Nagarajan."A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems," In TACS 97: Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software. (M. Abadi and T. Ito eds.) Springer Verlag, To Appear.
  13. Samson Abramsky, Simon J. Gay and Rajagopal Nagarajan. "Types for Deadlock-freedom: The Synchronous Case," Submitted to Theoretical Computer Science, June 16, 1997.
  14. Stephen A. Edwards, "The Specification and Execution of Heterogeneous Synchronous Reactive Systems," Ph.D. Thesis, University of California, Berkeley, May 1997. Available as UCB/ERL M97/31.
  15. Christopher Hylands, Edward A. Lee, and John Reekie, "The Tycho User Interface System," 5th Annual Tcl/Tk Workshop '97, Boston, Massachusetts, July, 1997.
  16. Shuvra Bhattacharyya, Praveen Murthy, and Edward A. Lee, "Optimized Software Synthesis for Synchronous Dataflow," International Conference on Application Specific Systems, Architectures, and Processors, July, 1997, invited paper.
  17. Shuvra Bhattacharyya, Sundarajan Sriram, and Edward A. Lee, "Optimizing Synchronization in Multiprocessor DSP Systems," IEEE Tr. on Signal Processing, Vol. 45, No. 6, June 1997.
  18. William Chen, "Real-time Signal Processing on the Ultrasparc," Master's Report, ERL Technical Memorandum UCB/ERL No. 97/4, University of California, Berkeley, CA 94720, May 6, 1997.
  19. Takashi Miyazaki, "Integer-Controlled Dataflow in Ptolemy," ERL Technical Memorandum UCB/ERL No. 97/21, University of California, Berkeley, CA 94720, March 19, 1997.
  20. Asawaree Kalavade and Edward A. Lee, "The Extended Partitioning Problem: Hardware/Software Mapping and Implementation-Bin Selection," to appear in Journal of Design Automation for Embedded Systems, vol. 2, March 1997, pp. 125-163.
  21. Shuvra Bhattacharyya, Praveen K. Murthy, and Edward A. Lee, "APGAN and RPMC: Complimentary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations," Journal of Design Automation for Embedded Systems, Vol. 2, No. 1, pp. 33-60, January, 1997.
  22. Edward A. Lee, "A Denotational Semantics for Dataflow with Firing," Memorandum UCB/ERL M97/3, Electronics Research Laboratory, U. C. Berkeley, January 1997.
  23. Wan-Teh Chang, Soonhoi Ha, and Edward A. Lee, "Heterogeneous Simulation -- Mixing Discrete-Event Models with Dataflow," invited paper, Journal on VLSI Signal Processing, Vol. 13, No. 1, January 1997.
  24. Edward A. Lee and Alberto Sangiovanni-Vincentelli, "A Denotational Framework for Comparing Models of Computation," ERL Memorandum UCB/ERL M97/11, University of California, Berkeley, CA 94720, January 30, 1997.
  25. Patrick Warner, "Network of Workstations Active Messages Target for Ptolemy C Code Generation," Master's Report, ERL Technical Memorandum UCB/ERL No. 97/8, University of California, Berkeley, CA 94720, January 24, 1997.