5863 search results - page 226 / 1173 » Calculating Functional Programs |
175
Voted
SIAMREV
2010
15 years 1 months ago
2010
A survey of different representations for lattice sums for the Helmholtz equation is given. These sums arise naturally when dealing with wave scattering by periodic structures. One...
181
click to vote
HASKELL
2009
ACM
16 years 29 days ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
189
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
161
click to vote
IISWC
2008
IEEE
16 years 26 days ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
170
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...