Search research publications and outputs

  1. 2014
  2. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

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

  3. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  4. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

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

  5. Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds

    Bril, R., Altmeyer, S., van den Heuvel, M., Davis, R. I. & Behnam, M., Dec 2014, Proceedings Real-Time Systems Symposium (RTSS 2014). IEEE, p. 161-172 12 p.

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

  6. Predictability enhancement in non-preemptive NoCs using selective packet splitting

    Sudev, B. & Indrusiak, L. S., 3 Nov 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 195-200 6 p.

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

  7. Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R. C., Nov 2014, Contemporary Mathematics: A Panorama of Mathematics: Pure and Applied. American Mathematical Society, Vol. 658. p. 227-236

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

  8. Real-Time Big Data: the JUNIPER Approach

    Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

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

  9. On the locality of Java 8 streams in real-time big data applications

    Chan, Y., Gray, I., Wellings, A. & Audsley, N., 13 Oct 2014, JTRES '14: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 20-28 9 p. (ACM International Conference Proceeding Series).

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

  10. Exploring user expertise and descriptive ability in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 320-327 8 p.

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

  11. Tag-based expert recommendation in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 960-963 4 p.

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

  12. Predictability and utilisation trade-off in the dynamic management of multiple video stream decoding on Network-on-Chip based homogeneous embedded multi-cores

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 8 Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery (ACM), p. 161-170 10 p. (ACM International Conference Proceeding Series).

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

  13. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

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

  14. Player strategies: achieving breakthroughs and progressing in single-player and cooperative games

    Iacovides, I., Cox, A. L., Avakian, A. & Knoll, T., 1 Oct 2014, Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play - CHI PLAY '14. New York, USA: ACM, p. 131-140 10 p.

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

  15. Correcting 3D scenes estimated from sets of multi-view images using shape-from-contours

    Grum, M. & Bors, A. G., Oct 2014, Proc. 2014 IEEE International Confereence on Image Processing, Paris, France. IEEE, p. 2888-2892 5 p.

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

  16. Lossy Compression for Static Probabilistic Timing Analysis of Random Replacement Caches

    Griffin, D. J., Lesage, B. M. J-R., Burns, A. & Davis, R. I., Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. ACM, p. 289-298 10 p.

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

  17. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

    Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

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

  18. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

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

  19. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: SPRINGER, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

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

  20. Discriminating instance generation for automated constraint model selection

    Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sep 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, p. 356-365 10 p.

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

  21. On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

    Zanin, M., Perez, D., Chatterjee, K., Kolovos, D. S., Paige, R. F., Horst, A. & Rumpe, B., 8 Sep 2014, Proceedings of the SESAR Innovation Days (2011) EUROCONTROL. Toulouse

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

  22. Breaking conditional symmetry in automated constraint modelling with CONJURE

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 18 Aug 2014, ECAI 2014. IOS Press, Vol. 263. p. 3-8 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

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

  24. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

  25. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

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

  26. Methods and Algorithms for Unsupervised Learning of Morphology

    Can, B. & Manandhar, S., Aug 2014, Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Gelbukh, A. (ed.). SPRINGER, p. 177-205 29 p. (Lecture Notes in Computer Science; vol. 8403).

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

  27. Evaluation of Cache Partitioning for Hard Real-Time Systems

    Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

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

  28. On the application of Static Probabilistic Timing Analysis to Memory Hierarchies

    Lesage, B. M. J-R., Griffin, D. J., Davis, R. I. & Altmeyer, S., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 5-6 2 p.

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

  29. Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Altmeyer, S., Cucu-Grosjean, L., Davis, R. I. & Lesage, B. M. J-R., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 7-8 2 p.

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

  30. Designing resource-constrained embedded heterogeneous systems to cope with variability

    Gray, I., Acquaviva, A. & Audsley, N., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 75-101 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems

    Bagnato, A., Quadri, I., Brosse, E., Sadovykh, A., Indrusiak, L. S., Paige, R., Audsley, N., Gray, I., Kolovos, D. S., Matragkas, N., Rossi, M., Baresi, L., Crippa, M. C., Genolini, S., Hansen, S. & Meisel-Blohm, G., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

  33. Towards Verification of Constituent Systems through Automated Proof

    Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM CoRR

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

  34. Mutation Testing for Jason Agents

    Huang, Z., Alexander, R. & Clark, J. A., 6 May 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, 16 p.

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

  35. The influence of emotion on number entry errors

    Cairns, P. A., Pandab, P. & Power, C. D., 26 Apr 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, p. 2293-2296 4 p.

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

  36. Outlier Detection in Big Data

    Wang, J. (ed.) & Hodge, V. J., 1 Apr 2014, Encyclopedia of Business Analytics and Optimization. Wang, J. (ed.). Hershey, PA: IGI Global, p. 1762-1771 10 p. (Encyclopedia of Business Analytics and Optimization).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  37. Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors

    Jacob, J. L. & Aydin, M. M., Apr 2014, Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014). Helfert, M. (ed.). SciTePress, p. 604-609 6 p.

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

  38. Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling

    Davis, R. I., Feld, T., Pollex, V. & Slomka, F., Apr 2014, Real-Time and embedded technology and Applications Symposium (RTAS), 2014. IEEE, p. 51-62 12 p.

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

  39. On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis

    Altmeyer, S. & Davis, R. I., Mar 2014, Design Automation and Test Europe (DATE 2014). IEEE, p. 117-122 6 p.

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

  40. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  41. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  42. Efficient re-resolution of SMT specifications for evolving software architectures

    Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 93-102 10 p.

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

  43. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

    Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. Association for Computing Machinery (ACM), p. 115-124 10 p.

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

  44. Entropic graph embedding via multivariate degree distributions

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 163-172 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  45. High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

    Jarvis, S. A., Wright, S. & Hammond, S., 1 Jan 2014, High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation - 4th International Workshop, PMBS 2013, Revised Selected Papers. Springer-Verlag, Vol. 8551. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8551).

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

  46. Incorporating scale invariance into the cellular associative neural network

    Burles, N., O'Keefe, S. & Austin, J., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8681 LNCS. p. 435-442 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8681 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  47. Quantum vs classical ranking in segment grouping

    Escolano, F., Bonev, B. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 203-212 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  48. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

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

  49. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  50. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  51. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

Previous 1 2 3 Next