This session presents three papers which introduce techniques to attain accurate system evaluation through high-level simulations.  The first paper evaluates the impact of timing variation on real-time operating system simulation accuracy.  The second paper targets the energy consumption of wireless sensor networks by coupling an instruction set simulator with a SystemC model.  The third paper determines which registers are critical to be preserved through a microprocessor's sleep mode using a symbolic simulation.