1133 search results - page 143 / 227 » Compiling for Speculative Architectures |
127
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
132
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
148
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper presents Anahita Processor Description Language (APDL) for generation of retargetable processor design tool sets. The emphasis is on the applicability of the generate...
128
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
148
Voted
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...