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

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

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

Full text

Pdf (646 KB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

Charleston, South Carolina

SESSION: Applications table of contents

Pages: 12 - 20

Year of Publication: 2006

ISBN:1-59593-196-1

Authors

Jonathan Cooper	Oxford University, Oxford, UK
Steve McKeever	Oxford University, Oxford, UK
Alan Garny	University of Oxford, Oxford, UK

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 23, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1111542.1111546 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	P. H. Andersen. Partial evaluation applied to ray tracing. Technical Report 95/2, DIKU, University of Copenhagen, January 1995.
	2	Andrew Berlin, Partial evaluation applied to numerical computation, Proceedings of the 1990 ACM conference on LISP and functional programming, p.139-150, June 27-29, 1990, Nice, France [doi>10.1145/91556.91612]
	3	Andrew Berlin , Daniel Weise, Compiling Scientific Code Using Partial Evaluation, Computer, v.23 n.12, p.25-37, December 1990 [doi>10.1109/2.62091]
	4	Hans Boehm , Robert Cartwright, Exact real arithmetic formulating real numbers as functions, Research topics in functional programming, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	5	F. Dexter, G. M. Saidel, M. N. Levy, and Y. Rudy. Mathematical model of dependence of heart rate on tissue concentration of acetylcholine. Am J Physiol Heart Circ Physiol, 256(2):H520--526, 1989.
	6	A. Garny, P. Kohl, P. J. Hunter, M. R. Boyett, and D. Noble. One-Dimensional Rabbit Sinoatrial Node Models: Benefits and Limitations. J Cardiovasc Electrophysiol, 14(s10):S121--S132, 2003.
	7	A. Garny, P. Kohl, and D. Noble. Cellular Open Resource (COR): a public CellML based environment for modelling biological function. Int J Bif Chaos, 13(12):3579--3590, 2003.
	8	E. Hairer , S. P. Nørsett , G. Wanner, Solving ordinary differential equations I (2nd revised. ed.): nonstiff problems, Springer-Verlag New York, Inc., New York, NY, 1993
	9	W. J. Hedley, M. R. Nelson, D. P. Bullivant, and P. F. Nielsen. A short introduction to CellML. Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 359(1783):1073--1089, June 2001.
	10	A. L. Hodgkin and A. F. Huxley. A quantitative description of membrane current and its application to conduction and excitation in the nerve. J Physiol, 117:500--544, 1952.
	11	John Hughes, Generalising monads to arrows, Science of Computer Programming, v.37 n.1-3, p.67-111, May 2000 [doi>10.1016/S0167-6423(99)00023-4]
	12	P. J. Hunter, A. J. Pullen, and B. H. Smaill. Modelling total heart function. Annu. Rev. Biomed. Eng., 5:147--177, 2003.
	13	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	14	L. J. Leon and F. A. Roberge. A new cable model based on Green's theorem. Ann Biomed Eng, 18(1):1--17, 1990.
	15	L. M. Loew and J. C. Schaff. The Virtual Cell: a software environment for computational cell biology. Trends Biotechnol, 19:401--406, 2001.
	16	C. Luo and Y. Rudy. Dynamic Model of the Cardiac Ventricular Action Potential---Simulations of Ionic Currents and Concentration Changes. Circulation Research, 74:1071--1097, 1994.
	17	Dylan McNamee , Jonathan Walpole , Calton Pu , Crispin Cowan , Charles Krasic , Ashvin Goel , Perry Wagle , Charles Consel , Gilles Muller , Renauld Marlet, Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems (TOCS), v.19 n.2, p.217-251, May 2001 [doi>10.1145/377769.377778]
	18	D. Michie. Memo functions and machine learning. Nature, 218:19--22, April 1968.
	19	Steven S. Muchnick, Advanced compiler design and implementation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1998
	20	D. Noble. Cardiac action and pacemaker potentials based on the hodgkin-huxley equations. Nature, 188:495--497, 1960.
	21	D. Noble. Modelling the heart: insights, failures and progress. BioEssays, 24:1155--1163, 2002.
	22	E. Süli and D. Mayers. An Introduction to Numerical Analysis. Cambridge University Press, 2003.
	23	P. Thiemann. Towards partial evaluation of full scheme. In G. Kiczales, editor, Reflection'96, pages 95--106, April 1996.
	24	L. Tung. A bidomain model for describing ischemic myocardial D.C. potentials. PhD thesis, Massachusettes Institute of Technology, Cambridge, MA, 1978.
	25	E. J. Vigmond, M. Hughes, G. Plank, and L. J. Leon. Computational tools for modeling electrical activity in cardiac tissue. Journal of Electrocardiology, 36:69--74, Dec 2003.
	26	D. Weise and S. Seligman. Accelerating Object-Oriented Simulation via Automatic Program Specialization. Technical Report CSL-TR-92-519, Stanford University, April 1992.