Search research publications and outputs

  1. 2006
  2. An Operational Semantics in UTP for a Language of Reactive Designs

    Woodcock, J., 2006, p. 84-84.

    Research output: Contribution to conferenceAbstract

  3. 1997
  4. 1995
  5. Trade-offs For Memory Bandwidth Reduction in Stack Processor Design

    Crispin-Bailey, C. & sotudeh, R., 5 Jul 1995.

    Research output: Contribution to conferenceAbstract

  6. 1993
  7. Quantitative Assessment of Machine-Stack behaviour for better Computer Performance

    Crispin-Bailey, C. & Sotudeh, R., 1993, p. 1. 11 p.

    Research output: Contribution to conferenceAbstract