Research Grants

           

EP/E002412/1

Staged Performance Optimisation Components (SPOCS)

EP/F048726/1

Fluid Approximations for Quantitative Analysis

GR/N63154/01

CROSS-COMPONENT OPTIMISATION OF PARALLEL SCIENTIFIC SOFTWARE 

GR/R02238/01

The Mechanical Extraction of Performance Models From UML Specifications (EMU)

GR/N16631/01

MODELLING DECISION MAKING PROCESSES IN UK CONTAINER TRANSPORT 

GR/R21486/01

Optimisation of Scientific Software At Run-Time (Oscar) 

GR/M80826/01

QUANTITATIVE ANALYSIS OF THE INTERNET (QUAINT) 

GR/N35571/01

CROSS-COMPONENT OPTIMISATION OF PARALLEL SCIENTIFIC SOFTWARE 

GR/N13371/01

HIGH LEVEL COMPONENT BASED CONSTRUCTION OF HIGH PERFORMANCE SCIENTIFIC APPLICATIONS 

GR/J87015/01

THE OPTIMISATION OF COHERENCY & COMMUNICATION IN PARALLEL SYSTEMS USING SHARED ABSTRACT DATA TYPES 

GR/J99117/01

COMBINING RANDOMISATION AND MIXED-POLICY CACHING FOR BOUNDED- CONTENTION 

GR/J13755/01

QUANTITATIVE DESIGN OF LARGE NETWORKS OF POLLING STATIONS 

GR/J14448/01

COMPAQT: COMBINED PROGRAM AND QUERY TRANSFORMATION FOR PARALLEL DATABASE PROCESSING

GR/H46299/01

COMMUNICATION-INTENSIVE MASSIVELY-PARALLEL ALGORITHMS 

GR/F36903/01

THE EXPLOTATION OF PARALLEL HARDWARE USING FUNCTIONAL LANGUAGES AND PROGRAM TRANSFORMATION 

GR/E54986/01

ANALYTICAL MODELLING OF LARGE-SCALE PARALLEL MACHINES