Search research publications and outputs

  1. 2012
  2. Towards the automated generation of hard disk models through physical geometry discovery

    Wright, S. A., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2012, Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012. p. 437-445 9 p. 6495845

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

  3. Investigation of Scratchpad Memory for Preemptive Multitasking

    Whitham, J., Davis, R. I., Audsley, N. C., Altmeyer, S. & Maiza, C., Dec 2012, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd . IEEE, p. 3-13

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

  4. Optimal Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I. & Bertogna, M., Dec 2012, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd . IEEE, p. 39-50

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

  5. Runtime optimisation in WSNs for load balancing using pheromone signalling

    Caliskanelli, I., Harbin, J. R., Soares Indrusiak, L., Mitchell, P. D., Chesmore, D. & Polack, F. A. C., Dec 2012, 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA). p. 1-8

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

  6. Translating Java for resource constrained embedded systems

    Plumbridge, G. & Audsley, N., 23 Nov 2012, ReCoSoC 2012 - 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, Proceedings. 6322868

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

  7. Compositional reverification of probabilistic safety properties for large-scale complex IT systems

    Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

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

  8. Immune inspired adaptive information filtering: Focusing on profile adaptation

    Mohd Azmi, N. F., Polack, F. & Timmis, J., 5 Nov 2012, Bio-Inspired Model of Network, Information, and Computing Systems - 6th International ICST Conference, BIONETICS 2011, Revised Selected Papers. p. 242-247 6 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; vol. 103 LNICST).

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

  9. Optimising task layout to increase schedulability via reduced cache related pre-emption delays

    Lunniss, W., Altmeyer, S. & Davis, R. I., Nov 2012, Proceedings of the 20th International Conference on Real-Time and Network Systems. p. 161-170

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

  10. Re-sampling for statistical timing analysis of real-time systems

    Maxim, D., Houston, M., Santinelli, L., Bernat, G., Davis, R. I. & Cucu-Grosjean, L., Nov 2012, Proceedings of the 20th International Conference on Real-Time and Network Systems . p. 111-120

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

  11. Searching air sectors for risk

    Clegg, K. D. & Alexander, R., Nov 2012, Proceedings of the 2nd SESAR Innovation Days.

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

  12. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

    Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).

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

  13. Sensitivity analysis in model-driven engineering

    Williams, J. R., Burton, F. R., Paige, R. F. & Polack, F. A. C., 24 Oct 2012, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings. p. 743-758 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7590 LNCS).

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

  14. LDPLFS: Improving I/O performance without application modification

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Miller, I., Herdman, J. A. & Jarvis, S. A., 18 Oct 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012. p. 1352-1359 8 p. 6270802

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

  15. Comparative analysis of data persistence technologies for large-scale models

    Barmpis, K. & Kolovos, D., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 33-38 6 p.

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

  16. EuGENia live: a flexible graphical modelling tool

    Rose, L. M., Kolovos, D. & Paige, R. F., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 15-20 6 p.

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

  17. Profiling the fault tolerance for the adaptive protein processing associative memory

    Qadir, O., Timmis, J., Tempesti, G. & Tyrrell, A., 1 Oct 2012, Proceedings of the 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012. p. 246-253 8 p. 6268658

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

  18. Optimal program partitioning for predictable performance

    Whitham, J. & Audsley, N., 25 Sep 2012, Proceedings of the 24th Euromicro Conference on Real-Time Systems, ECRTS 2012. p. 122-131 10 p. 6257565

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

  19. Unsupervised Feature Selection via Hypergraph Embedding

    Zhang, Z. H. & Hancock, E. R., Sep 2012, Proceedings British Machine Vision Conference 2012. Bowden, R., Collmose, J. & Mikolajczyk, K. (eds.). BMVA Press, p. 39.1--39.11. 11 p.

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

  20. Form follows function: Model-driven engineering for clinical trials

    Davies, J., Gibbons, J., Calinescu, R., Crichton, C., Harris, S. & Tsui, A., 20 Aug 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7151 LNCS. p. 21-38 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7151 LNCS).

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

  21. MPC vs. PID Controllers in Multi-CPU Multi-Objective Real-Time Scheduling Systems

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Aug 2012, In Proceedings of The 2012 UK Electronics Forum. p. 77-83 7 p.

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

  22. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

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

  23. An integrated framework for system/software requirements development aligning with business motivations

    Cui, X. & Paige, R., 25 Jul 2012, Proceedings - 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. p. 547-552 6 p. 6211151

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

  24. MADES: A tool chain for automated verification of UML models of embedded systems

    Radjenovic, A., Matragkas, N., Paige, R. F., Rossi, M., Motta, A., Baresi, L. & Kolovos, D. S., 25 Jul 2012, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. p. 340-351 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7349 LNCS).

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

  25. A Control Theoretic Approach for Workflow Management

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Jul 2012, In Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. p. 280-289 10 p.

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

  26. The Science and Superstition of Quantitative Risk Assessment

    Rae, A. J., Alexander, R. & McDermid, J. A., Jul 2012, Proceedings of PSAM 11 & ESREL 2012. International Association of Probabilistic Safety Assessment and Management, IAPSAM , Vol. 3. p. 2292-2301 10 p.

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

Previous 1...7 8 9 10 11 12 13 14 ...65 Next