CIS 642
Seminars in Distributed and Real-time Computing

Books:

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

2. [Ven99]
   Inside The Java Virtual Machine, 2nd Ed Dec 23, 1999
   Bill Venners
   McGraw Hill Professional Publishing

Papers:

1. [Ber97]
   Formal Java bytecode Semantics
   Semantics of Java Bytecode
   Peter Bertelsen
   Technical Paper, Royal Veterinary and Agricultural University 1997

2. [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.

3. [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.

4. [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

5. [SB94]
   Efficient Aperiodic Service under Earliest Deadline Scheduling
   Marco Spuri, Giorgio C. Buttazzo
   IEEE, 1994

6. [AB98]
   Integrating Multimedia Applications in Hard Real-Time Systems
   Luca Abeni, Giorgio C. Buttazzo
   IEEE, 1998

7. [BLA98]
   Elastic Task Model For Adaptive Rate Control
   Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni
   IEEE, 1998

8. [JavaPEA1]
   Performance Enhancement Techniques
   The Java HotSpot Performance Engine Architecture
   http://java.sun.com/products/hotspot/whitepaper.html

9. [GGJZ00]
   G. Gunter, E. Gunter, M. Jackson, P. Zave,
   "A Reference Model for Requirements and Specifications,"
   IEEE Software, May/June 2000, pp. 37-43.

10. [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.

URLS:

1. [JVM1]
   Lists of currently available JVMs. This URL has links to many JVM urls.
   http://www.geocities.com/SiliconValley/Lakes/6686/java.html

2. [JVM2]
   Lists of programming languages running on JVM
   http://grunge.cs.tu-berlin.de/~tolk/vmlanguages.html

3. [Java1]
   Pointers for Research on Java Implementation
   http://www.cs.umd.edu/~pugh/java/papers.html