Skip to content

Research at St Andrews

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

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 248137852

Top