1111 search results - page 145 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
130
click to vote
SAT
2004
Springer
15 years 8 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
137
click to vote
PLDI
2003
ACM
15 years 8 months 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...
168
click to vote
DMIN
2008
15 years 4 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...
136
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
115
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...