4722 search results - page 52 / 945 » Encoding Program Executions |
106
click to vote
SIGMETRICS
1999
ACM
15 years 5 months ago
1999
ACM
ded Abstract This paper introduces a new technique for compressing memory address traces. The technique relies on the simple observation that most programs spend their time execut...
103
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
126
click to vote
ICS
1994
Tsinghua U.
15 years 5 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
101
click to vote
ASPLOS
2000
ACM
15 years 5 months ago
2000
ACM
By studying the behavior of programs in the SPECint95 suite we observed that six out of eight programs exhibit a new kind of value locality, the frequent value locality, according...