1629 search results - page 4 / 326 » Infeasible Code Detection |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
ICCAD
1997
IEEE
13 years 12 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
PPOPP
2011
ACM
12 years 10 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
TSP
2008
13 years 7 months ago
2008
This paper addresses the problem of data detection in orthogonal frequency division multiplexing (OFDM) systems operating under a time-varying multipath fading channel. Optimal det...