|
|
 |
| |
|
Quantitative Analysis of Computational Resources
- Description
-
We are concerned with questions related to the access, availability and consumption of computational resources e.g. time, space, memory, etc.
We will investigate methods for the (probabilistic) analysis and verification of properties related to problems in computer security (authorised resource access), coordination (resource availability in time and space), performance (resource consumption over time), quality of service (resource availability), etc.
We will look at problems related to the ``economics of computational resources'', i.e. of how to optimise and organise resource consumption, distribution and production in computing.
Resources are strongly related to a quantitative description of computation, and taking them into account requires us to abandon a merely qualitative study of computing. Hence, we adopt an approach based on quantitative methodologies.
A particular role is played by probabilities which allow us to address problems which are beyond the scope of many traditional methods.
For a detailed description of the project's objectives read our project proposal .
- Members
-
|
|
|
|
 |
|
|
|
