7430 search results - page 303 / 1486 » Programming Applications in CIFF |
134
click to vote
ASWEC
2004
IEEE
15 years 8 months ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
121
Voted
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain, a program is a set of prioritized rewriting rules, and c...
153
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
137
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Abstract. An overview of the concept of program similarity is presented. It divides similarity into two types--syntactic and semantic-and provides a review of eight categories of m...
137
click to vote
4OR
2005
15 years 4 months ago
2005
This paper provides an introductory survey of a class of optimization problems known as bilevel programming. We motivate this class through a simple application, and then proceed w...