3820 search results - page 516 / 764 » Bounded Model Debugging |
118
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
The problem of coding for channels with time-varying state is studied. Two different models are considered: one in which the channel state cannot depend on the transmitted signal,...
146
click to vote
DCC
2007
IEEE
15 years 3 months ago
2007
IEEE
There are many schemes in the literature for protecting digital data from piracy by the use of digital fingerprinting, such as frameproof codes and traitor-tracing schemes. The c...
117
click to vote
JFP
2006
15 years 3 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
126
click to vote
MP
2008
15 years 3 months ago
2008
We explore one method for finding the convex hull of certain mixed integer sets. The approach is to break up the original set into a small number of subsets, find a compact polyhed...
115
click to vote
EOR
2007
15 years 3 months ago
2007
: New semiconductor wafer fabrication facilities use Front Opening Unified Pods (FOUPs) as a common unit of wafer transfer. Since the number of pods is limited due to high costs, a...