1629 search results - page 190 / 326 » Infeasible Code Detection |
203
click to vote
PEPM
2009
ACM
17 years 1 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
149
click to vote
TRIER
2002
15 years 1 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
126
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Web applications are becoming the dominant way to provide access to on-line services. At the same time, web application vulnerabilities are being discovered and disclosed at an al...
124
click to vote
TCSV
2002
15 years 1 months ago
2002
Compressed video bitstreams require protection from channel errors in a wireless channel. The threedimensional (3-D) SPIHT coder has proved its efficiency and its real-time capabi...
106
click to vote
STORAGESS
2005
ACM
15 years 7 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...