US7085704B2 - Time-Indexed Multiplexing as an Efficient Method of Scheduling in Hardware