2038 search results - page 1 / 408 » Loops under Strategies |
RTA
2009
Springer
13 years 11 months ago
2009
Springer
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
PLDI
2005
ACM
13 years 10 months ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...
CMSB
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Elevated temperatures cause proteins in living cells to misfold. They start forming larger and larger aggregates that can eventually lead to the cell's death. The he...
IPPS
1997
IEEE
13 years 8 months ago
1997
IEEE
This paper presents a compile-time scheme for partitioning non-rectangular loop nests which consist of inner loops whose bounds depend on the index of the outermost, parallel loop...