Page 22 out of 24 total pages
[1] G. A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, MA, 1986.
[2] G. A. Agha, "Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems," in Formal Methods for Open Object-based Distributed Systems, IFIP Transactions, E. Najm and J.-B. Stefani, Eds., Chapman & Hall, 1997.
[3] R. Allen and D. Garlan, "Formalizing Architectural Connection," in Proc. of the 16th International Conference on Software Engineering (ICSE 94), May 1994, pp. 71-80, IEEE Computer Society Press.
[4] G. R. Andrews, Concurrent Programming -- Principles and Practice, Addison-Wesley, 1991.
[5] R. L. Bagrodia, "Parallel Languages for Discrete Event Simulation Models," IEEE Computational Science & Engineering, vol. 5, no. 2, April-June 1998, pp 27-38.
[6] R. Bagrodia, R. Meyer, et al., "Parsec: A Parallel Simulation Environment for Complex Systems," IEEE Computer, vol. 31, no. 10, October 1998, pp 77-85.
[7] A. Benveniste and G. Berry, "The Synchronous Approach to Reactive and Real-Time Systems," Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp. 1270-1282.
[8] A. Benveniste and P. Le Guernic, "Hybrid Dynamical Systems Theory and the SIGNAL Language," IEEE Tr. on Automatic Control, Vol. 35, No. 5, pp. 525-546, May 1990.
[9] G. Berry and G. Gonthier, "The Esterel synchronous programming language: Design, semantics, implementation," Science of Computer Programming, 19(2):87-152, 1992.
[10] S. Bhatt, R. M. Fujimoto, A. Ogielski, and K. Perumalla, "Parallel Simulation Techniques for Large-Scale Networks," IEEE Communications Magazine, Vol. 36, No. 8, August 1998, pp. 42-47.
[11] Randy Brown, "CalendarQueue: A Fast Priority Queue Implementation for The Simulation Event Set Problem", Communications of the ACM, October 1998, Volume 31, Number 10.
[12] V. Bryant, "Metric Spaces," Cambridge University Press, 1985.
[13] J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int. Journal of Computer Simulation, special issue on "Simulation Software Development," vol. 4, pp. 155-182, April, 1994. (http://ptolemy.eecs.berkeley.edu/publications/papers/94/JEurSim).
[14] A. Burns, Programming in OCCAM 2, Addison-Wesley, 1988.
[15] James C. Candy, "A Use of Limit Cycle Oscillations to Obtain Robust Analog-to-Digital Converters," IEEE Tr. on Communications, Vol. COM-22, No. 3, pp. 298-305, March 1974.
[16] L. Cardelli, Type Systems, Handbook of Computer Science and Engineering, CRC Press, 1997.
[17] P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, "LUSTRE: A Declarative Language for Programming Synchronous Systems," Conference Record of the 14th Annual ACM Symp. on Principles of Programming Languages, Munich, Germany, January, 1987.
[18] K. M. Chandy and J. Misra, "Asynchronous Distributed Simulation Via a Sequence of Parallel Computations," Communications of the ACM, vol. 24, no. 11, November 1981, pp 198-205.
[19] B. A. Davey and H. A. Priestly, Introduction to Lattices and Order, Cambridge University Press, 1990.
[20] S. 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. (http://ptolemy.eecs.berkeley.edu/papers/97/sedwardsThesis/)
[21] P. H. J. van Eijk, C. A. Vissers, M. Diaz, The formal description technique LOTOS, Elsevier Science, B.V., 1989. (http://wwwtios.cs.utwente.nl/lotos)
[22] P. A. Fishwick, Simulation Model Design and Execution: Building Digital Worlds, Prentice Hall, 1995.
[23] M. Fowler and K. Scott, UML Distilled, Addison-Wesley, 1997.
[24] R. M. Fujimoto, "Parallel Discrete Event Simulation," Communications of the ACM, vol. 33, no. 10, October 1990, pp 30-53.
[25] E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading MA, 1995.
[26] C. W. Gear, "Numerical Initial Value Problems in Ordinary Differential Equations," Prentice Hall Inc. 1971.
[27] A. J. C. van Gemund, "Performance Prediction of Parallel Processing Systems: The PAMELA Methodology," Proc. 7th Int. Conf. on Supercomputing, pages 418-327, Tokyo, July 1993.
[28] A. Girault, B. Lee, and E. A. Lee, "Hierarchical Finite State Machines with Multiple Concurrency Models," April 13, 1998 (revised from Memorandum UCB/ERL M97/57, Electronics Research Laboratory, University of California, Berkeley, CA 94720, August 1997). (http://ptolemy.eecs.berkeley.edu/publications/papers/98/starcharts)
[29] M. Goel, Process Networks in Ptolemy II, MS Report, ERL Technical Report UCB/ERL No. M98/69, University of California, Berkeley, CA 94720, December 16, 1998. (http://ptolemy.eecs.berkeley.edu/publications/papers/98/PNinPtolemyII)
[30] D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Sci. Comput. Program., vol 8, pp. 231-274, 1987.
[31] P. G. Harrison, "A Higher-Order Approach to Parallel Algorithms," The Computer Journal, Vol. 35, No. 6, 1992.
[32] T. A. Henzinger, "The theory of hybrid automata," in Proceedings of the 11th Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, 1996, pp. 278-292, invited tutorial.
[33] T.A. Henzinger, and O. Kupferman, and S. Qadeer, "From prehistoric to postmodern symbolic model checking," in CAV 98: Computer-aided Verification, pp. 195-206, eds. A.J. Hu and M.Y. Vardi, Lecture Notes in Computer Science 1427, Springer-Verlag, 1998.
[34] M. G. Hinchey and S. A. Jarvis, Concurrent Systems: Formal Developments in CSP, McGraw-Hill, 1995.
[35] C. W. Ho, A. E. Ruehli, and P. A. Brennan, "The Modified Nodal Approach to Network Analysis," IEEE Tran. on Circuits and Systems, Vol. CAS-22, No. 6, 1975, pp. 504-509.
[36] C. A. R. Hoare, "Communicating Sequential Processes," Communications of the ACM, Vol. 21, No. 8, August 1978.
[37] C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.
[38] IEEE DASC 1076.1 Working Group, "VHDL-A Design Objective Document, version 2.3," http://www.vhdl.org/analog/ftp_files/requirements/DOD_v2.3.txt
[39] D. Jefferson, Brian Beckman, et al, "Distributed Simulation and the Time Warp Operating System," UCLA Computer Science Department: 870042, 1987.
[40] G. Kahn, "The Semantics of a Simple Language for Parallel Programming," Proc. of the IFIP Congress 74, North-Holland Publishing Co., 1974.
[41] G. Kahn and D. B. MacQueen, "Coroutines and Networks of Parallel Processes," Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
[42] P. Laramie, R.S. Stevens, and M.Wan, "Kahn process networks in Java," ee290n class project report, Univ. of California at Berkeley, 1996.
[43] D. Lea, Concurrent Programming in JavaTM, Addison-Wesley, Reading, MA, 1997.
[44] B. Lee and E. A. Lee, "Interaction of Finite State Machines with Concurrency Models," Proc. of Thirty Second Annual Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, November 1998. (http://ptolemy.eecs.berkeley.edu/publications/papers/98/InteractionFSM/)
[45] E. A. Lee, "Modeling Concurrent Real-time Processes Using Discrete Events," Invited paper to Annals of Software Engineering, Special Volume on Real-Time Software Engineering, to appear, 1998. Also UCB/ERL Memorandum M98/7, March 4th 1998.(http://ptolemy.eecs.berkeley.edu/publications/papers/98/realtime)
[46] B. Lee and E. A. Lee, "Hierarchical Concurrent Finite State Machines in Ptolemy," Proc. of International Conference on Application of Concurrency to System Design, p. 34-40, Fukushima, Japan, March 1998. (http://ptolemy.eecs.berkeley.edu/publications/papers/98/HCFSMinPtolemy/)
[47] E. A. Lee and D. G. Messerschmitt, "Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing," IEEE Trans. on Computers, January, 1987.
[48] E. A. Lee and T. M. Parks, "Dataflow Process Networks,", Proceedings of the IEEE, vol. 83, no. 5, pp. 773-801, May, 1995. (http://ptolemy.eecs.berkeley.edu/publications/papers/95/processNets)
[49] E. A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation,", to appear, IEEE Transactions on CAD, (Revised from ERL Memorandum UCB/ERL M97/11, University of California, Berkeley, CA 94720, January 30, 1997). (http://ptolemy.eecs.berkeley.edu/publications/papers/97/denotational/)
[50] M. A. Lemkin, Micro Accelerometer Design with Digital Feedback Control, Ph.D. dissertation, University of California, Berkeley, Fall 1997.
[51] J. Liu, Continuous Time and Mixed-Signal Simulation in Ptolemy II, MS Report, UCB/ERL Memorandum M98/74, Dept. of EECS, University of California, Berkeley, CA 94720, December 1998. (http://ptolemy.eecs.berkeley.edu/publications/papers/98/MixedSignalinPtII/)
[52] J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S. Sastry, and E. A. Lee, "Hierarchical Hybrid System Simulation", submitted to 1999 38th IEEE Conference on Decision and Control (CDC'99), Phoenix, Arizona.
[53] D. C. Luckham and J. Vera, "An Event-Based Architecture Definition Language," IEEE Transactions on Software Engineering, 21(9), pp. 717-734, September, 1995.
[54] F. Maraninchi, "The Argos Language: Graphical Representation of Automata and Description of Reactive Systems," in Proc. of the IEEE Workshop on Visual Languages, Kobe, Japan, Oct. 1991.
[55] S. McConnell, Code Complete: A Practical Handbook of Software Construction, Microsoft Press, 1993.
[56] B. Meyer, Object Oriented Software Construction, 2nd ed., Prentice Hall, 1997.
[57] R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ, 1989.
[58] R. Milner, "A Calculus of Communicating Systems", Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, 1980.
[59] R. Milner, A Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences 17, pp. 384-375, 1978.
[60] J. Misra, "Distributed Discrete-Event Simulation," Computing Surveys, vol. 18, no. 1, March 1986, pp 39 - 65.
[61] L. Muliadi, "Discrete Event Modeling in Ptolemy II," MS Report, Dept. of EECS, University of California, Berkeley, CA 94720, May 1999. (http://ptolemy.eecs.berkeley.edu/publications/papers/99/deModeling/)
[62] L. W. Nagal, "SPICE2: A Computer Program to Simulate Semiconductor Circuits," ERL Memo No. ERL-M520, Electronics Research Laboratory, University of California, Berkeley, CA 94720.
[63] NASA Office of Safety and Mission Assurance, Software Formal Inspections Guidebook, August 1993 (http://satc.gsfc.nasa.gov/fi/gdb/fitext.txt).
[64] A. R. Newton and A. L. Sangiovanni-Vincentelli, "Relaxation-Based Electrical Simulation," IEEE Tr. on Electronic Devices, Vol. ed-30, No. 9, Sept. 1983.
[65] S. Oaks and H. Wong, Java Threads, O'Reilly, 1997.
[66] J. K. Ousterhout, Tcl and the Tk Toolkit, Addison-Wesley, Reading, MA, 1994.
[67] J. K. Ousterhout, Scripting: Higher Level Programming for the 21 Century, IEEE Computer magazine, March 1998.
[68] T. M. Parks, Bounded Scheduling of Process Networks, Technical Report UCB/ERL-95-105. Ph.D. Dissertation. EECS Department, University of California. Berkeley, CA 94720, December 1995. (http://ptolemy.eecs.berkeley.edu/publications/papers/95/parksThesis/)
[69] J. K. Peacock, J. W. Wong and E. G. Manning, "Distributed Simulation Using a Network of Processors," Computer Networks, vol. 3, no. 1, February 1979, pp 44-56.
[70] Rational Software Corporation, UML Notation Guide, Version 1.1, September 1997, http://www.rational.com/uml/resources/documentation/notation
[71] J. Reekie, S. Neuendorffer, C. Hylands and E. A. Lee, "Software Practice in the Ptolemy Project," Technical Report Series, GSRC-TR-1999-01, Gigascale Silicon Research Center, University of California, Berkeley, CA 94720, April 1999.(http://ptolemy.eecs.berkeley.edu/publications/papers/99/sftwareprac/)
[72] J. Rehof and T. Mogensen, "Tractable Constraints in Finite Semilattices," Third International Static Analysis Symposium, pp. 285-301, Volume 1145 of Lecture Notes in Computer Science, Springer, Sept., 1996.
[73] A. J. Riel, Object Oriented Design Heuristics, Addison Wesley, 1996.
[74] J. Rowson and A. Sangiovanni-Vincentelli, "Interface Based Design," Proc. of DAC `97.
[75] J. Rumbaugh, et al. Object-Oriented Modeling and Design Prentice Hall, 1991.
[76] J. Rumbaugh, OMT Insights, SIGS Books, 1996.
[77] S. Saracco, J. R. W. Smith, and R. Reed, Telecommunications Systems Engineering Using SDL, North-Holland - Elsevier, 1989.
[78] N. Smyth, Communicating Sequential Processes Domain in Ptolemy II, MS Report, UCB/ERL Memorandum M98/70, Dept. of EECS, University of California, Berkeley, CA 94720, December 1998. (http://ptolemy.eecs.berkeley.edu/publications/papers/98/CSPinPtolemyII/)