4722 search results - page 189 / 945 » Encoding Program Executions |
128
Voted
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...
126
click to vote
TRUST
2010
Springer
15 years 10 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
219
click to vote
PLDI
1999
ACM
15 years 9 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...
133
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
134
Voted
JAVA
1999
Springer
15 years 9 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...