| 2008 |
|---|
| 15 | EE | Jonathan Cooper,
Steve McKeever:
A model-driven approach to automatic conversion of physical units.
Softw., Pract. Exper. 38(4): 337-359 (2008) |
| 2007 |
|---|
| 14 | EE | Yudong Sun,
Steve McKeever,
Kia Balali-Mood,
Mark S. P. Sansom:
A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide.
BIBM 2007: 294-301 |
| 13 | EE | Yudong Sun,
Steve McKeever,
Kia Balali-Mood,
Mark S. P. Sansom:
Integrating multi-level molecular simulations across heterogeneous resources.
GRID 2007: 161-168 |
| 12 | EE | Jonathan Cooper,
Steve McKeever:
Experience report: a Haskell interpreter for cellML.
ICFP 2007: 247-250 |
| 11 | EE | Rui Zhang,
Bruno C. D. S. Oliveira,
Alan Bivens,
Steve McKeever:
Scalable problem localization for distributed systems: principles and practices.
Infoscale 2007: 76 |
| 10 | EE | Rui Zhang,
Steve Moyle,
Steve McKeever,
Alan Bivens:
Performance problem localization in self-healing, service-oriented systems using Bayesian networks.
SAC 2007: 104-109 |
| 2006 |
|---|
| 9 | EE | Jonathan Cooper,
Steve McKeever,
Alan Garny:
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations.
PEPM 2006: 12-20 |
| 8 | EE | Steve McKeever,
Wayne Luk:
Provably-correct hardware compilation tools based on pass separation techniques.
Formal Asp. Comput. 18(2): 120-142 (2006) |
| 2005 |
|---|
| 7 | EE | Rui Zhang,
Steve Moyle,
Steve McKeever,
Stephen Heisig:
OGSA-based grid workload monitoring.
CCGRID 2005: 668-675 |
| 2003 |
|---|
| 6 | EE | Steve McKeever,
Wayne Luk,
Arran Derbyshire:
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information.
HICSS 2003: 279 |
| 5 | EE | Andrew Simpson,
Andrew Martin,
Jeremy Gibbons,
Jim Davies,
Steve McKeever:
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.
ICSE 2003: 628-633 |
| 2002 |
|---|
| 4 | EE | Steve McKeever,
Wayne Luk,
Arran Derbyshire:
Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries.
FMCAD 2002: 342-359 |
| 2001 |
|---|
| 3 | EE | Steve McKeever,
Wayne Luk:
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques.
CHARME 2001: 212-227 |
| 1999 |
|---|
| 2 | EE | Florent de Dinechin,
Wayne Luk,
Steve McKeever:
Towards Adaptable Hierarchical Placement for FPGAs.
FPGA 1999: 254 |
| 1998 |
|---|
| 1 | EE | Wayne Luk,
Steve McKeever:
Pebble: A Language for Parametrised and Reconfigurable Hardware Design.
FPL 1998: 9-18 |
