967 search results - page 144 / 194 » Probabilistic Predicative Programming |
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
132
click to vote
PODS
2000
ACM
15 years 6 months ago
2000
ACM
The problem of query containment is fundamental to many aspects of database systems, including query optimization, determining independence of queries from updates, and rewriting ...
147
click to vote
LPNMR
1997
Springer
15 years 6 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
160
click to vote
AC
1992
Springer
15 years 6 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
123
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Delayed branching is a technique to alleviate branch hazards without expensive hardware branch prediction mechanisms. For VLIW processors with deep pipelines and many issue slots,...