1145 search results - page 131 / 229 » The Correctness of an Optimized Code Generation |
170
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
120
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
124
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the implementation of a runtime library for asynchronous communication in the Cell BE processor. The runtime library implementation provides with several servi...
158
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
108
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Multipartitioning is a strategy for parallelizing computations that require solving 1D recurrences along each dimension of a multi-dimensional array. Previous techniques for multi...