Skip to main content

Research Repository

Advanced Search

All Outputs (47)

Simulating Dynamic Vehicle Routing Problems with Athos (2019)
Conference Proceeding
Hoffman, B., Guckert, M., Chalmers, K., & Urquhart, N. (2019). Simulating Dynamic Vehicle Routing Problems with Athos. In Proceedings of the 33rd International ECMS Conference on Modelling and Simulation ECMS 2019 (296-302). https://doi.org/10.7148/2019-0296

Complex routing problems, such as vehicle routing problems with additional constraints, are both hard to solve and hard to express in a form that is accessible to the human expert and at the same time processible by a computer system that is supposed... Read More about Simulating Dynamic Vehicle Routing Problems with Athos.

Athos - A Model Driven Approach to Describe and Solve Optimisation Problems (2019)
Conference Proceeding
Hoffman, B., Chalmers, K., Urquhart, N., & Guckert, M. (2019). Athos - A Model Driven Approach to Describe and Solve Optimisation Problems. . https://doi.org/10.1145/3300111.3300114

Implementing solutions for optimisation problems with general purpose high-level programming languages is a time consuming task that can only be carried out by professional software developers who typically are not domain experts. We address this pro... Read More about Athos - A Model Driven Approach to Describe and Solve Optimisation Problems.

Towards reducing complexity of multi-agent simulations by applying model-driven techniques (2018)
Conference Proceeding
Hoffman, B., Chalmers, K., Urquhart, N., Farrenkopf, T., & Guckert, M. (2018). Towards reducing complexity of multi-agent simulations by applying model-driven techniques. In Y. Demazeau, B. An, J. Bajo, & A. Fernández-Caballero (Eds.), Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection. PAAMS 2018 (187-199). https://doi.org/10.1007/978-3-319-94580-4_15

Creating multi-agent simulations is a challenging task often requiring programming skills at the professional software developer level. Model driven methods of software development are an appropriate tool for reducing the complexity of the developmen... Read More about Towards reducing complexity of multi-agent simulations by applying model-driven techniques.

Using a task classification in the visualisation design process for task understanding and abstraction: an empirical study (2018)
Conference Proceeding
Kerracher, N., Kennedy, J., & Chalmers, K. (2018). Using a task classification in the visualisation design process for task understanding and abstraction: an empirical study. In J. Johansson, F. Sadlo, & T. Schreck (Eds.), Proceedings of the 2018 Eurographics Conference on Visualization (EuroVis 2018) - Short Papers (79-83). https://doi.org/10.2312/eurovisshort.20181082

Task classifications are widely purported to be useful in the design process, with various suggestions having been made for their use at the different stages. However, little has been written regarding the actual use of task classifications in these... Read More about Using a task classification in the visualisation design process for task understanding and abstraction: an empirical study.

A Domain-Specific Language For Routing Problems (2018)
Conference Proceeding
Hoffmann, B., Hoffman, B., Guckert, M., Farrenkopf, T., Chalmers, K., & Urquhart, N. (2018). A Domain-Specific Language For Routing Problems. In L. Nolle, A. Burger, C. Tholen, J. Werner, & J. Wellhausen (Eds.), Proceedings of the 32nd EUROPEAN CONFERENCE ON MODELLING AND SIMULATION. https://doi.org/10.7148/2018-0262

Vehicle Routing Problems (VRPs) are commonly used as benchmark optimisation problems and they also have many applications in industry. Using agent-based approaches to solve VRPs allows the analysis of dynamic VRP instances that incorporate congestion... Read More about A Domain-Specific Language For Routing Problems.

Building a C++CSP Channel Using C++ Atomics (2017)
Conference Proceeding
Chalmers, K. (2019). Building a C++CSP Channel Using C++ Atomics. . https://doi.org/10.3233/978-1-61499-949-2-19

Mutex-based implementations of synchronous channels are slow. This work investigates atomic operations as a technique to improve communication efficiency between two threads via a busy channel. Such a channel provides faster communication than a mute... Read More about Building a C++CSP Channel Using C++ Atomics.

What are Communicating Process Architectures? Towards a Framework for Evaluating Message-passing Concurrency Languages (2017)
Conference Proceeding
Chalmers, K. (2019). What are Communicating Process Architectures? Towards a Framework for Evaluating Message-passing Concurrency Languages. . https://doi.org/10.3233/978-1-61499-949-2-227

What does it mean to be a message-passing concurrent language? This work attempts to build a framework for classifying such languages by judging four in regards to features and performance. Features of process calculi are used to evaluate Go, Rust, E... Read More about What are Communicating Process Architectures? Towards a Framework for Evaluating Message-passing Concurrency Languages.

Communicating Connected Components: Extending Plug-and-Play to Support Skeletons (2017)
Conference Proceeding
Chalmers, K., Kerridge, J., & Pedersen, J. B. (2017). Communicating Connected Components: Extending Plug-and-Play to Support Skeletons. In Communicating Process Architectures 2016

For a number of years, the Communicating Process Architecture (CPA) community have developed languages and runtimes supporting message passing concurrency. For these we always provide a set of reusable processes called plug and play. These components... Read More about Communicating Connected Components: Extending Plug-and-Play to Support Skeletons.

The Design and Evaluation of a Modern C++ Library (2016)
Conference Proceeding
Chalmers, K. (2016). The Design and Evaluation of a Modern C++ Library. In Communicating Process Architectures 2016

