Proceedings of the 2003 IEEEACM international conference on Computer-aided