Search research publications and outputs

  1. Supporting deadlines and EDF scheduling in Ada

    Burns, A., Wellings, A. J. & Taft, S. T., 2004, RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004. Llamosi, A. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 156-165 10 p.

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

  2. Supporting Learning Within the Workplace: Device Training in Healthcare

    Iacovides, I., Cox, A. L. & Blandford, A., 2013, Proceedings of the 31st European Conference on Cognitive Ergonomics. New York, NY, USA: ACM, p. 30:1-30:4 (ECCE '13).

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

  3. Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation

    Gray, I. & Audsley, N. C., 2010, Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems.

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

  4. Supporting Execution on Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 1 Apr 2010, Proceedings of 14th International Real-Time Ada Workshop, IRTAW. Vol. XXX. (ACM Ada Letters).

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

  5. Supporting Consistency Control between Functional and Structural Views in Interface-based Design Models

    Indrusiak, L. S., Reis, R. & Glesner, M., 2003, Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. ECSI, p. 364-373 10 p.

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

  6. Support for Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 9-14 6 p.

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

  7. Supervised Principal Geodesic Analysis on Facial Surface Normals for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 664-673 10 p.

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

  8. Studying the Applicability of the Scratchpad Memory Management Unit

    Whitham, J. & Audsley, N. C., 2010, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010. Caccamo, M. (ed.). IEEE Computer Society, p. 205-214 10 p.

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

  9. Structure-Preserving Regularisation Constraints for Shape-from-Shading

    Huang, R. & Smith, W. A. P., 2009, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Jiang, X. & Petkov, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5702 LNCS. p. 865-872 8 p.

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

  10. Structural flow smoothing for shape interpolation

    Doshi, A. & Bors, A. G., 2006, 18th International Conference on Pattern Recognition, Vol 3, Proceedings. Tang, YY., Wang, SP., Lorette, G., Yeung, DS. & Yan, H. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 11-14 4 p.

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

  11. Strategy-guided requirements development and validation

    Cui, X. & Paige, R. F., 2014, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) : 2014 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2014, Las Vegas, NV, USA, June 30 - July 2, 2014. IEEE, p. 1-6 6 p.

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

  12. Stochastic simulation of inherited kinship-driven altruism

    Turner, H. & Kazakov, D., 2003, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Alonso, E., Kudenko, D. & Kazakov, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 187-201 15 p.

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

  13. Stochastic logic programs: Sampling, inference and applications

    Cussens, J., 2000, Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI--2000). San Francisco, CA: MORGAN KAUFMANN PUB INC, p. 115-122 8 p.

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

  14. Statistical methods for surface integration

    Smith, W. A. P. & Hancock, E. R., 2007, Mathematics of Surfaces XII, Proceedings. Martin, R., Sabin, M. & Winkler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 427-441 15 p.

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

  15. Statistical analysis of WCET for scheduling

    Edgar, S. & Burns, A., 2001, 22ND IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 215-224 10 p.

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

  16. Statistical Aspects of Stochastic Logic Programs

    Cussens, J., 1 Jan 2001, Artificial Intelligence and Statistics 2001: Proceedings of the Eighth International Workshop. Jaakkola, T. & Richardson, T. (eds.). Key West, Florida: MORGAN KAUFMANN PUB INC, p. 181-186 6 p.

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

  17. Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 3-5

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

  18. Stability of the eigenvalues of graphs

    Zhu, P. & Wilson, R. C., 5 Sep 2005, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Gagalowicz, A. & Philips, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 371-378 8 p.

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

  19. Squeeze casting and melt infiltration of locally reinforced Al-4.5wt%Cu/20vol%Al2O3 discontinuous fibre MMC ingots

    Kang, H. G., Lee, H. I., Anderson, P. R. G. & Cantor, B., 1996, PROCESSING AND FABRICATION OF ADVANCED MATERIALS IV. Srivatsan, TS. & Moore, JJ. (eds.). WARRENDALE: MINERALS, METALS & MATERIALS SOC, p. 509-527 19 p.

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

  20. Spherical Embeddings for non-Euclidean Dissimilarities

    Wilson, R. C., Hancock, E. R., Pekalska, E. & Duin, R. P. W., 2010, 2010 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). LOS ALAMITOS: IEEE COMPUTER SOC, p. 1903-1910 8 p.

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

  21. Spectral generative models for graphs

    White, D. & Wilson, R. C., 2007, 14TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 35-40 6 p.

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

  22. Spectral Modes of Facial Needle-Maps

    Fraile, R. & Hancock, E. R., 2007, Pattern Recognition and Image Analysis, Pt 1, Proceedings. Marti, J., Benedi, JM., Mendonca, AM. & Serrat, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 169-176 8 p.

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

  23. Spectral Embedding of Feature Hypergraphs

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 308-317 10 p.

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

  24. Specifying pointer structures by graph reductions

    Plump, D., Bakewell, A. & Runciman, C., 2004, Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003): Revised Selected and Invited Papers. Pfaltz, JL., Nagl, M. & Bohlen, B. (eds.). Berlin: Springer, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 3062).

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

  25. Specifying information-flow controls

    Chivers, H. & Jacob, J., 2005, 25th IEEE International Conference on Distributed Computing Systems Workshops, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 114-120 7 p.

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

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