Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores - Dataset

Dataset

Date made available19 Jul 2016
PublisherZenodo

Keywords

  • Multicore
  • Relaxed-memory concurrency
  • Functional correctness
  • Algorithmic skeletons
  • Operational semantics
  • Timing models
  • Timing properties and correctness for structured parallel programs on x86-64 multicores

    Hammond, K., Brown, C. M. & Sarkar, S., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. van Eekelen, M. & Dal Lago, U. (eds.). Springer, p. 101-125 26 p. (Lecture Notes in Computer Science; vol. 9964).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)

Cite this