diminution

Shortening the duration of all the notes in a melody by the same factor (e.g. halving).