Proceedings of the 2004 IEEEACM International conference on Computer-aided