3130 search results - page 31 / 626 » Design Correctness of Digital Systems |
UIST
2006
ACM
14 years 1 months ago
2006
ACM
With advances in pen-based computing devices, handwriting has become an increasingly popular input modality. Researchers have put considerable effort into building intelligent rec...
AIME
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. We report on the design of a system for correcting spelling errors resulting in non-existent words. The system aims at improving edition of medical reports. Unlike tradit...
ISM
2005
IEEE
14 years 1 months ago
2005
IEEE
In wireless video streaming application, video information may be corrupted by a noisy channel. By introducing error resilience and error concealment techniques, many researchers ...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
DATE
1997
IEEE
13 years 11 months ago
1997
IEEE
A design methodology for the synthesis of digital circuits used in high throughput digital modems is presented. The methodology spans digital modem design from the link level to t...