Select Publications
Conference Papers
2006, 'Finding optimal L1 cache configuration for embedded systems', in ASPDAC 2006, Yokohama, Japan, presented at ASPDAC 2006, Yokohama, Japan, 24 January 2006 - 27 January 2006
,2006, 'Finding optimal L1 cache configuration for embedded systems', in Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06, ACM Press, pp. 796 - 796, presented at the 2006 conference, 24 January 2006 - 27 January 2006, http://dx.doi.org/10.1145/1118299.1118482
,2004, 'Hardware/Software managed scratchpad memory for embedded systems', in ICCAD2004 (International Conference on Computer Aided Design), San Jose, California USA, presented at ICCAD2004 (International Conference on Computer Aided Design), San Jose, California USA, 07 November 2004 - 11 November 2004
,2003, 'Characterizing polynomial time computable functions using theories with weak set existence', in Electronic Notes in Theoretical Computer Science, Elsevier BV, Adelaide, Sth Aust, presented at Computing: The Australasian Theory Symposium CATS 2003, Adelaide, Sth Aust, 04 February 2003 - 07 February 2003
,2003, 'Characterizing polynomial time computable functions using theories with weak set existence principles', in Electronic Notes in Theoretical Computer Science, Elsevier BV, Adelaide, Sth Aust, presented at Computing: The Australasian Theory Symposium CATS 2003, Adelaide, Sth Aust, 04 February 2003 - 07 February 2003
,'Parallel computable higher type functionals', in Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, IEEE, pp. 72 - 81, presented at 1993 IEEE 34th Annual Foundations of Computer Science, http://dx.doi.org/10.1109/sfcs.1993.366880
,