UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations

Cooper, J; McKeever, S; Garny, A; (2006) On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. In: (pp. pp. 12-20).

Full text not available from this repository.

Abstract

Simulating the human heart is a challenging problem, with simulations being very time consuming some can take days to compute even on high performance computing resources. There is considerable interest in optimisation techniques, with a view to making whole-heart simulations tractable. Reliability of heart model simulations is also of great concern, particularly considering clinical applications. Simulation software should be easily testable (against empirical data) and maintainable, which is often not the case with extensively hand-optimised software. Automating any optimisations will greatly improve this situation. This paper presents a framework for automatically optimising cardiac ionic cell models. An abstract format for such models, CellML [9], has been developed at Auckland University and is gaining in popularity.We utilise this format and investigate robust transformations of models that lead to reduced simulation times. In particular, we demonstrate that partial evaluation [13] is a promising technique for this purpose, and that it combines well with a lookup table technique, commonly used in cardiac modelling, which we have automated. In our tests, the technique of partial evaluation gives a speedup of 1.2 times. Further, applying such transformations prior to the lookup table optimisation results in additional speedups from the latter technique. When both optimisations are used we obtain nearly a 5-fold speedup, compared with a speedup of 1.7 times when lookup tables alone are used. Copyright © 2006 ACM.

Type: Proceedings paper
Title: On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations
ISBN: 1595931961
DOI: 10.1145/1111542.1111546
URI: http://discovery.ucl.ac.uk/id/eprint/1530407
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item