Jeg bruger tit et lille program der hedder Pixresizer, det fungerer ret godt. Man vælger bare en inputmappe, en output mappe og format og trykker start.
Brug imagemagick ... læg alle filerne i samme mapper (eller brug et namingsceme der kan matches) og så er det én kommando og en kop kaffe så er du done :-)