3738 search results - page 459 / 748 » Parametrized Logic Programming |
140
Voted
COCOS
2003
Springer
15 years 6 months ago
2003
Springer
We investigate some approaches to solving nonconvex global optimization problems by convex nonlinear programming methods. We assume that the problem becomes convex when selected va...
116
Voted
SIGARCH
2008
15 years 1 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
117
Voted
JFP
2000
15 years 26 days ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
148
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
105
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...