16 search results - page 4 / 4 » A simpler, safer programming and execution model for intermi... |
ENTCS
2007
13 years 4 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...