UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for '- no address book entry -' ordered by Year. (5)

2003 2002 2001 1998

2003

AMBA-ARM7 Formal Verification Platform
Susanto,K.W. Melham,T.F. To appear at the 5th International Conference on Formal Engineering Methods 2003. pp 20 Springer Verlag [More Details].

2002

An Integrated Formal Approach for System on Chip
Susanto,K.W. The Proceeding of the International Workshop on IP Based Design 2002 pp 119-123 [More Details].

2001

Formally Analyzed Dynamic Synthesis of Hardware
Susanto,K.W. Melham,T.F. Journal of Supercomputing, vol 19, No 1 pp 7-22 [More Details].

1998

Dynamic Specialisation of XC6200 FPGAs by Partial Evaluation
Mckay,N.
Melham,T.F. Susanto,K.W. Singh,S. Proceedings of the IEEE Symposium on FPGAs for Custom Computing Machines pp 308-309 IEEE Computer Society Press [More Details].

Formally Analysed Dynamic Synthesis of Hardware
Susanto,K.W. Melham,T.F. The 11th International Conference TPHOL's '98 - Supplementary Proceedings. pp 105-117 Australian National University [More Details].