Einer, StefanFechner, BernhardKeller, Jörg2017-12-062017-12-062010https://dl.gi.de/handle/20.500.12116/8523Stefan Einer, Schweizerische Bundesbahnen, 3000 Bern, Switzerland, stefan.einer@sbb.ch Bernhard Fechner, FernUniversität in Hagen, 58084 Hagen, Germany, bernhard.fechner@fernuni-hagen.de Jörg Keller, FernUniversität in Hagen, 58084 Hagen, Germany, joerg.keller@fernuni-hagen.deenSchedule AlgorithmData CacheInstruction ScheduleConditional BranchProcessor PerformancePetri Net Analysis of Non-Redundant and Redundant Execution SchemesText/Journal Article10.1007/BF033454460724-5319