2957 search results - page 168 / 592 » Code analysis and CS-XML |
150
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
156
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
115
click to vote
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
146
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
140
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—A new random linear network coding scheme for reliable communications for time division duplexing channels is proposed. The setup assumes a packet erasure channel and that nodes...