Now showing items 1-4 of 4

    • Automatically deriving cost models for structured parallel processes using hylomorphisms 

      Castro, David; Hammond, Kevin; Sarkar, Susmit; Alguwaifli, Yasir (2018-02) - Journal article
      Structured parallelism using nested algorithmic skeletons can greatly ease the task of writing parallel software, since common, but hard-to-debug, problems such as race conditions are eliminated by design. However, choosing ...
    • The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang 

      Stypka, Jan; Turek, Wojciech; Byrski, Aleksander; Kisiel-Dorohinicki, Marek; Barwell, Adam David; Brown, Christopher Mark; Hammond, Kevin; Janjic, Vladimir (2018-02) - Journal article
      Evolutionary multi-agent systems (EMAS) play a critical role in many artificial intelligence applications that are in use today. In this paper, we present a new generic skeleton in Erlang for parallel EMAS computations. ...
    • Structured arrows : a type-based framework for structured parallelism 

      Castro, David (University of St Andrews, 2018-06-27) - Thesis
      This thesis deals with the important problem of parallelising sequential code. Despite the importance of parallelism in modern computing, writing parallel software still relies on many low-level and often error-prone ...
    • Timing properties and correctness for structured parallel programs on x86-64 multicores 

      Hammond, Kevin; Brown, Christopher Mark; Sarkar, Susmit (Springer, 2016) - Conference item
      This paper determines correctness and timing properties for structured parallel programs on x86-64 multicores. Multicore architectures are increasingly common, but real architectures have unpredictable timing properties, ...