6960 search results - page 501 / 1392 » Continuity Analysis of Programs |
220
click to vote
TRETS
2010
15 years 4 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
188
click to vote
COMSWARE
2006
IEEE
16 years 15 days ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
188
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
180
click to vote
SC
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
167
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...