Search research publications and outputs

  1. 1998
  2. Integrating real-time structured design and formal techniques

    Priddin, D. & Burns, A., 1998, FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS. Ravn, AP. & Rischel, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 92-102 11 p.

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

  3. Investigation of the Pessimism in Distributed Systems Timing Analysis

    Bate, I. & Burns, A., 1998, Proceedings of the 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany. p. 107-114 8 p.

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

  4. Investigation of the pessimism in distributed systems timing analysis

    Bate, I. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 107-114 8 p.

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

  5. Jisys: Development of an artificial immune system for real world applications

    Hunt, J., Timmis, J., Cooke, D., Neal, M. & King, C., 1998, Artificial Immune Systems and their Applications. Springer, p. 157-186 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. LINDA for case base retrieval: A case for extending the functionality of LINDA and its abstract machine

    Campbell, D. K. G., Osborne, H. R., Bridge, D. G. & Wood, A. M., 1998, PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VII. ElRewini, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 226-235 10 p.

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

  7. Life-Cycle Timing Analysis of IMA Systems

    Audsley, N. C., Bate, I. J. & Grigg, A., 1998, Proceedings of the IEE Colloquium on Systems Engineering of Aerospace Projects, London. p. 7/1-7/5

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

  8. MOPping up Exceptions

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1998, Object-Oriented Technology, ECOOP'98 Workshop Reader : ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998. Demeyer, S. & Bosch, J. (eds.). Springer, Vol. 1543. p. 365-366 2 p. (Lecture Notes in Computer Science).

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

  9. Portable Code in Future Avionic Systems

    Audsley, N. C., Bate, I. J., Fletcher, M., Grigg, A. & Wake, A., 1998, Proceedings of the IEE Colloquium on Real-Time Systems, York, U.K. p. 3/1-3/6

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

  10. Real-time scheduling in a generic fault-tolerant architecture

    Wellings, A. J., Beus-Dukic, L. & Powell, D., 1998, 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 390-398 9 p.

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

  11. Relational histograms for shape indexing

    Huet, B. & Hancock, E. R., 1998, SIXTH INTERNATIONAL CONFERENCE ON COMPUTER VISION. NEW DELHI: NAROSA PUBLISHING HOUSE, p. 563-569 7 p.

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

  12. Schedulability analysis for mode changes in flexible real-time systems

    Pedro, P. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 172-179 8 p.

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

  13. The Role of Timing Analysis in the Certification of IMA Systems

    Audsley, N. C., Bate, I. J. & Grigg, A., 1998, Proceedings of IEE Symposium on the Certification of Ground/Air Systems, London, U.K. p. 6/1-6/6

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

  14. The technology transfer gap: A case study of academic-industrial technology transfer

    Smith, J., Wright, P., McDermid, J. & Cockram, T., 1998, CONFERENCE ON ACADEMIC AND INDUSTRIAL COOPERATION IN SPACE RESEARCH. PARIS: EUROPEAN SPACE AGENCY, p. 63-72 10 p.

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

  15. Time-related dependability mechanisms in guards

    Beus-Dukic, L. & Wellings, A., 1998, DATA SYSTEMS IN AEROSPACE - PROCEEDINGS. PARIS: EUROPEAN SPACE AGENCY, p. 335-340 6 p.

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

  16. Towards industrially applicable formal methods: Three small steps, and one giant leap

    McDermid, J., Galloway, A., Burton, S., Clark, J., Toyn, I., Tracey, N. & Valentine, S., 1998, SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. Staples, J., Hinchey, MG. & Liu, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 76-88 13 p.

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

  17. Using Prior Probabilities and Density Estimation for Relational Classification

    Cussens, J., 1998, Inductive Logic Programming: Proceedings of the 8th International Conference (ILP-98). Page, D. (ed.). SPRINGER, Vol. 1446. p. 106-115 10 p. (Lecture Notes in Artificial Intelligence).

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

  18. Using the Internet in project management

    Edwards, A. D. N., 1998, IMPROVING THE QUALITY OF LIFE FOR THE EUROPEAN CITIZEN. Porrero, IP. & Ballabio, E. (eds.). AMSTERDAM: I O S PRESS, p. 453-457 5 p.

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

  19. Value-based scheduling of flexible real-time systems for intelligent autonomous vehicle control

    Burns, A. & Prasad, D., 1998, INTELLIGENT AUTONOMOUS VECHICLES 1998 (IAV'98). Salichs, MA. & Halme, A. (eds.). OXFORD: PERGAMON PRESS LTD, p. 33-38 6 p.

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

  20. Formal methods in the classroom: The logic of real-time software design

    Ostroff, J. S. & Paige, R. F., 1 Jan 1998, Proceedings - Real-Time Systems Education III, RTSE 1998. Zalewski, J., Nawrocki, J. & Schwarz, J-J. (eds.). Institute of Electrical and Electronics Engineers Inc., Vol. 1998-November. p. 63-70 8 p. 766514

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

  21. An Efficient VLSI Architecture for an Enhanced TSS Algorithm for Video Coding Applications

    Xu, D., Crispin-Bailey, C. & Sotudeh, R., Oct 1998, Recent Advances in Information Science and Technology. World Scientific Publishing, p. 82-86 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. 1999
  23. A Framework for Scheduling in Safety-Critical Embedded Control Systems

    Bate, I. & Burns, A., 1999, 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society, p. 46-53 8 p.

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

  24. A PCI bus based correlation matrix memory and its application to k-NN classification

    Zhou, P. & Austin, J., 1999, PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99. LOS ALAMITOS: IEEE COMPUTER SOC, p. 196-204 9 p.

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

  25. A high performance k-NN classifier using a binary correlation matrix memory

    Zhou, P., Austin, J. & Kennedy, J., 1999, ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 11. Kearns, MS., Solla, SA. & Cohn, DA. (eds.). CAMBRIDGE: M I T PRESS, p. 713-719 7 p.

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

  26. A neural network architecture for trademark image retrieval

    Alwis, S. & Austin, J., 1999, ENGINEERING APPLICATIONS OF BIO-INSPIRED ARTIFICIAL NEURAL NETWORKS, VOL II. Mira, J. & SanchezAndres, JV. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 361-372 12 p.

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

  27. A principled design methodology for auditory interaction

    Mitsopoulos, E. N. & Edwards, A. D. N., 1999, HUMAN-COMPUTER INTERACTION - INTERACT '99. Sasse, MA. & Johnson, C. (eds.). AMSTERDAM: I O S PRESS, p. 263-271 5 p.

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

Previous 1...3 4 5 6 7 8 9 10 ...80 Next