Search research publications and outputs

  1. 2012
  2. Invariant measures on multimode quantum Gaussian states

    Lupo, C., Mancini, S., De Pasquale, A., Facchi, P., Florio, G. & Pascazio, S., 19 Dec 2012

    Article in Journal of Mathematical Physics

  3. Software Failure Propagation Prevention: Prevention of failure propagation between software of different criticality categories

    Hann, M., Wellings, A., Audsley, N. & Dapena, P. R., 18 Dec 2012, Proceedings of DASIA 2012 - DAta Systems In Aerospace. Vol. 701 SP.

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

  4. Agile requirements traceability using domain-specific modelling languages

    Taromirad, M. & Paige, R. F., 1 Dec 2012, 2012 Extreme Modeling Workshop, XM 2012 - Post-Proceedings, Satellite Event of the IEEE/ACM 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 45-50 6 p.

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

  5. Chaining model transformations

    Etien, A., Aranega, V., Blanc, X. & Paige, R. F., 1 Dec 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 9-14 6 p.

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

  6. Graph heat kernel based image smoothing

    Fan, Z., Hancock, E. R. & Shang, L., 1 Dec 2012, Graph-Based Methods in Computer Vision: Developments and Applications. IGI Global, p. 302-330 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Modelling and comparing cloud computing service level agreements

    Alkandari, F. & Paige, R. F., 1 Dec 2012, 1st International Workshop on Model-Driven Engineering for High Performance and CLoud Computing, MDHPCL 2012 - Satellite Event of MODELS 2012.

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

  8. Monte Carlo Tree Search with macro-actions and heuristic route planning for the Physical Travelling Salesman Problem

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 1 Dec 2012, 2012 IEEE Conference on Computational Intelligence and Games, CIG 2012. p. 234-241 8 p. 6374161

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

  9. Searching for model migration strategies

    Williams, J. R., Paige, R. F. & Polack, F. A. C., 1 Dec 2012, Proceedings of the 6th International Workshop on Models and Evolution, ME 2012. p. 39-44 6 p.

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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. Interfacing java to hardware coprocessors and FPGAs

    Whitham, J. & Audsley, N., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 177-197 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Preface

    Higuera-Toledano, M. T. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). p. v-viii

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Programming embedded systems: Interacting with the embedded platform

    Dibble, P., Hunt, J. J. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 129-158 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Supporting Multiprocessors in the Real-Time Specification for Java Version 1.1

    Wellings, A. J., Dibble, P. & Holmes, D., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). Springer US, Vol. 9781441981585. 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Engineering simulations for cancer systems biology

    Bown, J. L., Andrews, PAUL. S., Deeni, Y., Goltsov, A., Idowu, M., Polack, F. A. C., Sampson, A. T., Shovman, M. & Stepney, S., Nov 2012

    Article in Current Drug Targets

  22. 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

  23. 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

  24. 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

  25. Tradeoffs for EEG data reduction on Wearable Device

    Dai, C. & Crispin-Bailey, C., Nov 2012.

    Research output: Contribution to conferencePosterpeer-review

  26. 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

  27. 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

  28. 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

  29. A Binary Neural Network Framework for Attribute Selection and Prediction

    Hodge, V. J., Jackson, T. & Austin, J., 5 Oct 2012, p. 510-515. 5 p.

    Research output: Contribution to conferencePaperpeer-review

  30. 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

  31. 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

  32. 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

  33. Enabling Adaptive Techniques in Heterogeneous MPSoCs Based on Virtualization

    Ost, L., Varyani, S., Indrusiak, L. S., Mandelli, M., Almeida, G. M., Wachter, E., Moraes, F. & Sassatelli, G., Oct 2012

    Article in ACM Transactions on Reconfigurable Technology and Systems (TRETS)

  34. The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

    Wellings, A., Cavalcanti, A. L. C. & Singh, N. K., Oct 2012, p. 62-71. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  35. 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

  36. Abashian-Booth-Crowe resonance structure in the double pionic fusion to 4He

    Adlarson, P., Augustyniak, W., Bardan, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Demmich, K., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P. & 87 others, Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Hauenstein, F., Heijkenskjöld, L., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Husmann, C., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Krzemień, W., Kulessa, P., Kupć, A., Lalwani, K., Lersch, D., Lorentz, B., Magiera, A., Maier, R., Marciniewski, P., Mariański, B., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedwiecki, S., Ohm, H., Ozerianska, I., Pauly, C., Perez Del Rio, E., Petukhov, Y., Pluciński, P., Podkopał, P., Prasuhn, D., Pricking, A., Pszczel, D., Pysz, K., Pyszniak, A., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Serdyuk, V., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Wȩglorz, W., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yamamoto, A., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 7 Sep 2012

    Article in Physical Review C - Nuclear Physics

  37. Photochemical-mediated solid-state [2+2]-cycloaddition reactions of an unsymmetrical dibenzylidene acetone (monothiophos-dba)

    Jarvis, A. G., Sparkes, H. A., Tallentire, S. E., Hatcher, L. E., Warren, M. R., Raithby, P. R., Allan, D. R., Whitwood, A. C., Cockett, M. C. R., Duckett, S. B., Clark, J. L. & Fairlamb, I. J. S., 7 Sep 2012

    Article in CrystEngComm

Previous 1 2 3 4 5 Next