Showing 1 - 20 results of 113 for search 'Mckeever, T', query time: 0.03s
Refine Results
-
1
-
2
-
3
-
4
-
5
A review of the optically and thermally stimulated luminescence properties of aluminosilicates by S.W.S. McKeever
Published 2024-12-01
Article -
6
Modular Markup for Simulating Vascular Tumour Growth by Johnson, A, McKeever, S
Published 2012Conference item -
7
Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques by McKeever, S, Luk, W
Published 2006Journal article -
8
Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques by McKeever, S, Luk, W
Published 2001Conference item -
9
Experience Report: A Haskell interpreter for CellML by Cooper, J, McKeever, S
Published 2007Conference item -
10
Checking Concurrent Contracts with Aspects by Kerfoot, E, McKeever, S
Published 2010Conference item -
11
A Declarative Framework for Developing Parametrised Hardware Libraries by McKeever, S, Luk, W
Published 2001Conference item -
12
A model−driven approach to automatic conversion of physical units by Cooper, J, McKeever, S
Published 2008Journal article -
13
Checking concurrent contracts with aspects by Kerfoot, E, McKeever, S
Published 2010Journal article -
14
Maintaining Invariants Through Object Coupling Mechanisms by Kerfoot, E, McKeever, S
Published 2007Conference item -
15
Array Synthesis in SystemC Hardware Compilation by Ditmar, J, McKeever, S
Published 2007Conference item -
16
Pebble: A Language for Parametrised and Reconfigurable Hardware Design by Luk, W, McKeever, S
Published 1998Conference item -
17
Experience Report: A Haskell Interpreter for CellML by Cooper, J, McKeever, S
Published 2007Conference item -
18
The Case for Using Markup for Biomechanical Modelling by Johnson, D, McKeever, S
Published 2011Conference item -
19
-
20