| [1] | Rui Zhang, Alan Bivens, Steve Moyle, and Steve McKeever. Performance problem localization for self-healing, service-oriented systems using bayesian networks. In Proceedings of 22nd ACM Symposium on Applied Computing (SAC07), Track for Autonomic Computing. ACM Press, March 2007. |
| [2] | Jonathan Cooper and Steve McKeever. A model-driven approach to automatic conversion of physical units. Software Practice and Experience, 2007. [ DOI ] |
| [3] | Jonathan Cooper and Steve McKeever. Experience Report: A Haskell interpreter for CellML. In ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming, pages 247-250, New York, NY, USA, Oct 2007. ACM Press. [ DOI ] |
| [4] | Rui Zhang, Stephen Heisig, Steve Moyle, and Steve McKeever. Ogsa-based grid workload monitoring. In Proceedings of the 5th IEEE International Symposium on Cluster Computing and the Grid (CCGrid05). IEEE Computer Society Press, April 2006. |
| [5] | Jonathan Cooper, Steve McKeever, and Alan Garny. On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. 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, Jan 2006. ACM Press. [ DOI ] |
| [6] | S. McKeever and W. Luk. Towards provably-correct hardware compilation tools based on pass separation techniques. Formal Aspects of Computing, (18):120-142, 2006. |
| [7] | Steve McKeever, Wayne Luk, and Arran Derbyshire. Towards verifying parametrised hardware libraries with relative placement information. In HICSS, page 279, 2003. [ http ] |
| [8] | Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, and Steve McKeever. On the supervision and assessment of part-time postgraduate software engineering projects. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pages 628-633. IEEE Computer Society, 2003. [ http ] |
| [9] | Steve McKeever, Wayne Luk, and Arran Derbyshire. Compiling hardware descriptions with relative placement information for parametrised libraries. In Mark Aagaard and John W. O'Leary, editors, Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, volume 2517 of Lecture Notes in Computer Science, pages 342-359. Springer, 2002. [ http ] |
| [10] | W. Luk, T. Kean, A. Derbyshire, J. Gause, S. McKeever, M. Mencer, and A. Yeow. Parametrized hardware libraries for configurable system-on-chip technology. Canadian Journal of Electrical and Computer Engineering, 26(3/4):125-129, 2001. |
| [11] | S. McKeever and W. Luk. A declarative framework for developing parametrised hardware libraries. In Proceedings of the 8th International Conference on Electronics, Circuits and Systems, pages 1635-1638. IEEE, 2001. |
| [12] | Steve McKeever and Wayne Luk. Towards provably-correct hardware compilation tools based on pass separation techniques. In Tiziana Margaria and Thomas F. Melham, editors, 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, volume 2144 of Lecture Notes in Computer Science, pages 212-227. Springer, 2001. [ http ] |
| [13] | W. Luk, A. Derbyshire, J. Gause, S. McKeever, A. Yeow, and T. Kean. Parametrized hardware libraries for configurable system-on-chip technology. 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. |
| [14] | Florent de Dinechin, Wayne Luk, and Steve McKeever. Towards adaptable hierarchical placement for fpgas. In FPGA, page 254, 1999. [ http ] |
| [15] | Wayne Luk and Steve McKeever. Pebble: A language for parametrised and reconfigurable hardware design. In Reiner W. Hartenstein and Andres Keevallik, editors, Field-Programmable Logic and Applications, From FPGAs to Computing Paradigm, 8th International Workshop, FPL'98, Tallinn, Estonia, August 31 - September 3, 1998, Proceedings, volume 1482 of Lecture Notes in Computer Science, pages 9-18. Springer, 1998. [ http ] |
| [16] | W. Luk, J. Gray, D. Grant, S. Guo, S. McKeever, N. Shirazi, M. Dean, S. Seng, and K. Teo. Reusing intellectual property with parametrised hardware libraries. 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. |
This file has been generated by bibtex2html 1.85.