3693 search results - page 247 / 739 » Splitting a Logic Program |
158
click to vote
POPL
2012
ACM
14 years 19 days ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
138
click to vote
CC
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
134
Voted
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...
145
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
203
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...