2957 search results - page 130 / 592 » Code analysis and CS-XML |
161
click to vote
TRIER
2002
15 years 2 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...
142
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
264
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
149
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
119
click to vote
IH
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a security analysis for data hiding methods based on nested lattice codes, extending the analysis provided by previous works. The security is quanti...