Search research publications and outputs

  1. Article › Research › Peer-reviewed
  2. High-Availability Clusters: A Taxonomy, Survey, and Future Directions

    Somasekaram, P., Calinescu, R. & Buyya, R., 29 Dec 2021, (E-pub ahead of print)

    Article in Journal of Systems and Software

  3. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

  4. Quantitative Verification with Adaptive Uncertainty Reduction

    Alasmari, N., Calinescu, R., Paterson, C. & Mirandola, R., 22 Feb 2022, (E-pub ahead of print)

    Article in Journal of Systems and Software

  5. Static probabilistic timing analysis for real-time systems using random replacement caches

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015, (E-pub ahead of print)

    Article in Real-Time Systems

  6. Uncertainty Estimation for Stereo Matching Based on Evidential Deep Learning

    Wang, C., Wang, X., Zhang, J., Zhang, L., Bai, X., Ning, X., Zhou, J. & Hancock, E., 10 Dec 2021, (E-pub ahead of print)

    Article in Pattern Recognition

  7. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing