1941 search results - page 341 / 389 » Reasoning about Computations Using Two-Levels of Logic |
114
click to vote
SIGSOFT
2008
ACM
16 years 18 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
102
click to vote
SIGSOFT
2006
ACM
16 years 18 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
201
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
176
click to vote
VLDB
2007
ACM
16 years 2 days ago
2007
ACM
Workload management for business intelligence (BI) queries poses different challenges than those addressed in the online transaction processing (OLTP) context. The fundamental pro...