Working Together: Constraint Programming and Cloud Computing
Working Together: Constraint Programming and Cloud Computing
批准号:
EP/K015745/1
负责人:
Ian Miguel
金额:
$80.3万
依托单位:
依托单位国家:
英国
项目类别:
Research Grant
财政年份:
2013
资助国家:
英国
项目状态:
已结题
起止时间:
2013 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This proposal combines two active, important research streams in cloud computing and constraint programming, both of which will realise significant and sustained benefits from working in concert. Constraint programming is a proven technology for solving complex combinatorial problems. However, the inherent difficulty of these problems means that performance can be variable, often requiring tuning by an expert to obtain best results. One approach to obtaining more robust performance is to employ a portfolio of solvers with complementary strengths. The scalable resource offered by the cloud is perfectly suited to the deployment of such portfolios and presents the opportunity to employ large solver portfolios to tackle challenge problems of exceptional difficulty. Conversely, a major concern in cloud computing is how to deploy an application on the available infrastructure so as to maximise performance and minimise operating costs. Added complexity arises when dealing with Big Data scenarios where it is important to run computation as closely (in terms of network distance) as possible to the data, in order to minimise network latency and maximise the performance of an application. This is a difficult combinatorial problem with a large set of variables including: public cloud provider, cloud configuration, geographical region, pricing etc. to which constraint programming is ideally suited.Our two primary research streams in ICT will interact and work together with a third in astronomy to deliver a solution to a major challenge application: scheduling telescope observations to measure the abundance of planets throughout the Milky Way. If successful, the benefit to astronomy is clear, but our two primary streams will also benefit greatly from a major evaluation of their ability to work together to solve a large, complex problem.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Executing Bag of Distributed Tasks on Virtually Unlimited Cloud Resources
在几乎无限的云资源上执行分布式任务包
DOI:
10.5220/0005403303730380
发表时间:
2015
期刊:
影响因子:
--
作者:
[Barker A]
通讯作者:
Barker A
Academic Cloud Computing Research: Five Pitfalls and Five Opportunities
学术云计算研究:五个陷阱和五个机遇
DOI:
--
发表时间:
2014
期刊:
影响因子:
--
作者:
[Barker, A.]
通讯作者:
Barker, A.
Generating custom propagators for arbitrary constraints
为任意约束生成自定义传播器
DOI:
10.1016/j.artint.2014.03.001
发表时间:
2014
期刊:
Artificial Intelligence
影响因子:
14.4
作者:
[Gent I]
通讯作者:
Gent I
Breaking Conditional Symmetry in Automated Constraint Modelling with Conjure
使用 Conjure 打破自动约束建模中的条件对称性
DOI:
--
发表时间:
2014
期刊:
Proceedings of the 21st European Conference on Artificial Intelligence
影响因子:
--
作者:
[Akgun, O.]
通讯作者:
Akgun, O.
DOI:
10.1613/jair.5512
发表时间:
2017-01-01
期刊:
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
影响因子:
5
作者:
[Gent, Ian P., Jefferson, Christopher, Nightingale, Peter]
通讯作者:
Nightingale, Peter
共 6 条
Keep Learning
-
批准号:EP/V027182/1
-
项目类别:Research Grant
-
资助金额:$48.17万
-
财政年份:2021
-
负责人:Ian Miguel
-
依托单位:
A Constraint Modelling Pipeline
-
批准号:EP/P015638/1
-
项目类别:Research Grant
-
资助金额:$113.01万
-
财政年份:2017
-
负责人:Ian Miguel
-
依托单位:
A Constraint Solver Synthesiser
-
批准号:EP/H004092/1
-
项目类别:Research Grant
-
资助金额:$118.38万
-
财政年份:2009
-
负责人:Ian Miguel
-
依托单位:
Refinement-driven Transformation for Effective Automated Constraint Modelling
-
批准号:EP/D030145/1
-
项目类别:Research Grant
-
资助金额:$9.34万
-
财政年份:2006
-
负责人:Ian Miguel
-
依托单位:
海外基金