6960 search results - page 199 / 1392 » Continuity Analysis of Programs |
208
click to vote
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
As the gap between processor and memory continues to grow, memory performance becomes a key performance bottleneck for many applications. Compilers therefore increasingly seek to m...
184
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
164
click to vote
ICISS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
313
click to vote
Book
"This book contains a detailed analysis of the International Standard for the C language"
231
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...