Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
51 - 75 out of 1,861Page size: 25
Sort by: Title

  1. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems

    Davis, R. & Burns, A., 1 Oct 2011

    Article in ACM Comput. Surv.

  2. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems

    Davis, R. I. & Cucu-Grosjean, L., 14 May 2019

    Review article in LITES: Leibniz Transactions on Embedded Systems

  3. A Tactic Calculus-Abridged Version

    Martin, A. P., Gardiner, P. H. B. & Woodcock, J., 1996

    Article in Formal Asp. Comput.

  4. A UTP semantics for Circus

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 1 Feb 2009

    Article in Formal Aspects of Computing

  5. A Unification Algorithm for GP 2

    Hristakiev, I. & Plump, D., 2015

    Article in Electronic Communications of the EASST

  6. A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

    Cavalcanti, A. & Naumann, D. A., 2000

    Article in IEEE Trans. Software Eng.

  7. A Weakest Precondition Semantics for Z

    Cavalcanti, A. & Woodcock, J., 1998

    Article in Int. J. Hum.-Comput. Stud.

  8. A behavioural intervention improved cognitive function and depression in elderly people in residential homes

    Proctor, R., Stratton-Powell, H., Burns, A., Tarrier, N., Richardson, G., Davies, L., South, B. & Farragher, B., 2000

    Article in Evidence Based Nursing

  9. A binary neural decision table classifier

    Hodge, V. J., O'Keefe, S. & Austin, J., Oct 2006

    Article in Neurocomputing

  10. A bound for the Symmetric Travelling Salesman Problem through matroid formulation

    Cowling, P. & Maffioli, F., 1995

    Article in European Journal of Operational Research

  11. A class of asynchronous multisplitting two-stage iterations for large sparse block systems of weakly nonlinear equations

    Bai, Z. Z., Evans, D. J. & Calinescu, R. C., 30 Oct 1999

    Article in Journal of Computational and Applied Mathematics

  12. A commentary on short questionnaires for assessing usability

    Cairns, P., Jul 2013

    Article in Interacting With Computers

  13. A comparison of Cartesian coordinate-based representations for building three-dimensional models of faces

    Castelan, M. & Hancock, E. R., 2005

    Article in 2005 International Conference on Image Processing (ICIP), Vols 1-5

  14. A constraint language for specifying combinatorial problems

    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  15. A coupled statistical model for face shape recovery

    Castelan, M., Smith, W. A. P. & Hancock, E. R., 2006

    Article in STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS

  16. A coupled statistical model for face shape recovery from brightness images

    Castelan, M., Smith, W. A. P. & Hancock, E. R., Apr 2007

    Article in IEEE Transactions on Image Processing

  17. A deadline-floor inheritance protocol for EDF scheduled embedded real-time systems with resource sharing

    Burns, A., Gutierrez, M., Aldea, M. & Harbour, M. G., 1 May 2015

    Article in IEEE Transactions on Computers

  18. A dependable distributed architecture for a safety critical hard real-time system

    Bate, I. J. & Burns, A., 1 Dec 1997

    Article in IEE Colloquium (Digest)

  19. A fast leading eigenvector approximation for segmentation and grouping

    Robles-Kelly, A., Sarkar, S. & Hancock, E. R., 2002

    Article in 16TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL II, PROCEEDINGS

  20. A flexible decision support system for steel hot rolling mill scheduling

    Cowling, P., 2003

    Article in Computers Industrial Engineering

  21. A foundation for developing a methodology for social network sampling

    Franks, D. W., James, R., Noble, J. & Ruxton, G., May 2009

    Article in Behavioral Ecology and Sociobiology

  22. A framework for modelling trojans and computer virus infection

    Thimbleby, H., Anderson, S. & Cairns, P., 1998

    Article in The Computer Journal

  23. A framework for real-time utilities for Ada 2005

    Wellings, A. J. & Burns, A., 1 Mar 2008

    Article in Ada User Journal

  24. A generative model for graph matching and embedding

    Xiao, B., Hancock, E. R. & Wilson, R. C., 1 Jul 2009

    Article in Computer Vision and Image Understanding

  25. A graph-spectral approach to correspondence matching

    Robles-Kelly, A. & Hancock, E. R., 2002

    Article in 16TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITON, VOL IV, PROCEEDINGS

Previous 1 2 3 4 5 6 7 8 ...75 Next