On Fri, 2014-08-15 at 03:45 -0400, Janina Sajka wrote:
The technical term for this is "time
shifting."
"Time stretching is the process of changing the speed or duration of an
audio signal without affecting its pitch. Pitch scaling or pitch
shifting is the opposite: the process of changing the pitch without
affecting the speed." -
https://en.wikipedia.org/wiki/Audio_timescale-pitch_modification
OTOH this short explanation is very vague. A pitch shifter usually
transforms the audio signal by adding a Micky Mouse vocal effect, so for
pitch shifting without this effect, a time stretching software is
needed.