1145 search results - page 28 / 229 » The Correctness of an Optimized Code Generation |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
PPOPP
2005
ACM
14 years 1 months ago
2005
ACM
The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the use of tho...
TCAD
1998
13 years 7 months ago
1998
We address the problem of code size minimization in VLSI systems with embedded DSP processors. Reducing code size reduces the production cost of embedded systems. We use data comp...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...