14 search results - page 3 / 3 » ARCHER: using symbolic, path-sensitive analysis to detect me... |
TSE
2010
13 years 3 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
WCNC
2008
IEEE
13 years 12 months ago
2008
IEEE
Abstract—Using cooperative transmission, two or more singleantenna users can share their antennas to achieve spatial diversity in a slow fading channel. One relaying protocol tha...
NDSS
2008
IEEE
13 years 12 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
SIGMETRICS
2008
ACM
13 years 5 months ago
2008
ACM
Two schemes proposed to cope with unrecoverable or latent media errors and enhance the reliability of RAID systems are examined. The first scheme is the established, widely used d...