9067 search results - page 1436 / 1814 » Adaptive Model Checking |
216
Voted
POPL
2004
ACM
16 years 26 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
196
Voted
SIGSOFT
2004
ACM
16 years 26 days ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
205
Voted
INLG
2004
Springer
16 years 25 days ago
2004
Springer
Ambiguity in the output is a concern for NLG in general. This paper considers the case of structural ambiguity in spoken language generation. We present an algorithm which inserts ...
218
click to vote
IUI
2003
ACM
16 years 21 days ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
215
click to vote
PLDI
2003
ACM
16 years 21 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...