Search research publications and outputs

  1. 1999
  2. Neural associative processing of document images

    O'Keefe, S. E. M. & Austin, J., 1 Dec 1999, IEE Conference Publication. 470 ed. Stevenage, United Kingdom: IEE Press, Vol. 2. p. 720-725 6 p.

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

  3. Portable Code for Complex, Critical Systems

    Audsley, N., Bate, I. & Grigg, A., 1 Dec 1999, Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99). p. 111-119 9 p.

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

  4. 2000
  5. (True) polymorphism in SPARK2000

    Lin, T. M. & McDermid, J. A., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-265 14 p.

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

  6. 3-D terrain from synthetic aperture radar images

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000, IEEE WORKSHOP ON COMPUTER VISION BEYOND THE VISIBLE SPECTRUM: METHODS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-72 10 p.

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

  7. A computer based system for space allocation optimisation

    Burke, EK., Cowling, P., Landa, JD., McCollum, B. & Varley, D., 2000, Proceedings of the 27th International Conference on Computers and Industrial Engineering.

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

  8. A hyperheuristic approach to scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2000, International Conference on the Practice and Theory of Automated Timetabling. p. 176-190 15 p.

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

  9. Achieving minimal and deterministic interrupt execution in stack-based processor architectures

    Bailey, C., 2000, PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II. Vajda, F. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 368-375 8 p.

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

  10. Adapting scale by minimising spectral defocusing for shape from texture

    Ribeiro, E. & Hancock, E. R., 2000, 2000 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 893-896 4 p.

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

  11. Assessing the safety of integrity level partitioning in software

    McDermid, J. A. & Pumfrey, D. J., 2000, LESSONS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 134-152 19 p.

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

  12. Attribute-Value and Relational Learning: A Statistical Viewpoint

    Cussens, J., 2000, Proceedings of the ICML-2000 Workshop on Attribute-Value and Relational Learning: Crossing the Boundaries. De Raedt, L. & Kramer, S. (eds.). p. 35-39 5 p.

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

  13. Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach

    Burton, S., Clark, J. A., Galloway, A. & McDermid, J. A., 2000, Proceedings of the NASA Langley Formal Methods Workshop.

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

  14. Automorphs and involutions

    Jackson, T., 2000, NUMBER THEORY. Jakubec, S., Nemoga, K. & Porubsky, S. (eds.). BRATISLAVA: SLOVAK ACADEMY SCIENCES MATHEMATICAL INSTITUTE, p. 59-63 5 p.

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

  15. Complexity: Concept, causes and control

    McDermid, J. A., 2000, SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 29 8 p.

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

  16. Deriving quantified safety requirements in complex systems

    Lindsay, P. A., McDermid, J. A. & Tombs, D. J., 2000, COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS. Koornneef, F. & VanderMeulen, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 117-130 14 p.

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

  17. Deriving safety requirements using scenarios

    Allenby, K. & Kelly, T., 2000, FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 228-235 8 p.

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

  18. Double-Pushout Approach with Injective Matching

    Plump, D., Habel, A. & Müller, J., 2000, 6th International Workshop on Theory and Application of Graph Transformations (TAGT 98), Selected Papers. Springer, p. 103-116 (Lecture Notes in Computer Science; vol. 1764).

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

  19. Effective heuristic and metaheuristic approaches to optimize component placement in printed circuit board assembly

    Burke, E. K., Cowling, P. I. & Keuthen, R., 2000, Evolutionary Computation, 2000. Proceedings of the 2000 Congress on. Vol. 1. p. 301-308 8 p.

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

  20. Generating and Maintaining a Safety Argument for Integrated Modular Systems

    Nicholson, M., Conmy, P. M., Bate, I. J. & McDermid, J. A., 2000, Proceedings of 5th Australian Workshop on Industrial Experience with Safety Critical Systems and Software. p. 31-41

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

  21. Generating evidence for certification of modern processors for use in safety-critical systems

    Bate, I., Conmy, P. & McDermid, J., 2000, FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 125-134 10 p.

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

  22. Heaven or hell? A "real-time" UML? Panel

    Selic, B., Burns, A., Moore, A., Tempelmeier, T. & Terrier, F., 2000, UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS. Evans, A., Kent, S. & Selic, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 93-100 8 p.

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

  23. Hierarchical Graph Transformation

    Plump, D., Drewes, F. & Hoffmann, B., 2000, Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). Springer, p. 98-113 16 p. (Lecture Notes in Computer Science; vol. 1784).

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

  24. Low-level analysis of a portable Java byte code WCET analysis framework

    Bate, I., Bernat, G., Murphy, G. & Puschner, P. P., 2000, 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea. IEEE Computer Society

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

  25. Multi-agent systems for dynamic scheduling

    Cowling, PI., Ouelhadj, D., Petrovic, S. & Garagnani, M., 2000, Proceedings of the nineteenth workshop of planning and scheduling of the UK. p. 45-54 10 p.

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

  26. Object-oriented programming and protected objects in Ada 95

    Wellings, A. J., Johnson, B., Sanden, B., Kienzle, J., Wolf, T. & Michell, S., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 16-28 13 p.

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

  27. Portable worst-case execution time analysis using Java Byte Code

    Bernat, G., Burns, A. & Wellings, A., 2000, EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-88 4 p.

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

Previous 1...4 5 6 7 8 9 10 11 ...65 Next