7118 search results - page 1259 / 1424 » Electrical and Computer Engineering |
138
click to vote
GVD
2009
15 years 26 days ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
124
click to vote
HIS
2009
15 years 25 days ago
2009
The problem of failure diagnosis has received a considerable attention in the domain of reliability engineering, process control and computer science. The increasing stringent req...
142
click to vote
ICMCS
2009
IEEE
15 years 24 days ago
2009
IEEE
The massive amount of near-duplicate and duplicate web videos has presented both challenge and opportunity to multimedia computing. On one hand, browsing videos on Internet become...
122
click to vote
CACM
2010
15 years 15 days ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
127
click to vote
CACM
2010
15 years 15 days ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...