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

Kevin Hammond (Creator)
Christopher Mark Brown (Creator)
Susmit Sarkar (Creator)

Dataset

Date made available	19 Jul 2016
Publisher	Zenodo

Keywords

Multicore
Relaxed-memory concurrency
Functional correctness
Algorithmic skeletons
Operational semantics
Timing models

Contact

[email protected]

DOI
10.5281/zenodo.58198

1 Finished

H2020 Collaboration REPHRASE: H2020 Collaboration 2014 - RePhrase
Hammond, K. (PI)
European Commission
1/04/15 → 31/03/18
Project: Standard

1 Conference contribution

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 proceeding › Conference contribution

Open Access
File

Cite this