2947 search results - page 248 / 590 » Analyzing Program Analyses |
207
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
204
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
200
click to vote
IWCC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper will discuss high performance clustering from a series of critical topics: architectural design, system software infrastructure, and programming environment. This will ...
166
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
194
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...