1821 search results - page 222 / 365 » Security-Aware Program Transformations |
261
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
154
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
155
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
142
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
137
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper presents a novel technique, called input space adaptive software synthesis, for the energy and performance optimization of embedded software. The proposed technique is ...