Search research publications and outputs

  1. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

  2. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  3. A review of literature on parallel constraint solving

    Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C., Sep 2018

    Article in Theory and Practice of Logic Programming

  4. Adaptive Hash Retrieval with Kernel Based Similarity

    Xiao, B., Yan, C., Yang, H., Lu, B., Zhou, J. & Hancock, E. R., 30 Mar 2017

    Article in Pattern Recognition

  5. An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic

    Moscholios, I., Vasilakis, V., Sarigiannidis, P., Sagias, N. & Logothetis, M., 5 Jan 2018

    Article in Iet communications

  6. An extensible framework for multicore response time analysis

    Davis, R. I., Altmeyer, S., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., 18 Jul 2017

    Article in Real-Time Systems

  7. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018

    Article in Scientific Reports

  8. Analyzing Player Networks in Destiny

    Pirker, J., Rattinger, A., Drachen, A. & Sifa, R., Mar 2018

    Article in Entertainment Computing

  9. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. J. & Spracklen, P., Oct 2017

    Article in Artificial Intelligence

  10. Bayesian spatial NBDA for diffusion data with home-base coordinates

    Nightingale, G. F., Laland, K. N., Hoppitt, W. J. E. & Nightingale, P., 2 Jul 2015

    Article in PLoS ONE

  11. CAINE: A Context-Aware Information-Centric Network Ecosystem

    Kamel, G., Wang, N., Vasilakis, V., Sun, Z., Navaratnam, P., Wang, C., Dong, L. & Tafazolli, R., 5 Aug 2015

    Article in Ieee communications magazine

  12. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018

    Article in Review of Scientific Instruments

  13. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018

    Article in Information Processing Letters

  14. Conditional channel simulation

    Pirandola, S., Laurenza, R. & Banchi, L., Jan 2019

    Article in Annals of Physics

  15. Controllable transport of a skyrmion in a ferromagnetic narrow channel with voltage-controlled magnetic anisotropy

    Wang, J., Xia, J., Zhang, X., Zhao, G. P., Ye, L., Wu, J., Xu, Y., Zhao, W., Zou, Z. & Zhou, Y., 25 Apr 2018

    Article in Journal of Physics D: Applied Physics

Previous 1 2 3 4 5 Next