5624 search results - page 909 / 1125 » On Conditional Covering Problem |
146
Voted
ACL2
2006
ACM
15 years 8 months 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...
122
Voted
ACMICEC
2006
ACM
15 years 8 months 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...
99
Voted
ASPDAC
2006
ACM
15 years 8 months 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...
155
Voted
MINENET
2006
ACM
15 years 8 months 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...
123
Voted
MMSEC
2006
ACM
15 years 8 months 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...