The International Mouse Phenotyping Consortium (IMPC) web portal (http://www.mousephenotype.org) provides the biomedical community with a unified point of access to mutant mice and rich collection of related emerging and existing mouse phenotype data. IMPC mouse clinics worldwide follow rigorous highly structured and standardized protocols for the… (More)
The International Mouse Phenotyping Consortium (IMPC) is providing the world’s first functional catalogue of a mammalian genome by characterising a knockout mouse strain for every gene. A robust and highly structured informatics platform has been developed to systematically collate, analyse and disseminate the data produced by the IMPC. As the first phase… (More)
In this paper we apply the high-level modelling language PEPA to the performance analysis of a parallel program with a pipeline skeleton which computes the Mean Value Analysis (MVA) algorithm for queueing networks.
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra (pepa) and a pattern-oriented hierarchical expression scheme. Such approaches are important in parallel and distributed systems where the performance models must be updated… (More)
This paper describes the RTGrid distributed simulation framework for conformal radiotherapy. We introduce novel approaches through which several distributed computing technologies are made accessible to Monte Carlo simulations for radiotherapy dose calculations. Currently, radio-therapy treatment planning is typically performed on PCs and workstations which… (More)
In this paper, we discuss a structural approach to automatic performance modelling of workflow systems. This uses a synthesis of performance evaluation process algebra (pepa) and a pattern-based hierarchical expression scheme. Such systems are important in cases where the performance models must be updated regularly, and dynamically, based on the current… (More)
ion concepts based on process groups have largely dominated the design and implementation of communication patterns in message passing systems. Although such an approach seems pragmatic—given that participating processes form a 'group'—in this dissertation, we discuss subtle issues that affect the qualitative and quantitative aspects of this approach. To… (More)