Search research publications and outputs

  1. 2013
  2. Improved Priority Assignment for the Abort-and-Restart (AR) Model

    Wong, H. C. & Burns, A., 2013, 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC).

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

  3. Improving Reliability of Real-Time Systems through Value and Time Voting

    Aysan, H., Bate, I., Graydon, P. & Punnekkat, S., 2013, Proceedings of the 19th Pacific Rim International Symposium on Dependable Computing (PRDC).

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

  4. Increasing accuracy by decreasing presentation quality in transcription tasks

    Soboczenski, F., Cairns, P. & Cox, A. L., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 8118 LNCS. p. 380-394 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8118 LNCS, no. PART 2).

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

  5. Integrating Monte Carlo Tree Search with Knowledge-Based Methods to Create Engaging Play in a Commercial Mobile Game.

    Whitehouse, D., Cowling, P. I., Powley, E. J. & Rollason, J., 2013, AIIDE.

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

  6. Is Audsley's Scheme the Most Expressive Optimal Priority Assignment Algorithm?

    Burns, A., 2013, Proceedings RTSOPS (ECRTS). p. 8-11 4 p.

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

  7. Learning by volunteer computing, thinking and gaming: What and how are volunteers learning by participating in Virtual Citizen Science?

    Kloetzer, L., Scheider, D., Jennett, C., Iacovides, I., Eveleigh, A., Cox, A. L. & Gold, M., 2013, Changing Configurations of Adult Education in Transitional Times: Conference Proceedings. ESREA: European Society for Research on the Education of Adults, p. 73-92

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

  8. Library abstraction for C/C++ concurrency

    Batty, M., Dodds, M. & Gotsman, A., 2013, POPL '13 : Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York: ACM, p. 235-248 14 p.

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

  9. Metamodelling for Grammarware Researchers

    Paige, R. F., Kolovos, D. & Polack, F. A. C., 2013, Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Springer, Vol. 7745 LNCS. p. 64-82 (Lecture Notes in Computer Science; vol. 7745).

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

  10. Mixed Criticality on Controller Area Network

    Burns, A. & Davis, R. I., 2013, Proceedings of ECRTS. IEEE, p. 125-134 10 p.

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

  11. Model Management in the Wild

    Paige, R. F., Kolovos, D., Rose, L. M., Matragkas, N. & Williams, J. R., 2013, Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Springer, Vol. 7680 LNCS. p. 197-218 (Lecture Notes in Computer Science; vol. 7680).

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

  12. Monte Carlo tree search with macro-actions and heuristic route planning for the multiobjective physical travelling salesman problem

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  13. Multimodel-Driven Software Engineering for Evolving Enterprise Systems

    Paige, R. F., Calinescu, R., Kolovos, D. S., Matragkas, N. D. & Cliff, D., 2013, Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013.. p. 23-32 10 p.

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

  14. Navigating, Discovering and Exploring the Web: Strategies Used by People with Print Disabilities on Interactive Websites

    Power, C. D., Petrie, H., Swallow, D. M., Murphy, E., Gallagher, B. & Velasco, C. A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. PART 1 ed. Springer, Vol. 8117 LNCS. p. 667-684 8 p. (Lecture Notes in Computer Science; vol. 8117).

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

  15. On Extensible Networks for Embedded Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 2013, Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). p. 69-77 9 p.

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

  16. Orthonormal Diffusion Decompositions of Images for Optical Flow Estimation

    Gudivada, S. K. N. & Bors, A. G., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. PART 2 ed. Springer, Vol. 8048 LNCS. p. 241-249 9 p. (Lecture Notes in Computer Science; vol. 8048).

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

  17. Overcoming erroneous domain knowledge in plan-based reward shaping

    Efthymiadis, K., Devlin, S. & Kudenko, D., 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1245-1246 2 p.

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

  18. PFT - A low overhead predictability enhancement technique for non-preemptive NoCs

    Sudev, B. & Soares Indrusiak, L., 2013, Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip (VLSI-SoC). IEEE, p. 314-317

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

  19. Potential-based reward shaping for POMDPs

    Eck, A., Son, L. K., Devlin, S. & Kudenko, D., 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1123-1124 2 p.

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

  20. Pre fetching across a shared memory tree within a network-on-chip architecture

    Garside, J. & Audsley, N. C., 2013, 2013 International Symposium on System-on-Chip, SoC 2013 - Proceedings. IEEE Computer Society Press, 6675268

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

  21. Principled Construction of Software Safety Cases

    Hawkins, R., Habli, I. & Kelly, T., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

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

  22. Programmatic Muddle Management

    Kolovos, D. S., Matragkas, N. D., Rodriguez, H. H. & Paige, R. F., 2013, Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013.. p. 2-10 9 p.

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

  23. Programming FPGA based NoCs with Java

    Plumbridge, G. & Audsley, N. C., 2013, 2013 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2013. IEEE Computer Society Press, 6732323

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

  24. Real-time low-power task mapping in Networks-on-Chip

    Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2013, Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE, p. 14-19

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

  25. Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling

    Graydon, P. & Bate, I., 2013, Proceedings of the Workshop on Mixed-Criticality Systems. p. 19-24 6 p.

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

  26. Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times

    Burkimsher, A., Bate, I. & Indrusiak, L. S., 2013, Proceedings of the 19th International Conference on Parallel Processing (Euro-Par 2013). Wolf, F., Mohr, B. & Mey, D. (eds.). Springer Berlin / Heidelberg, Vol. 8097. p. 126-137 12 p. (Lecture Notes in Computer Science).

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

Previous 1...5 6 7 8 9 10 11 12 ...65 Next