1534 search results - page 92 / 307 » Error Reporting Logic |
210
click to vote
TABLEAUX
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
183
click to vote
MICRO
2005
IEEE
16 years 11 days ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
160
click to vote
ISQED
2003
IEEE
16 years 1 days ago
2003
IEEE
We discuss a non-intrusive methodology for concurrent fault detection in random combinational logic. The proposed method is similar to duplication, wherein a replica of the circui...
170
click to vote
TMM
2002
15 years 6 months ago
2002
Abstract--Although various Logical Story Unit (LSU) segmentation methods based on visual content have been presented in literature, a common ground for comparison is missing. We pr...
182
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Weather attenuations can have a distorting effect on signal fidelity above 10 GHz that lead to excessive digital transmission error. This loss of signal is commonly referred to...