Although many CSP inspired libraries exist, none yet have targeted modern C++ (C++11 onwards). The work presented has a main objective of providing a new C++ CSP library which adheres to modern C++ design principles and standards. A secondary objecti... Read More about The Design and Evaluation of a Modern C++ Library.

A Task Orientated Requirements Ontology for Cloud Computing Services (2016)
Conference Proceeding
Greenwell, R., Liu, X., Chalmers, K., & Pahl, C. (2016). A Task Orientated Requirements Ontology for Cloud Computing Services. In Proceedings of the 6th International Conference on Cloud Computing and Services Science (CLOSER 2016) (121-128). https://doi.org/10.5220/0005752301210128

Requirements ontology offers a mechanism to map requirements for cloud computing services to cloud computing resources. Multiple stakeholders can capture and map knowledge in a flexible and efficient manner. The major contribution of the paper is the... Read More about A Task Orientated Requirements Ontology for Cloud Computing Services.

Pricing Ontology for Task-Oriented Cloud Sourcing (2016)
Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2016). Pricing Ontology for Task-Oriented Cloud Sourcing. In 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud). https://doi.org/10.1109/ficloud.2016.17

Cloud computing allows access to computing resources from a number of providers, who offer multiple pricing strategies for selected product characteristics. The service offerings are becoming increasingly complex, with innovations such as spot market... Read More about Pricing Ontology for Task-Oriented Cloud Sourcing.

Semantic description of cloud service agreements (2015)
Conference Proceeding
Greenwell, R., Liu, X., & Chalmers, K. (2015). Semantic description of cloud service agreements. In Science and Information Conference (SAI), 2015 (823-831). https://doi.org/10.1109/sai.2015.7237239

To provide cloud services as a utility there must be a mechanism for comprehensively and precisely specifying cloud service agreements to reduce differences in service perception between customers and suppliers. This paper proposes a description... Read More about Semantic description of cloud service agreements.

Visual techniques to support exploratory analysis of temporal graph data. (2015)
Conference Proceeding
Kerracher, N., Kennedy, J., Chalmers, K., & Graham, M. (2015). Visual techniques to support exploratory analysis of temporal graph data. In E. Bertini, J. Kennedy, & E. Puppo (Eds.), Proceedings of the Eurographics Conference on Visualization (EuroVis '15), Short Papers Track (103-107). https://doi.org/10.2312/eurovisshort.20151133

Recently, much research has focused on developing techniques for the visual representation of temporal graph data. This paper takes a wider look at the visual techniques involved in exploratory analysis of such data, considering the variety of sub ta... Read More about Visual techniques to support exploratory analysis of temporal graph data..

A Task Taxonomy for Temporal Graph Visualisation (2015)
Journal Article
Kerracher, N., Kennedy, J., & Chalmers, K. (2015). A Task Taxonomy for Temporal Graph Visualisation. IEEE Transactions on Visualization and Computer Graphics, 21(10), 1160-1172. https://doi.org/10.1109/tvcg.2015.2424889

By extending and instantiating an existing formal task framework, we define a task taxonomy and task design space for temporal graph visualisation. We discuss the process involved in their generation, and describe how the design space can be ‘sliced... Read More about A Task Taxonomy for Temporal Graph Visualisation.

Collaborative Diffusion on the GPU for Path-Finding in Games (2015)
Conference Proceeding
McMillan, C., Hart, E., & Chalmers, K. (2015). Collaborative Diffusion on the GPU for Path-Finding in Games. In A. M. Mora, & G. Squillero (Eds.), Applications of Evolutionary Computation; Lecture Notes in Computer Science (418-429). https://doi.org/10.1007/978-3-319-16549-3_34

Exploiting the powerful processing power available on the GPU in many machines, we investigate the performance of parallelised versions of pathfinding algorithms in typical game environments. We describe a parallel implementation of a collaborative d... Read More about Collaborative Diffusion on the GPU for Path-Finding in Games.

Communicating Process Architectures 2014 (2014)
Conference Proceeding
(2014). Communicating Process Architectures 2014. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, T. Gibson-Robinson, R. Ivimey-Cook, …M. L. Smith (Eds.), Communicating Process Architectures 2014

CPA 2014 is one of an annual series of conferences organised over almost thirty years concerned with the design of parallel systems inspired by the Theory of Communicating Sequential Processes (CSP) of C. A. R. Hoare. Particular aims are the promotio... Read More about Communicating Process Architectures 2014.

Poxels: polygonal voxel environment rendering (2014)
Conference Proceeding
Miller, M., Cumming, A., Chalmers, K., Kenwright, B., & Mitchell, K. (2014). Poxels: polygonal voxel environment rendering. In Proceedings of the 20th ACM Symposium on Virtual Reality Software and Technology - VRST '14 (235-236). https://doi.org/10.1145/2671015.2671125

We present efficient rendering of opaque, sparse, voxel environments with data amplified in local graphics memory with stream-out from a geomery shader to a cached vertex buffer pool. We show that our Poxel rendering primitive aligns with optimized r... Read More about Poxels: polygonal voxel environment rendering.

An Upper Ontology for Benefits Management of Cloud Computing (2014)
Journal Article
Greenwell, R., Liu, X., & Chalmers, K. (2014). An Upper Ontology for Benefits Management of Cloud Computing. International Journal of Advanced Computer Science and Applications, 5(12), https://doi.org/10.14569/IJACSA.2014.051211

Benefits Management provides an established approach for decision making and value extraction for IT/IS investments and, can be used to examine cloud computing investments. The motivation for developing an upper ontology for Benefits Management is th... Read More about An Upper Ontology for Benefits Management of Cloud Computing.