313 search results - page 18 / 63 » Error Correction Based on Verification Techniques |
CNSR
2005
IEEE
14 years 11 months ago
2005
IEEE
We present a method of integrating constrained sequence (CS) and error control (EC) codes for digital communication systems. This technique is based on multimode coding where a si...
115
click to vote
DAC
2010
ACM
15 years 29 days ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
69
Voted
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Noninvasive temperature measurement is feasible with MRI to monitor changes in thermal therapy. Phase shift based MR thermometry gives an estimate of the relative temperature varia...
IEICET
2006
14 years 9 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
101
click to vote
TAP
2010
Springer
14 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...