Search research publications and outputs

  1. A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs

    Burns, A., Soares Indrusiak, L., Smirnov, N. & Harrison, J., 13 Feb 2020, (Accepted/In press) 26th IEEE Real-Time and Embedded Technology and Applications Symposium: Proceedings. IEEE

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

  2. Addressing resource contention and timing predictability for multi-core architectures with shared memory interconnects

    Wang, H., Audsley, N. C. & Chang, W., 28 Feb 2020, (Accepted/In press) IEEE Real-Time Embedded Technology & Applications Symposium (RTAS).

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

  3. Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicle : A Systematic Literature Review

    Tahir, Z. & Alexander, R., 10 Jan 2020, (Accepted/In press) The Second IEEE International Conference On Artificial Intelligence Testing.

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

  4. Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

    Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 2 Mar 2020, (Accepted/In press) Formal Methods in Software Engineering (FormaliSE 2020): Proceedings of the 8th International Conference. ACM

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

  5. Learning Spatio-Temporal Representations with Temporal Squeeze Pooling

    Huang, G. & Bors, A. G., 10 Feb 2020, (Accepted/In press) Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). IEEE, 5 p.

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

  6. TEVoT: Timing error modeling of functional units under dynamic voltage and temperature variations

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  7. The Convergence of Gaming and Gambling Research: What Can We Learn from Each Other?

    Deterding, C. S., Karlsen, F., Macey, J., Mortensen, T. E., Wardle, H. & Zendle, D., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract: Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  8. Timing-accurate general-purpose I/O for multi- and many-core systems: scheduling and hardware support

    Zhao, S., Jiang, Z., Dai, X., Bate, I. J., Habli, I. & Chang, W., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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