395 search results - page 19 / 79 » Predicate Abstraction with Minimum Predicates |
117
click to vote
ACTA
1998
15 years 2 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
123
Voted
CANS
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Predicate encryption is a new powerful cryptographic primitive which allows for fine-grained access control for encrypted data: the owner of the secret key can release pa...
128
Voted
LOPSTR
2005
Springer
15 years 8 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
121
Voted
DEXA
2004
Springer
15 years 8 months ago
2004
Springer
Topological predicates between spatial objects have always been a main area of research on spatial data handling, reasoning, and query languages. The focus of research has definit...
116
Voted
ISCA
1999
IEEE
15 years 7 months ago
1999
IEEE
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...