Search research publications and outputs

  1. 2013
  2. Discriminating quantum field theories in curved spacetime

    Doukas, J., Adesso, G., Pirandola, S. & Dragan, A., 19 Jun 2013

    Article in arXiv

  3. Comparing degrees of non-determinism in expression evaluation

    Hayes, I. J., Burns, A., Dongol, B. & Jones, C. B., 1 Jun 2013

    Article in Computer journal

  4. The Receptor Density Algorithm

    Owens, N., Greensted, A. J., Timmis, J. & Tyrrell, A., 15 Apr 2013

    Article in Theoretical Computer Science

  5. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  6. Semantic mutation testing

    Clark, J. A., Dan, H. & Hierons, R. M., 1 Apr 2013

    Article in Science of Computer Programming

  7. Power-aware dynamic mapping heuristics for NoC-based MPSoCs using a unified model-based approach

    Ost, L., Mandelli, M., Moller, L., Soares Indrusiak, L., Sassatelli, G., Benoit, P., Glesner, M., Robert, M. & Moraes, F., Mar 2013

    Article in ACM Transactions in Embedded Computing Systems

  8. An investigation of the performance portability of OpenCL

    Pennycook, S. J., Hammond, S. D., Wright, S. A., Herdman, J. A., Miller, I. & Jarvis, S. A., 1 Jan 2013

    Article in Journal of Parallel and Distributed Computing

  9. Editorial

    Calinescu, R., France, R. & Ghezzi, C., 1 Jan 2013

    Article in Computing

Previous 12 3 4 5 6 7 8 9 ...38 Next