Working Together: Constraint Programming and Cloud Computing

Miguel, Ian James (PI)
Barker, Adam David (CoI)

School of Computer Science

Project: Standard

Acronym	Working Together in ICT
Status	Finished
Effective start/end date	1/01/13 → 30/09/16

Funding

EPSRC: £603,224.98

17 Conference contribution
4 Article
1 Chapter

Towards reformulating Essence specifications for robustness
Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I., Nightingale, P. & Salamon, A. Z., 25 Oct 2021, ModRef 2021 - The 20th workshop on Constraint Modelling and Reformulation (ModRef). 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Cloud benchmarking for maximising performance of scientific applications
Varghese, B., Akgun, O., Miguel, I. J., Thai, L. T. & Barker, A. D., 1 Jan 2019, In: IEEE Transactions on Cloud Computing. 7, 1, p. 170-182 13 p., 7553491.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Complexity of n-Queens completion (extended abstract)
Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Towards reformulating Essence specifications for robustness (code)
Akgun, O. (Creator), GitHub, 2021
https://github.com/stacs-cp/ModRef2021-robustness
Dataset: Software