paperlist

Paper list 182.139 PhD Primary Area Computer Engineering Introduction (182.139)
v1.5  2.10.2012    U. Schmid, A. Steininger, P. Puschner, H. Veith, R. Grosu

 

  1. [Lap85] Jean-Claude Laprie Dependable Computing and Fault-Tolerance: Concepts and Terminology
    Proceedings 15th International Symposium on Fault-Tolerant Computing, 1985, pp.2-11.
  2. [Sut89] Ivan E. Sutherland Micropipelines. Communication of the ACM, vol 32, no 6, June 1989
  3. [Mar90]  Alain J. Martin Limitations to Delay-Insensitivity in Asynchronous Circuits.  Technical Report. California Institute of Technology. CaltechCSTR:1990.cs-tr-90-02
  4. [Lam78] Leslie Lamport. Time, clocks, and the ordering of events in a distributed system, Communications of the ACM 21 (7): 558-565, 1978.
  5. [LSP82] Leslie Lamport, Robert Shostak, Marshall Pease. The Byzantine generals problem, ACM Transactions on Programming Languages and Systems 4 (3): 382-401, 1982.
  6. [KT87] R. Koo and S. Toueg, Checkpointing and rollback-recovery for distributed systems. IEEE Trans. Software Eng. 13 1 (1987), pp. 23–31.
  7. [LL73] C. L. Liu, James Layland. Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM 20 (1): 46-61, 1973
  8. [BHJM07] Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. The software model checker Blast. Software Tools for Technology Transfer 9:505-526, 2007
  9. [AHLP00] R. Alur, T.A. Henzinger, G. Lafferriere, and G.J. Pappas. Discrete Abstractions of Hybrid Systems. Proceedings of the IEEE, 2000.
  10. [ACHH95] R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138:3-34, 1995