3233 search results - page 556 / 647 » Rule Modeling and Markup |
265
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
149
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
137
click to vote
SIGMOD
2002
ACM
16 years 4 months ago
2002
ACM
Physical database design is important for query performance in a shared-nothing parallel database system, in which data is horizontally partitioned among multiple independent node...
155
click to vote
DCC
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a simple and efficient entropy coder that combines run-length and Golomb-Rice encoders. The encoder automatically switches between the two modes according to simple rul...
178
click to vote
WISTP
2010
Springer
15 years 11 months ago
2010
Springer
The deployment of Next-Generation Networks (NGN) is a challenge that requires integrating heterogeneous services into a global system of All-IP telecommunications. These networks c...