46 search results - page 9 / 10 » An Abstract Domain for Analyzing Heap-Manipulating Low-Level... |
149
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
146
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
247
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
132
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
135
click to vote
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...