The Impact of Hardware Scheduling Mechanismus on the Performance and Cost of Processor Designs. - Silvia M. Müller; Holger W. Leister; Peter Dell; Nikolaus Gerteis; Daniel Kroening (ARCS, 1999)