To achieve scalability with today’s heterogeneous HPC resources, we need a dramatic shift in our thinking; MPI+X is not enough. Asynchronous Many Task (AMT) runtime systems break down the global barriers imposed by the Bulk Synchronous Programming model. HPX is an open-source, C++ Standards compliant AMT runtime system that is developed by a diverse international community of collaborators call...

Standard analyses of omniscience are advanced in terms of a being's knowing the truth value of propositions. For example, Kenny writes that 'The doctrine of omni-science is easy to formulate precisely: it is the doctrine that for all p, then God knows that p.1 Richard Swinburne proposes that 'To say of a person P that he is omniscient at time t is to say that at t P knows of every true proposit...

This work demonstrates the concept of describing adjacency relations as set-valued mappings, which has already been used in graph algorithm implementations for a long time. The primary goal is to provide a way to express matrix sparsity patterns arising from finite element discretisations on unstructured meshes in a directly implementable manner. For this purpose, a formal definition of these m...

This is a study of the theoretical and practical efficiency of priority queues. The priority queue is an old and well studied data structure on which a great deal of theoretical and practical work has already been done. A priority queue can be realised in many ways, some of the most commonly used data structures for this are binary heaps and binomial queues. In this thesis the efficiency of pri...