1880 search results - page 174 / 376 » A Static Analysis for Beta-Binders |
166
click to vote
MICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
Branch prediction is the predominant approach for minimizing the pipeline breaks caused by branch instructions. Traditionally, branch prediction is accomplished in one of two ways...
153
click to vote
ENTCS
2006
15 years 6 months ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
145
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic c...
164
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
196
click to vote
CC
2004
Springer
16 years 11 hour ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...