1411 search results - page 188 / 283 » A Value Analysis for C Programs |
181
click to vote
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
125
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: The number of available genome sequences is increasing, and easy-to-use software that enables efficient comparative analysis is needed. Results: We developed GenomeMat...
135
click to vote
EUROSYS
2009
ACM
16 years 2 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
159
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
139
Voted
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...