440 search results - page 33 / 88 » Predicate Abstraction with Indexed Predicates |
156
click to vote
JAR
2002
15 years 4 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
213
Voted
ISAAC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper, we consider the problem of predicate encryption and focus on the predicate for testing whether the hamming distance between the attribute X of a data item ...
131
Voted
FPGA
2001
ACM
15 years 9 months ago
2001
ACM
Matching and searching computations play an important role in the indexing of data. These computations are typically encoded in very tight loops with a single index variable and a...
157
click to vote
QEST
2007
IEEE
15 years 11 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
169
Voted
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...