7430 search results - page 196 / 1486 » Programming Applications in CIFF |
108
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
128
click to vote
IJCAI
1989
15 years 4 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
129
click to vote
AMC
2005
15 years 3 months ago
2005
In this paper, we present an application of 0-1 linear programming problem in the indentification of the nondominated paths on a network. To find efficient paths, an adaptationof t...
108
click to vote
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
141
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...