Publications
118 results found
Cooper P, Dolinsky U, Donaldson AF, et al., 2010, Offload - Automating Code Migration to Heterogeneous Multicore Systems., 5th International Conference HiPEAC 2010, Publisher: Springer, Pages: 337-352, ISSN: 0302-9743
Donaldson AF, Dolinsky U, Richards A, et al., 2010, Automatic Offloading of C plus plus for the Cell BE Processor: a Case Study Using <i>Offload</i>, 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS), Publisher: IEEE COMPUTER SOC, Pages: 901-906
- Author Web Link
- Cite
- Citations: 4
Russell G, Keir P, Donaldson AF, et al., 2010, Programming Heterogeneous Multicore Systems Using Threading Building Blocks, Publisher: Springer, Pages: 117-125
Donaldson AF, Kroening D, Ruemmer P, 2010, Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors, 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at the 13th Joint European Conferences on Theory and Practice of Software, Publisher: SPRINGER-VERLAG BERLIN, Pages: 280-295, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 17
Howes L, Lokhmotov A, Donaldson AF, et al., 2010, Towards Metaprogramming for Parallel Systems on a Chip, 15th International Euro-Par Conference on Parallel Computing, Publisher: SPRINGER-VERLAG BERLIN, Pages: 36-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 2
Donaldson AF, He N, Kroening D, et al., 2010, Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction, Publisher: Springer, Pages: 297-315
Donaldson AF, Miller A, 2009, On the constructive orbit problem, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Vol: 57, Pages: 1-35, ISSN: 1012-2443
- Author Web Link
- Cite
- Citations: 7
Donaldson AF, 2009, Vector Symmetry Reduction, Electronic Notes in Theoretical Computer Science, Vol: 250, Pages: 3-18, ISSN: 1571-0661
Howes LW, Lokhmotov A, Donaldson AE, et al., 2009, Deriving Efficient Data Movement from Decoupled Access/Execute Specifications, 4th International Conference on High Performance Embedded Architectures and Compilers, Publisher: SPRINGER-VERLAG BERLIN, Pages: 168-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 17
Donaldson AF, Keir P, Lokhmotov A, 2009, Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor, 14th International Euro-Par Conference on Parallel Computing, Publisher: SPRINGER-VERLAG BERLIN, Pages: 163-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 3
Donaldson AF, Miller A, Parker D, 2009, Language-level Symmetry Reduction for Probabilistic Model Checking, 6th International Conference on the Quantitative Evaluation of Systems, Publisher: IEEE COMPUTER SOC, Pages: 289-+
- Author Web Link
- Cite
- Citations: 13
Russell G, Donaldson AF, Sheppard P, 2008, Tackling online game development problems with a novel network scripting language, Pages: 85-90
We describe a novel scripting language for writing bandwidth-efficient online game logic. The language facilitates the development of deterministic, concurrent, distributed games, with assurances of consistency maintenance between clients and server. Our approach allows for increased simulation accuracy when compared to dead reckoning, and removes the need to write code to repair distributed state inconsistencies, or to explicitly transfer data over a network. Copyright 2008 ACM.
Donaldson AF, Miller A, 2008, Automatic symmetry detection for Promela, Journal of Automated Reasoning, Vol: 41, Pages: 251-293, ISSN: 0168-7433
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we can detect symmetry in specifications defined in Promela-lite by constructing a directed, coloured bipartite digraph called a static channel diagram, and applying computational group theoretic techniques. We extend our approach to Promela and introduce a tool, SymmExtractor, for automatically detecting symmetries of Promela specifications. We demonstrate the effectiveness of our approach via experimental results for a suite of Promela specifications. Unlike previous approaches our technique is fully automatic, and not restricted to fully symmetric systems. © 2008 Springer Science+Business Media B.V.
Donaldson A, Riley C, Lokhmotov A, et al., 2008, Auto-parallelisation of Sieve C++ Programs, Publisher: Springer Berlin Heidelberg, Pages: 18-27, ISSN: 0302-9743
Donaldson AF, Miller A, Parker D, 2007, GRIP: Generic representatives in PRISM, Pages: 115-116
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. © 2007 IEEE.
Donaldson AF, Miller A, 2007, Extending Symmetry Reduction Techniques to a Realistic Model of Computation, Electronic Notes in Theoretical Computer Science, Vol: 185, Pages: 63-76, ISSN: 1571-0661
Miller A, Calder M, Donaldson AF, 2007, A template-based approach for the generation of abstractable and reducible models of featured networks, Computer Networks, Vol: 51, Pages: 439-455, ISSN: 1389-1286
Donaldson AF, Miller A, Parker D, 2007, GRIP: Generic representatives in PRISM, 4th International Conference on the Quantitative Evaluation of Systems, Publisher: IEEE COMPUTER SOC, Pages: 115-+
- Author Web Link
- Open Access Link
- Cite
- Citations: 7
Bosnacki D, Donaldson AF, Leuschel M, et al., 2007, Efficient approximate verification of promela models via symmetry markers, 5th International Symposium on Automated Technology for Verification and Analysis, Publisher: SPRINGER-VERLAG BERLIN, Pages: 300-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 5
Donaldson AF, Gregory P, Petrie KE, 2007, Symmetry in Constraint Satisfaction Problems Introduction, TRENDS IN CONSTRAINT PROGRAMMING, Editors: Benhamou, Jussien, OSullivan, Publisher: BLACKWELL SCIENCE PUBL, Pages: 185-186
Miller A, Donaldson A, Calder M, 2006, Symmetry in temporal logic model checking, ACM Computing Surveys, Vol: 38, Pages: 8-8, ISSN: 0360-0300
<jats:p>Temporal logic model checking involves checking the state-space of a model of a system to determine whether errors can occur in the system. Often this involves checking symmetrically equivalent areas of the state-space. The use of symmetry reduction to increase the efficiency of model checking has inspired a wealth of activity in the area of model checking research. We provide a survey of the associated literature.</jats:p>
Donaldson AF, Miller A, 2006, Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives, Publisher: Springer Berlin Heidelberg, Pages: 9-23, ISSN: 0302-9743
Donaldson AF, Miller A, 2006, A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker, Publisher: Springer Berlin Heidelberg, Pages: 374-380, ISSN: 0302-9743
Donaldson AF, Miller A, 2006, Exact and Approximate Strategies for Symmetry Reduction in Model Checking, Publisher: Springer Berlin Heidelberg, Pages: 541-556, ISSN: 0302-9743
Donaldson A, Miller A, Calder M, 2005, Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models, Electronic Notes in Theoretical Computer Science, Vol: 139, Pages: 3-23, ISSN: 1571-0661
Donaldson AF, Miller A, Calder M, 2005, Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis, Electronic Notes in Theoretical Computer Science, Vol: 128, Pages: 161-177, ISSN: 1571-0661
Donaldson AF, Miller A, 2005, Automatic Symmetry Detection for Model Checking Using Computational Group Theory, Publisher: Springer Berlin Heidelberg, Pages: 481-496, ISSN: 0302-9743
Donaldson AF, Gay SJ, 2005, Etch: An Enhanced Type Checking Tool for Promela, Publisher: Springer Berlin Heidelberg, Pages: 266-271, ISSN: 0302-9743
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.