A type of algorithmic trading that uses powerful computers to transact a large number of orders at extremely high speeds.