We gratefully acknowledge support from CRA-W, CDC, ACM SIGARCH, ACM SIGOPS, ACM SIGPLAN and IBM.

		SIGARCH		SIGPLAN		SIGOPS