Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems