Search research publications and outputs

  1. 2015
  2. General Benchmarks for Quantum Repeaters

    Pirandola, S. & Laurenza, R., 15 Dec 2015, p. 1-12, 12 p.

    Research output: Working paper

  3. Bio-inspired distributed task remapping for multiple video stream decoding on homogeneous NoCs

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 9 Dec 2015, ESTIMedia 2015 : 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia. Institute of Electrical and Electronics Engineers Inc., 7351765

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Learning Ordinary Differential Equations for Macroeconomic Modelling

    Georgiev, Z. & Kazakov, D. L., Dec 2015, IEEE SSCI 2015: 2015 IEEE Symposium Series on Computational Intelligence. IEEE, p. 905-909 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R. & Punnekkat, S., Dec 2015, (Accepted/In press) Real-Time Systems Symposium (RTSS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Static Probabilistic Timing Analysis for Multi-path Programs

    Lesage, B. M. J-R., Griffin, D. J., Altmeyer, S. & Davis, R. I., Dec 2015, IEEE Real-Time Systems Symposium (RTSS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Deriving Hierarchical Safety Contracts

    Jaradat, O. & Bate, I., 1 Nov 2015, Dependable Computing (PRDC): 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing. IEEE, p. 119-128 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Influential Nuisance Factors on a Decision of Sufficient Testing

    Malekzadeh, M. & Bate, I., 1 Nov 2015, Algorithms and Architectures for Parallel Processing: ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings. Wang, G., Zomaya, A., Martinez Perez, G. & Li, K. (eds.). Springer, p. 819-828 10 p. (Lecture Notes in Computer Science; vol. 9532).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. A Framework For The Evaluation Of Measurement-based Timing Analyses

    Lesage, B., Griffin, D., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, 23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York: ACM, p. 35-44

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. A Generic and Compositional Framework for Multicore Response Time Analysis

    Altmeyer, S., Davis, R. I., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 129-138

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Editorial

    Woodcock, J. C. P. & Jones, C. B., Nov 2015

    Editorial in Formal Aspects of Computing

  12. Mixed Criticality Systems with Weakly-Hard Constraints

    Gettings, O., Quinton, S. & Davis, R. I., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 129-138

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Modelling Fault Dependencies when Execution Time Budgets are Exceeded

    Griffin, D., Lesage, B., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, Proceedings of the 23rd International Conference on Real-Time Networks and Systems: Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 65-74

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Multiprocessor Fixed Priority Scheduling with Limited Preemptions

    Thekkilakattil, A., Davis, R. I., Dobrin, R., Punnekkat, S. & Bertogna, M., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 13-22

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. On Priority Assignment for Controller Area Network when some Message Identifiers are Fixed

    Davis, R. I., Burns, A., Pollex, V. & Slomka, F., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 279-288

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Fundamental Limits of Repeaterless Quantum Communications

    Pirandola, S., Laurenza, R., Ottaviani, C. & Banchi, L., 29 Oct 2015, p. 1-34, 34 p.

    Research output: Working paper

  17. Decentralised load balancing in event-triggered wsns based on ant colony work division

    Ferreira, P. R., Brisolara, L. & Indrusiak, L. S., 20 Oct 2015, Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015. Institute of Electrical and Electronics Engineers Inc., p. 69-75 7 p. 7302433

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Adaptation in digital games: The effect of challenge adjustment on player performance and experience

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 97-101 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Emotional and functional challenge in core and avant-garde games

    Cole, T., Cairns, P. & Gillies, M., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 121-126 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Higher graphical fidelity decreases players' access to aggressive concepts in violent video games

    Zendle, D., Cairns, P. & Kudenko, D., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 241-251 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Removing the HUD: The impact of non-diegetic game elements and expertise on player involvement

    Iacovides, I., Cox, A., Kennedy, R., Cairns, P. & Jennett, C., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 13-22 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. The placebo effect in digital games: Phantom perception of adaptive artificial intelligence

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 23-33 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. User Reviews of Gamepad Controllers: a Source of User Requirements and User Experience

    Merdenyan, B. & Petrie, H., 4 Oct 2015, Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. ACM, p. 643 - 648 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

    Nightingale, P., Spracklen, P. & Miguel, I. J., 1 Oct 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. Pesant, G. (ed.). Netherlands: SPRINGER, Vol. 9255. p. 330-340 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. T-CREST: Time-predictable multi-core architecture for embedded systems

    Schoeberl, M., Abbaspour, S., Akesson, B., Audsley, N., Capasso, R., Garside, J., Goossens, K., Goossens, S., Hansen, S., Heckmann, R., Hepp, S., Huber, B., Jordan, A., Kasapaki, E., Knoop, J., Li, Y., Prokesch, D., Puffitsch, W., Puschner, P., Rocha, A. & 3 others, Silva, C., Sparsø, J. & Tocchi, A., 1 Oct 2015

    Article in Journal of systems architecture

  26. Ortho-diffusion decompositions for face recognition from low quality images

    Gudivada, S. K. N. & Bors, A. G., Oct 2015, 2015 IEEE International Conference on Image Processing ICIP, 2015 : Proceedings . IEEE, p. 3625-3629 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Visual attention for content based image retrieval

    Papushoy, A. & Bors, A. G., Oct 2015, IEEE International Conference on Image Processing (ICIP), 2015. IEEE, p. 971-975 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Quantifying the Effects of Contention on Parallel File Systems

    Wright, S. A. & Jarvis, S. A., 29 Sep 2015, Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2015. Institute of Electrical and Electronics Engineers Inc., p. 932-940 9 p. 7284412

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Network-on-Chip packet prioritisation based on instantaneous slack awareness

    Sudev, B., Indrusiak, L. S. & Harbin, J., 28 Sep 2015, 13th International Conference on Industrial Informatics (INDIN), 2015. Institute of Electrical and Electronics Engineers Inc., p. 227-232 6 p. 7281739

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Task allocation for decoding multiple hard real-time video streams on homogeneous NoCs

    Mendis, H. R., Audsley, N. C. & Indrusiak, L. S., 28 Sep 2015, IEEE 13th International Conference on Industrial Informatics (INDIN), 2015. Institute of Electrical and Electronics Engineers Inc., p. 246-251 6 p. 7281742

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. A Morphable Profile Model of the Human Head as an Outcome Tool for Craniosynostosis Surgery

    Duncan, C., Armstrong, R. & Pears, N. E., 14 Sep 2015.

    Research output: Contribution to conferenceAbstract

  32. Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems

    Aydin, M. M. & Jacob, J. L., 7 Sep 2015, Intelligence and Security Informatics Conference (EISIC), 2015 European Workshop. Hammoudeh, M. & Han, L. (eds.). IEEE, p. 53-60 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Nonclassical readout of optical memories under local energy constraint

    Spedalieri, G., Lupo, C. & Pirandola, S., 3 Sep 2015, p. 1-11. 11 p.

    Research output: Contribution to conferencePaper

Previous 1 2 3 4 5 6 Next