3820 search results - page 617 / 764 » Bounded Model Debugging |
112
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Extensive work has been devoted to private information retrieval and privacy preserving data mining. To protect user privacy from search engines, however, most current a...
139
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
107
Voted
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—We consider the Gaussian interference channel with an intermediate relay. The relay is assumed to have abundant power and is named potent for that reason. A main reason to consi...
124
Voted
GLVLSI
2009
IEEE
15 years 9 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
93
Voted
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we introduce robust cyclic space– frequency (CSF) filtering for systems combining bit–interleaved coded modulation (BICM) and orthogonal frequency division ...