Towards Compositional Worst-Case Execution Time Analysis for Hume Programs

Search results

• Finished

  EP/F030657/1 Adaptive Hardware Systems: Copy of Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds

  Hammond, K. (PI)

  EPSRC

  1/09/08 → 31/08/11

  Project: Standard

  • Multicore 100%
  • Refactoring 95%
  • Parallelism 94%
  • Domain-specific languages 71%
  • Parallel Program 59%