7430 search results - page 258 / 1486 » Programming Applications in CIFF |
137
click to vote
SLP
1993
15 years 5 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
106
Voted
ECEASST
2006
15 years 4 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
243
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...
141
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
The performance of many scientific applications for distributed memory platforms can be increased by utilizing multiprocessor-task programming. To obtain the minimum parallel runt...
118
click to vote
ITNG
2006
IEEE
15 years 10 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...