2757 search results - page 414 / 552 » On separating systems |
157
Voted
DATE
2009
IEEE
15 years 11 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...
174
click to vote
HPDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Long running High Performance Computing (HPC) applications at scale must be able to tolerate inevitable faults if they are to harness current and future HPC systems. Message Passi...
139
Voted
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—With the co-existence of different wireless networks, which exhibit largely different bandwidth and coverage characteristics, much interest has been involved in integrating thes...
138
Voted
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
The word error rate of any optical character recognition system (OCR) is usually substantially below its component or character error rate. This is especially true of Indic langua...
155
Voted
WECWIS
2009
IEEE
15 years 11 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...