James David Barnette

• Acceleration techniques for dependability simulation