Steve McKeever : Publications
-
[1]
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
-
[2]
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
-
[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]
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
-
[5]
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
-
[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.
Details about CellML and Associated Tools and Techniques | BibTeX data for CellML and Associated Tools and Techniques | DOI (10.1098/rsta.2008.0094)
-
[7]
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
-
[8]
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
-
[9]
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
Details about 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 | BibTeX data for 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
-
[10]
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
-
[11]
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
-
[12]
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)
-
[13]
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
Details about Formal Methods in Computer−Aided Design‚ 4th International Conference‚ FMCAD 2002‚ Portland‚ OR‚ USA‚ November 6−8‚ 2002‚ Proceedings | BibTeX data for Formal Methods in Computer−Aided Design‚ 4th International Conference‚ FMCAD 2002‚ Portland‚ OR‚ USA‚ November 6−8‚ 2002‚ Proceedings
-
[14]
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
-
[15]
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
-
[16]
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
-
[17]
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
-
[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.
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
-
[19]
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)
-
[20]
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
-
[21]
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
-
[22]
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
-
[23]
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
-
[24]
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
-
[25]
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
-
[26]
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
-
[27]
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
-
[28]
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
-
[29]
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