Steve McKeever : Publications

Book chapters

• [1]

  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.

  Details about Reusing Intellectual Property with Parametrised Hardware Libraries | BibTeX data for Reusing Intellectual Property with Parametrised Hardware Libraries

Journal papers

• [1]

  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.

  Details about Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation | BibTeX data for Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation | DOI (10.1155/2008/674340) | Link to Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation

• [2]

  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.

  Details about CellML and Associated Tools and Techniques | BibTeX data for CellML and Associated Tools and Techniques | DOI (10.1098/rsta.2008.0094)

• [3]

  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.

  Details about A model−driven approach to automatic conversion of physical units | BibTeX data for A model−driven approach to automatic conversion of physical units | DOI (10.1002/spe.828)

• [4]

  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.

  Details about Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques | BibTeX data for Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques

• [5]

  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.

  Details about Parametrized Hardware Libraries for Configurable System−on−Chip Technology | BibTeX data for Parametrized Hardware Libraries for Configurable System−on−Chip Technology

Conference papers

• [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.

  Details about The Case for Using Markup for Biomechanical Modelling | BibTeX data for The Case for Using Markup for Biomechanical Modelling | Download (pdf) of The Case for Using Markup for Biomechanical Modelling

• [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.

  Details about Markup Languages for In Silico Oncology | BibTeX data for Markup Languages for In Silico Oncology | Download  (pdf) of Markup Languages for In Silico Oncology | Link to Markup Languages for In Silico Oncology

• [3]

  Checking Concurrent Contracts with Aspects

  Eric Kerfoot and Steve McKeever

  In Proceedings of the 25th Annual Symposium On Applied Computing. March, 2010.

  Details about Checking Concurrent Contracts with Aspects | BibTeX data for Checking Concurrent Contracts with Aspects | Download  (pdf) of Checking Concurrent Contracts with Aspects

• [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.

  Details about Deadlock Freedom Through Object Ownership | BibTeX data for Deadlock Freedom Through Object Ownership | Download  (pdf) of Deadlock Freedom Through Object Ownership

• [5]

  Experience Report: A Haskell interpreter for CellML

  Jonathan Cooper and Steve McKeever

  Pages 247–250. New York‚ NY‚ USA. October, 2007. ACM Press.

  Details about Experience Report: A Haskell interpreter for CellML | BibTeX data for Experience Report: A Haskell interpreter for CellML | DOI (10.1145/1291151.1291190)

• [6]

  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.

  Details about Maintaining Invariants Through Object Coupling Mechanisms | BibTeX data for Maintaining Invariants Through Object Coupling Mechanisms | Download  (pdf) of Maintaining Invariants Through Object Coupling Mechanisms

• [7]

  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.

  Details about Array Synthesis in SystemC Hardware Compilation | BibTeX data for Array Synthesis in SystemC Hardware Compilation

• [8]

  Experience Report: A Haskell Interpreter for CellML

  Jonathan Cooper and Steve McKeever

  In International Conference on Functional Programming. ACM. 2007.

  Details about Experience Report: A Haskell Interpreter for CellML | BibTeX data for Experience Report: A Haskell Interpreter for CellML

• [9]

  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.

  Details about Integrating Multi−level Molecular Simulations Across Heterogeneous Resources | BibTeX data for Integrating Multi−level Molecular Simulations Across Heterogeneous Resources

• [10]

  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.

  Details about A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide | BibTeX data for A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide

• [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.

  Details about Performance Problem Localization for Self−Healing‚ Service−Oriented Systems using Bayesian Networks | BibTeX data for Performance Problem Localization for Self−Healing‚ Service−Oriented Systems using Bayesian Networks

• [12]

  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.

  Details about OGSA−based Grid Workload Monitoring | BibTeX data for OGSA−based Grid Workload Monitoring

• [13]

  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.

  Details about On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations | BibTeX data for On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations | DOI (10.1145/1111542.1111546)

• [14]

  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.

  Details about On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects | BibTeX data for On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects | Link to On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects

• [15]

  Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

  Steve McKeever‚ Wayne Luk and Arran Derbyshire

  In HICSS. Pages 279. 2003.

  Details about Towards Verifying Parametrised Hardware Libraries with Relative Placement Information | BibTeX data for Towards Verifying Parametrised Hardware Libraries with Relative Placement Information | Link to Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

• [16]

  Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries

  Steve McKeever‚ Wayne Luk and Arran Derbyshire

  Pages 342−359. 2002.

  Details about Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries | BibTeX data for Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries | Link to Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries

• [17]

  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.

  Details about A Declarative Framework for Developing Parametrised Hardware Libraries | BibTeX data for A Declarative Framework for Developing Parametrised Hardware Libraries

• [18]

  Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques

  Steve McKeever and Wayne Luk

  Pages 212−227. 2001.

  Details about Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques | BibTeX data for Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques | Link to Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques

• [19]

  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.

  Details about Parametrized Hardware Libraries for Configurable System−on−Chip Technology | BibTeX data for Parametrized Hardware Libraries for Configurable System−on−Chip Technology

• [20]

  Towards Adaptable Hierarchical Placement for FPGAs

  Florent de Dinechin‚ Wayne Luk and Steve McKeever

  In FPGA. Pages 254. 1999.

  Details about Towards Adaptable Hierarchical Placement for FPGAs | BibTeX data for Towards Adaptable Hierarchical Placement for FPGAs | Link to Towards Adaptable Hierarchical Placement for FPGAs

• [21]

  Pebble: A Language for Parametrised and Reconfigurable Hardware Design

  Wayne Luk and Steve McKeever

  Pages 9−18. 1998.

  Details about Pebble: A Language for Parametrised and Reconfigurable Hardware Design | BibTeX data for Pebble: A Language for Parametrised and Reconfigurable Hardware Design | Link to Pebble: A Language for Parametrised and Reconfigurable Hardware Design