Photoshop, for one, will let you set up a batch resize. Other editors may well offer the same, either as a built-in function or with the help of a platform-based macro utility.