Skip to content

Research at St Andrews

Timing properties and correctness for structured parallel programs on x86-64 multicores

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

Type

Related by author

  1. Type-driven verification of non-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 7 Oct 2019, 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019). New York: ACM, 15 p. 6

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

  2. Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C., Barwell, A. & Hammond, K., 24 Jun 2019, In : Concurrency and Computation : Practice and Experience. Early View, p. 1-25 25 p., e5420.

    Research output: Contribution to journalArticle

  3. High-level programming for heterogeneous and hierarchical parallel systems

    García-Blas, J. & Brown, C., 14 Nov 2018, In : International Journal of High Performance Computing Applications. 32, 6, p. 804-806

    Research output: Contribution to journalSpecial issue

  4. Memory consistency models using constraints

    Akgün, Ö., Hoffmann, R. & Sarkar, S., 27 Aug 2018, The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 16 p.

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

ID: 248130167

Top