Steve McKeever : Publications
|
[1] |
The Case for Using Markup for Biomechanical Modelling David Johnson and Steve McKeever In Proceedings of the XXIII Congress of the International Society of Biomechanics. ISB. July, 2011. |
|
[2] |
Markup Languages for In Silico Oncology David Johnson‚ Jonathan Cooper and Steve McKeever In Georgios Stamatakos and Dimitra Dionysiou, editors, Proceedings of the 4th International Advanced Research Workshop on In Silico Oncology and Cancer Investigation (4th IARWISOCI) – The ContraCancrum Workshop. Pages 108–110. September, 2010. |
|
[3] |
Checking Concurrent Contracts with Aspects Eric Kerfoot and Steve McKeever In Proceedings of the 25th Annual Symposium On Applied Computing. March, 2010. |
|
[4] |
Deadlock Freedom Through Object Ownership Eric Kerfoot‚ Steve McKeever and Faraz Torshizi In Tobias Wrigstad, editor, 5rd International Workshop on Aliasing‚ Confinement and Ownership in object−oriented programming (IWACO)‚ in conjunction with ECOOP 2009. July, 2009. |
|
[5] |
Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation Johan Ditmar‚ Steve McKeever and Alex Wilson In International Journal of Reconfigurable Computing. 2008. |
|
[6] |
CellML and Associated Tools and Techniques Alan Garny‚ David Nickerson‚ Jonathan Cooper‚ Rodrigo Weber dos Santos‚ Steve McKeever‚ Poul Nielsen and Peter Hunter In Phil Trans Roy Soc A. Vol. 366. No. 1878. Pages 3017–3043. 2008. |
|
[7] |
A model−driven approach to automatic conversion of physical units Jonathan Cooper and Steve McKeever In Softw. Pract. Exper.. Vol. 38. No. 4. Pages 337−359. 2008. |
|
[8] |
Integrating Multi−level Molecular Simulations Across Heterogeneous Resources Yudong Sun‚ Steve McKeever‚ Kia Balali−Mood and Mark Sansom In International Conference on Grid Computing. IEEE/ACM. September, 2007. |
|
[9] |
Array Synthesis in SystemC Hardware Compilation Johan Ditmar and Steve McKeever In International Conference on Field Programmable Logic and Applications. Pages 23−28. August, 2007. |
|
[10] |
Maintaining Invariants Through Object Coupling Mechanisms Eric Kerfoot and Steve McKeever In Tobias Wrigstad, editor, 3rd International Workshop on Aliasing‚ Confinement and Ownership in object−oriented programming (IWACO)‚ in conjunction with ECOOP 2007. July, 2007. |
|
[11] |
Performance Problem Localization for Self−Healing‚ Service−Oriented Systems using Bayesian Networks Rui Zhang‚ Alan Bivens‚ Steve Moyle and Steve McKeever In Proceedings of 22nd ACM Symposium on Applied Computing (SAC07)‚ Track for Autonomic Computing. ACM Press. March, 2007. |
|
[12] |
A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide Yudong Sun‚ Steve McKeever‚ Kia Balali−Mood and Mark Sansom In Proceedings of the International Conference on Bioinformatics and Biomedicine. IEEE. November, 2007. |
|
[13] |
Experience Report: A Haskell interpreter for CellML Jonathan Cooper and Steve McKeever Pages 247–250. New York‚ NY‚ USA. October, 2007. ACM Press. |
|
[14] |
Experience Report: A Haskell Interpreter for CellML Jonathan Cooper and Steve McKeever In International Conference on Functional Programming. ACM. 2007. |
|
[15] |
OGSA−based Grid Workload Monitoring Rui Zhang‚ Stephen Heisig‚ Steve Moyle and Steve McKeever In Proceedings of the 5th IEEE International Symposium on Cluster Computing and the Grid (CCGrid05). IEEE Computer Society Press. April, 2006. |
|
[16] |
Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques S. McKeever and W. Luk In Formal Aspects of Computing. No. 18. Pages 120−142. 2006. |
|
[17] |
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations Jonathan Cooper‚ Steve McKeever and Alan Garny In PEPM '06: Proceedings of the 2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics−Based Program Manipulation. Pages 12–20. New York‚ NY‚ USA. 2006. ACM Press. |
|
[18] |
On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects Andrew Simpson‚ Andrew Martin‚ Jeremy Gibbons‚ Jim Davies and Steve McKeever Pages 628−633. 2003. |
|
[19] |
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information Steve McKeever‚ Wayne Luk and Arran Derbyshire In HICSS. Pages 279. 2003. |
|
[20] |
Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries Steve McKeever‚ Wayne Luk and Arran Derbyshire Pages 342−359. 2002. |
|
[21] |
Formal Methods in Computer−Aided Design‚ 4th International Conference‚ FMCAD 2002‚ Portland‚ OR‚ USA‚ November 6−8‚ 2002‚ Proceedings Mark Aagaard and John W. O'Leary, editors Mark Aagaard and John W. O'Leary, editors |
|
[22] |
Parametrized Hardware Libraries for Configurable System−on−Chip Technology W. Luk‚ T. Kean‚ A. Derbyshire‚ J. Gause‚ S. McKeever‚ M. Mencer and A. Yeow In Canadian Journal of Electrical and Computer Engineering. Vol. 26. No. 3/4. Pages 125–129. 2001. |
|
[23] |
A Declarative Framework for Developing Parametrised Hardware Libraries S. McKeever and W. Luk In Proceedings of the 8th International Conference on Electronics‚ Circuits and Systems. Pages 1635−1638. IEEE. 2001. |
|
[24] |
Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques Steve McKeever and Wayne Luk Pages 212−227. 2001. |
|
[25] |
Parametrized Hardware Libraries for Configurable System−on−Chip Technology W. Luk‚ A. Derbyshire‚ J. Gause‚ S. McKeever‚ A. Yeow and T. Kean In Proceedings of the 5th World Multi−Conference on Systemics‚ Cybernetics and Informatics‚ Invited Session on Issues in System on Chip (SoC) Design. Callaos and Associates Corp.. 2001. |
|
[26] |
Correct Hardware Design and Verification Methods‚ 11th IFIP WG 10.5 Advanced Research Working Conference‚ CHARME 2001‚ Livingston‚ Scotland‚ UK‚ September 4−7‚ 2001‚ Proceedings Tiziana Margaria and Thomas F. Melham, editors Tiziana Margaria and Thomas F. Melham, editors |
|
[27] |
Towards Adaptable Hierarchical Placement for FPGAs Florent de Dinechin‚ Wayne Luk and Steve McKeever In FPGA. Pages 254. 1999. |
|
[28] |
Pebble: A Language for Parametrised and Reconfigurable Hardware Design Wayne Luk and Steve McKeever Pages 9−18. 1998. |
|
[29] |
Reusing Intellectual Property with Parametrised Hardware Libraries W. Luk‚ J. Gray‚ D. Grant‚ S. Guo‚ S. McKeever‚ N. Shirazi‚ M. Dean‚ S. Seng and K. Teo In J.−Y. Roger‚ B.S. Smith and P.T. Kidd, editors, Advances in Information Technologies: The Business Challenge. Pages 788–795. IOS Press. 1997. |