TY - GEN
T1 - Accelerating smart play-out
AU - Harel, David
AU - Kugler, Hillel
AU - Maoz, Shahar
AU - Segall, Itai
N1 - Funding Information:
This research was partially supported by the John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science, and by an Advanced Research Grant from the European Research Council (ERC) under the European Community’s 7th Framework Programme (FP7/2007-2013).
PY - 2010
Y1 - 2010
N2 - Smart play-out is a method for executing declarative scenario-based specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by naïve execution. Major challenges for smart play-out are performance and scalability. In this work we show how to accelerate smart play-out by adapting and applying ideas inspired by formal verification and compiler optimization. Specifically, we present an algorithm that can reduce the size of the specification considered for smart play-out, while maintaining soundness and completeness. Experimental results show significant performance improvements and thus open the way to the application of smart play-out to large scenario-based programs.
AB - Smart play-out is a method for executing declarative scenario-based specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by naïve execution. Major challenges for smart play-out are performance and scalability. In this work we show how to accelerate smart play-out by adapting and applying ideas inspired by formal verification and compiler optimization. Specifically, we present an algorithm that can reduce the size of the specification considered for smart play-out, while maintaining soundness and completeness. Experimental results show significant performance improvements and thus open the way to the application of smart play-out to large scenario-based programs.
UR - http://www.scopus.com/inward/record.url?scp=77249152264&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-11266-9_40
DO - 10.1007/978-3-642-11266-9_40
M3 - פרסום בספר כנס
AN - SCOPUS:77249152264
SN - 3642050050
SN - 9783642050053
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 477
EP - 488
BT - SOFSEM 2010
Y2 - 23 January 2010 through 29 January 2010
ER -