352 search results - page 21 / 71 » Evaluating the imprecision of static analysis |
222
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
114
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
122
click to vote
AGP
1995
IEEE
15 years 5 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
120
click to vote
PPDP
2010
Springer
15 years 9 days ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
- Muscle fatigue is defined as the point at which the muscle is no longer able to sustain the required force or work output level. The overexertion of muscle force and muscle fatig...