Search research publications and outputs

  1. Task attribute-based scheduling: Extending Ada's support for scheduling

    Burns, A. & Wellings, A. J., 1 Dec 2003, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03. p. 36-41 6 p.

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

  2. Targeting complex embedded architectures by combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation

    Gray, I. & Audsley, N. C., 2011, Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems. p. 51-60

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

  3. Taming EMF and GMF Using Model Transformation

    Kolovos, D. S., Rose, L. M., bin Abid, S., Paige, R. F. & Polack, F. A. C., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Springer, p. 211-225 (Lecture Notes in Computer Science; vol. 6394).

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

  4. Taking our own medicine: Applying the refinement calculus to state-rich refinement model checking

    Freitas, L., Cavalcanti, A. & Woodcock, J., 2006, Formal Methods and Software Engineering, Proceedings. Liu, Z. & He, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 697-716 20 p.

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

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

  6. TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

    Burns, A., Wellings, A. J. & Malik, A. H., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM, Vol. XXXII. p. 15-23 9 p.

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

  7. THE STRUCTURE OF PERMISSIONS - A NORMATIVE FRAMEWORK FOR ACCESS RIGHTS

    Morris, P. & McDermid, J., 1992, DATABASE SECURITY, V. Landwehr, CE. & Jajodia, S. (eds.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 77-97 21 p.

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

  8. TERMGRAPH 2002 Workshop Survey

    Plump, D., 2002, Proceedings 1st International Conference on Graph Transformation (ICGT 2002). Corradini, A., Ehrig, H., Kreowski, HJ. & Rozenberg, G. (eds.). Berlin: Springer, p. 435-439 5 p. (Lecture Notes in Computer Science; vol. 2505).

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

  9. T Cell Receptor Signalling Inspired Kernel Density Estimation and Anomaly Detection

    Owens, N. D. L., Greensted, A., Timmis, J. & Tyrrell, A., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 122-135 14 p.

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

  10. Systematic Experimental Analysis and Evaluation of Routing Protocol in Wireless Sensor Networks

    Lim, T. H., Bate, I. & Timmis, J., 2012, The 2012 UK Electronic Forum. Koelmans, A. & Yakovlev, A. (eds.). Dept. of Education, University of Newcastle upon Tyne, p. 16-25 10 p.

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

  11. System of systems hazard analysis using simulation and machine learning

    Alexander, R., Kazakov, D. & Kelly, T., 2006, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS: 25th Annual Conference, SAFECOMP 2006. Gorski, J. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 4166).

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

  12. System Level Design of a Dynamically Self-Reconfigurable Image Processing System

    Ackermann, K. F., Indrusiak, L. S. & Glesner, M., 2007, Proceedings of the 3rd International Workshop on Reconfigurable Communication-centric Systems-on-Chip: ReCoSoC 2007, Montpellier, France, June 2007. Sassatelli, G., Glesner, M., Bobda, C. & Benoit, P. (eds.). Univ. Montpellier II, p. 47-54 8 p.

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

  13. Synthesis of Legacy Real-Time Ada Software to FPGA

    Audsley, N. & Bate, I., 2004, Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2004). p. 21-40 20 p.

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

  14. Syntax-driven implementation of software programming language control constructs and expressions on FPGAs

    Audsley, N. C. & Ward, M., 2006, Proceedings of the 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems. p. 253 - 260

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

  15. Symmetry breaking as a prelude to implied constraints: A constraint modelling pattern

    Frisch, A. M., Jefferson, C. & Miguel, I., 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: I O S PRESS, p. 171-175 5 p.

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

  16. Survivability Management for Integrated Modular Safety-Critical Space Systems

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 3rd International Association for the Advancement of Space Safety (IAASS 2008). Roma (Italy). 21-23 October 2008. International Association for the Advancement of Space Safety

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

  17. Surface reconstruction using polarization and photometric stereo

    Atkinson, G. A. & Hancock, E. R., 2007, Computer Analysis of Images and Patterns, Proceedings. Kropatsch, WG., Kampel, M. & Hanbury, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 466-473 8 p.

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

  18. Surface normals and height from non-Lambertian image data

    Ragheb, H. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 18-25 8 p.

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

  19. Surface integration: Two statistical approaches

    Smith, W. A. P. & Hancock, E. R., 2007, 14TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 343-348 6 p.

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

  20. Surface height recovery using heat flow and manifold embedding

    Robles-Kelly, A. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 860-867 8 p.

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

  21. Surface acquisition from single gray-scale images

    Robles-Kelly, A., Bors, A. G. & Hancock, E. R., 2003, 2003 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL 3, PROCEEDINGS. NEW YORK: IEEE, p. 721-724 4 p.

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

  22. Surface Material Segmentation Using Polarisation

    Subramaniam, N. & Hancock, E., 2010, ADVANCES IN PATTERN RECOGNITION. CarrascoOchoa, JA., MartinezTrinidad, JF. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6256. p. 115-124 10 p.

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

  23. Supporting the support workers: training and supporting support workers for students with disabilities through e-learning, online resources and communication

    Sannia, M., Petrie, H., Power, C. D. & Swallow, D., 2008, Conference on Interactive Computer Aided Learning 2008. Kassel University Press

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

  24. Supporting mixed criticality applications in a ravenscar-java environment

    Cai, H. & Wellings, A., 2004, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: OTM 2004 WORKSHOPS, PROCEEDINGS. Meersman, R., Tari, Z., Corsaro, A., Herrero, P., Perez, MS., Radenkovic, M., Robles, V., Santoro, C., Albani, A., Turowski, K., Jarrar, M., Gangemi, A., Duval, E., Spyns, P. & Palinginis, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-291 14 p.

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

  25. Supporting deliberative real-time AI systems: A fixed priority scheduling approach

    Chu, Y. & Burns, A., 2007, 19th Euromicro Conference on Real-Time Systems, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 259-268 10 p.

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

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