Sciweavers

SOFSEM
2010
Springer
14 years 7 months ago
Accelerating Smart Play-Out
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
David Harel, Hillel Kugler, Shahar Maoz, Itai Sega...