4067 search results - page 339 / 814 » Programs for Applying Symmetries |
164
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
176
click to vote
PLDI
2004
ACM
16 years 7 days ago
2004
ACM
Instruction scheduling is a compiler optimization that can improve program speed, sometimes by 10% or more—but it can also be expensive. Furthermore, time spent optimizing is mo...
189
click to vote
CGO
2003
IEEE
16 years 3 days ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
159
click to vote
CSMR
2003
IEEE
16 years 3 days ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
186
click to vote
CP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...