3750 search results - page 474 / 750 » Code Optimization for Code Compression |
179
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
191
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
153
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Silicon nanowires are a promising solution to address the increasing challenges of fabrication and design at the future nodes of the Complementary Metal-Oxide-Semiconductor (CMOS)...
165
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a new preprocessing scheme for rate-one quasi-orthogonal space-time block code (QO-STBC), which requires no channel state information at the transmitter. We ...
177
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
A platform that supported Sequential Consistency (SC) for all codes — not only the well-synchronized ones — would simplify the task of programmers. Recently, several hardware ...