1145 search results - page 27 / 229 » The Correctness of an Optimized Code Generation |
PLDI
1996
ACM
13 years 11 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We describe and analyze the joint source/channel coding properties of a class of sparse graphical codes based on compounding a low-density generator matrix (LDGM) code with a low-...
MICRO
2002
IEEE
14 years 15 days ago
2002
IEEE
Master/Slave Speculative Parallelization (MSSP) is an execution paradigm for improving the execution rate of sequential programs by parallelizing them speculatively for execution ...
MICRO
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper presents Vacuum Packing, a new approach to profile-based program optimization. Instead of using traditional aggregate or summarized execution profile weights, this ap...
CATS
2006
13 years 9 months ago
2006
A complete description and proof of correctness are given for a new polynomial time algorithm for a class of codes based on directed graphs and involving construction well known i...