I wrote a technical paper on a new technique on bump mapping I'd like to share. It allows both smaller footprints (I recommend BC4), proceduralism (functions defined on domains of any dimension) and is trivially adapted to arbitrarily deformed mesh types too. For more information and links to the paper, movies and screenshots -->
same as title
Hope you enjoy it!