Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems

    Hu, E. Y-S., Bernat, G. & Wellings, A. J., 2002, 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA. IEEE Computer Society, p. 77-84 8 p.

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

  2. A Statistical Model for Daylight Spectra

    Williams, M. & Smith, W. A. P., 2009, Advances in Visual Computing: 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I. PART 1 ed. Springer, Vol. 5875 LNCS. p. 632-643 12 p. (Lecture Notes in Computer Science; vol. 5875).

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

  3. A Statistical Response-Time Analysis of Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2012, Proceedings of the 33rd Real-Time Systems Symposium. p. 351-362 12 p.

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

  4. A Study of Enclosure Shielding Effectiveness Measurement using Frequency Stirring in a Mode-Stirred Chamber

    Marvin, A. C. & He, Y., 2008, 2008 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY. NEW YORK: IEEE, Vol. 1-3. p. 121-126 6 p.

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

  5. A Study of the Challenges Related to DIY Assistive Technology in the Context of Children with Disabilities

    Hook, J. D., Verbaan, S., Durrant, A., Olivier, P. & Wright, P. C., 21 Jun 2014, DIS '14: Proceedings of the 2014 Conference on Designing Interactive Systems. New York: Association for Computing Machinery (ACM), p. 597-606

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

  6. A Supercompiler for Core Haskell

    Mitchell, N. & Runciman, C., 2008, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer, Vol. 5083. p. 147-164 (Lecture Notes in Computer Science; vol. 5083).

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

  7. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

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

  8. A Systematic Review of Cloud Lock-In Solutions

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 2. p. 363-368

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

  9. A TEM structural study of thermal stability of magnetic tunnel junctions integrated with CMOS devices

    Lazarov, V. K., Kohn, A., Uhrmann, T., Dimopoulos, T., Bruecki, H., Achard, H., Baraduc, C., Vizzini, S., Oughaddou, H., Aufray, B., d'Avitaya, F. A. & Lazarov, V., 2008, EMAG: ELECTRON MICROSCOPY AND ANALYSIS GROUP CONFERENCE 2007. Baker, RT., Mobus, G. & Brown, PD. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 12002-12002 4 p.

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

  10. A Tool Architecture for Application of Portable Code to Future Avionic Systems

    Grigg, A., Audsley, N. C., Bate, I. J., Fletcher, M. A. & Wake, A. S., 2001, Proceedings of ERA Avionics Conference. ERA TECHNOLOGY LTD

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

  11. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

    Marriott, C., Zeyda, F. & Cavalcanti, A. L. C., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Vol. 7316. p. 294-307

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

  12. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  13. A Toolkit for Interactive Sonification

    Pauletto, S. & Hunt, A., 1 Jul 2004, Proceedings of the International Conference on Auditory Displays.

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

  14. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

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

  15. A Two-direction Method of Solving Variable Demand Equilibrium Models with and without Signal Control

    Smith, M., 2009, Transportation and Traffic Theory 2009: Golden Jubilee: Papers selected for presentation at ISTTT18. Lam, W. H. K., Wong, S. C. & Lo, H. K. (eds.). NEW YORK: Springer, p. 365-386 22 p.

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

  16. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  17. A VJ centered exploration of expressive interaction

    Hook, J. D., Green, D., McCarthy, J., Taylor, S., Wright, P. C. & Olivier, P., 2011, Proceedings of the ACM International Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1265-1274

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

  18. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

  19. A Video Database for the Development of Stereo-3D Post-Production Algorithms

    Corrigan, D., Pitie, F., Morris, V., Rankin, A., Linnane, M., Kearney, G., Gorzel, M., O'Dea, M., Lee, C. & Kokaram, A., 17 Oct 2010, The seventh European conference on Visual Media Production: CVMP'10. p. 64-73 10 p.

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

  20. A Voice Source Analysis of Chest and Head Registers in Singing

    Brereton, J., 2006, The 3rd International Physiology and Acoustics of Singing Conference. Howard, D. M., Brereton, J. & Daffern, H. (eds.).

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

  21. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  22. A Worst-Case Behavior Analysis for Hard Real-Time Transactions

    Byun, J., Burns, A., Davis, R. & Wellings, A. J., 1997, Real-Time Database Systems. Vol. 396. p. 235-249

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

  23. A behavioural framework for designing educational computer games

    Linehan, C., Roche, B., Lawson, S., Doughty, M. & Kirman, B., 1 Dec 2009, Vienna Games Conference: Future and Reality of Gaming 2009. DIGRA Digital Games and Research Association

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

  24. A behavioural notion of subtyping for object-oriented programming in SPARK95.

    Lin, T. M. & McDermid, J. A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 309-321 13 p.

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

  25. A biological development model for the design of robust multiplier

    Liu, H., Miller, J. F. & Tyrrell, A. M., 2005, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Rothlauf, F., Branke, J., Cagnoni, S., Corne, DW., Drechsler, R., Jin, Y., Machado, P., Marchiori, E., Romero, J., Smith, GD. & Squillero, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 195-204 10 p.

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

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