1190 search results - page 153 / 238 » Enhancing Sharing for Precision |
136
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
141
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, the proposed LIPED (LIfe Profile based Event Detection) employs the concept of life profiles to predict the activeness of event for effective event detection. A gro...
157
click to vote
RTA
2004
Springer
15 years 9 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
132
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
130
click to vote
WMCSA
2002
IEEE
15 years 9 months ago
2002
IEEE
Applications running on a mobile and wireless devices must be able to adapt gracefully to limited and fluctuating network resources. The variety of applications, platforms upon w...