una herramienta sencilla para redimencionar los gifs, es el EASY GIF ANIMATOR, ese es el que yo utilizo, es sencillo de usar

solo se carga el gif en el programa, atraves del programa hay un boton que dice editar y se abren en paint cada imagen.

al tenerla en paint le das guardar como, y asi con todas las imagenes.

al tenerlas todas extraidas del gif, entonces en lo personal las edito con el MICROSOFT OFFICE PICTURE MANAGER.

Al tener todas las imagenes redimensionadas a la resolucion que queremos, entonces esas imagenes se buelven a meter al EASY GIF ANIMATOR, y se arma un gif nuevo con esas imagenes redimensionadas.

busquen en google, no es tan dificil dar con el EASY GIF ANIMATOR.
ese uso yo