Next:
Project overview and goals
Up:
Proposal to the EPSRC:
Previous:
Letters of support
Proposed research and context
Subsections
Project overview and goals
Background and supporting work
Plan of work
Task 1: Development and extension of resource-bounded computation
Task 1.1: Open resource quantification
Task 1.2: Algorithms for object-oriented resource quantification
Task 2: Extended static resource checking
Task 2.1: ESC/Java resource modelling
Task 2.2: Resource annotation inference
Task 2.3: ESC/Java case study
Task 3: Obtaining resource consumption certificates in Java compilation
Task 3.1: Interpreting resource annotations in Java sources
Task 3.2: Relationship to other advanced Java processors
Task 4: Resource quantification at the Java bytecode level
Task 4.1: Developing Grail for Grid computation
Task 4.2: Proof-carrying code certificates in the Java class file format
Task 5: Exposing resource quantification in Grid services
Task 5.1: Extensions to WSDL for resource specifications
Dissemination and relevance
Management and resources
Workplan:
Manpower:
Travel:
Equipment:
Infrastructure:
