1629 search results - page 176 / 326 » Infeasible Code Detection |
139
click to vote
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
155
click to vote
AP2PS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Peer-to-peer file sharing applications became very popular, being responsible for a large percentage of the network traffic. However, peer-to-peer traffic may compromise the per...
101
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— The decision feedback detector (DFD) can achieve the high spectral efficiency of a MIMO channel in that it converts the MIMO channel into multiple parallel layers, through whi...
131
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
The advance of computing technology has provided the means for building intelligent vehicle systems. Drowsy driver detection system is one of the potential applications of intellig...
122
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...