CIS 642
Seminars in Distributed and Real-time Computing

Professor Insup Lee
Moore 224 Wed 3-6pm

Home | Schedule | Reference | Lectures | Topics | Projects



  1. [Liu00]
    Real-Time Systems 2000
    Jane W. S. Liu,
    Prentice Hall
  1. [LiYe99]
    The Java Virtual Machine Specification 2nd Ed April 1999
    Tim Lindholm, Frank Yellin
    Addison Wesley
  1. [Ven99]
    Inside The Java Virtual Machine, 2nd Ed Dec 23, 1999
    Bill Venners
    McGraw Hill Professional Publishing


  1. [Ber97]
    Formal Java bytecode Semantics
    Semantics of Java Bytecode
    Peter Bertelsen
    Technical Paper, Royal Veterinary and Agricultural University 1997
  1. [BP94]
    Protocol Testing: Review of Methods and Relevance for Software Testing
    G. von Bochmann and A. Petrenko
    International Symposium on Software Specification, Testing and Analysis, August 1994.
  1. [DSA99]
    Test Development for Communication Protocols: Towards Automation
    R. Dssouli, K. Saleh, E. Abdoulhamid, A. En-Nouaary, C. Bourhfir
    Computer Networks, Vol 31, 1999, pp. 1835-1872.
  1. [Sug00]
    Just-In-Time Compiler
    Overview of the IBM Java Just-in-Time Compiler
    T.Suganuma, etc
    IBM Systems Journal Vol 39, No 1 2000
  1. [SB94]
    Efficient Aperiodic Service under Earliest Deadline Scheduling
    Marco Spuri, Giorgio C. Buttazzo
    IEEE, 1994
  1. [AB98]
    Integrating Multimedia Applications in Hard Real-Time Systems
    Luca Abeni, Giorgio C. Buttazzo
    IEEE, 1998
  1. [BLA98]
    Elastic Task Model For Adaptive Rate Control
    Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni
    IEEE, 1998
  1. [JavaPEA1]
    Performance Enhancement Techniques
    The Java HotSpot Performance Engine Architecture
  1. [GGJZ00]
    G. Gunter, E. Gunter, M. Jackson, P. Zave,
    "A Reference Model for Requirements and Specifications,"
    IEEE Software, May/June 2000, pp. 37-43.
  1. [PM95]
    D.L. Parnas and J. Madey,
    "Functional documentation for computer systems,"
    Science of Computer Programming, Vol 25, No 1, Oct 1995, pp. 41-61.


  1. [JVM1]
    Lists of currently available JVMs. This URL has links to many JVM urls.
  1. [JVM2]
    Lists of programming languages running on JVM
  1. [Java1]
    Pointers for Research on Java Implementation

Last update: Feb 13, 2001 EST 9:57pm