Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP130102901
Funding Status
Closed
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Funded Activity Summary
Understanding concurrent programs using rely-guarantee thinking. Multi-core processors are standard in computers and devices (e.g. smart phones) but much of the software available for these machines is either unreliable or does not exploit the available hardware parallelism. This project will devise techniques for designing concurrent software that exploits these platforms while delivering dependable operation.Funded Activity Details
Start Date: 2013
End Date: 12-2016
Funding Scheme: Discovery Projects
Funding Amount: $305,000.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Software Engineering | Computer Software | Concurrent Programming
ANZSRC Socio-Economic Objective (SEO)
Information and Communication Services not elsewhere classified |
