5624 search results - page 909 / 1125 » On Conditional Covering Problem |
213
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
161
click to vote
ACMICEC
2006
ACM
16 years 13 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
144
click to vote
ASPDAC
2006
ACM
16 years 13 days ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
206
Voted
MINENET
2006
ACM
16 years 12 days ago
2006
ACM
When failures occur in Internet overlay connections today, it is difficult for users to determine the root cause of failure. An overlay connection may require TCP connections bet...
169
Voted
MMSEC
2006
ACM
16 years 12 days ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...