Outputs (740)

Hypercubic storage layout and transforms in arbitrary dimensions using GPUs and CUDA (2010)
Journal Article
Hawick, K. A., & Playne, D. P. (2011). Hypercubic storage layout and transforms in arbitrary dimensions using GPUs and CUDA. Concurrency and Computation: Practice and Experience, 23(10), 1027-1050. https://doi.org/10.1002/cpe.1628

Many simulations in the physical sciences are expressed in terms of rectilinear arrays of variables. It is attractive to develop such simulations for use in 1-, 2-, 3- or arbitrary physical dimensions and also in a manner that supports exploitation o... Read More about Hypercubic storage layout and transforms in arbitrary dimensions using GPUs and CUDA.

Parallel graph component labelling with GPUs and CUDA (2010)
Journal Article
Hawick, K. A., Leist, A., & Playne, D. P. (2010). Parallel graph component labelling with GPUs and CUDA. Parallel Computing, 36(12), 655-678. https://doi.org/10.1016/j.parco.2010.07.002

Graph component labelling, which is a subset of the general graph colouring problem, is a computationally expensive operation that is of importance in many applications and simulations. A number of data-parallel algorithmic variations to the componen... Read More about Parallel graph component labelling with GPUs and CUDA.

GN-DTD: Graphical notation for describing XML documents (2010)
Presentation / Conference Contribution
Zainol, Z., & Wang, B. (2010, April). GN-DTD: Graphical notation for describing XML documents. Presented at 2nd International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2010

This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us to capture syntax and semantic of XML documents in a simple way but preci... Read More about GN-DTD: Graphical notation for describing XML documents.

Regular lattice and small-world spin model simulations using CUDA and GPUs (2010)
Journal Article
Hawick, K. A., Leist, A., & Playne, D. P. (2011). Regular lattice and small-world spin model simulations using CUDA and GPUs. International Journal of Parallel Programming, 39(2), 183-201. https://doi.org/10.1007/s10766-010-0143-4

Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over evenmulti-coreCPUs for lattice-oriented applications in computational physics. Models such as the Ising and Potts models... Read More about Regular lattice and small-world spin model simulations using CUDA and GPUs.

A translation of state machines to temporal fault trees (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010, June). A translation of state machines to temporal fault trees. Presented at 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W)

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or c... Read More about A translation of state machines to temporal fault trees.

Cognitive architectures for affect and motivation (2010)
Journal Article
Davis, D. N. (2010). Cognitive architectures for affect and motivation. Cognitive Computation, 2(3), 199-216. https://doi.org/10.1007/s12559-010-9053-4

General frameworks of mind map across tasks and domains. By what means can a general architecture know when it has adapted to a specific task, a particular environment or a specific state of a previously known environment? Our current work on this th... Read More about Cognitive architectures for affect and motivation.

Robo-CAMAL: A BDI Motivational Robot (2010)
Journal Article
Davis, D., & Gwatkin, J. (2010). Robo-CAMAL: A BDI Motivational Robot. Paladyn, 1(2), 116-129. https://doi.org/10.2478/s13230-010-0010-4

Motivation is a central concept in the development of autonomous agents and robots. This paper describes an architecture that uses a psychological BDI model of reasoning, combined with a distributed multi-level model of motivation. The robot controll... Read More about Robo-CAMAL: A BDI Motivational Robot.

Beyond desktop point and click: Immersive walkthrough of aerospace structures (2010)
Presentation / Conference Contribution
Courter, D., Springer, J. P., Neumann, C., Cruz-Neira, C., & Reiners, D. (2010, March). Beyond desktop point and click: Immersive walkthrough of aerospace structures. Presented at 2010 IEEE Aerospace Conference, Big Sky, MT, USA

There are a number of 3D applications that have shown the benefits of using visualization techniques for virtual prototyping and education in aerospace engineering. However,these applications typically run only on desktop computers and user interacti... Read More about Beyond desktop point and click: Immersive walkthrough of aerospace structures.

Generalizable safety annotations for specification of failure patterns (2010)
Journal Article
Papadopoulos, Y., Walker, M., Grunske, L., & Wolforth, I. (2010). Generalizable safety annotations for specification of failure patterns. Software: Practice and Experience, 40(5), 453-483. https://doi.org/10.1002/spe.966

Components in programmable systems often exhibit patterns of failure that are independent of function or system context. In this paper, we show that it is possible to capture, and reuse where appropriate, such patterns for the purposes of system safe... Read More about Generalizable safety annotations for specification of failure patterns.

Reliable decentralized supervisory control of fuzzy discrete event systems (2010)
Journal Article
Wang, F., Feng, Z., & Jiang, P. (2010). Reliable decentralized supervisory control of fuzzy discrete event systems. Fuzzy Sets and Systems, 161(12), 1657-1668. https://doi.org/10.1016/j.fss.2010.02.002

Decentralized supervisory control has been introduced to deal with a class of fuzzy discrete event systems (DES) in which state transitions are uncertain. In this paper, we develop the work on fuzzy DES to consider the reliable decentralized supervis... Read More about Reliable decentralized supervisory control of fuzzy discrete event systems.