8766 search results - page 1488 / 1754 » Functional logic programming |
116
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we consider the issue of energy efficiency in random access networks and show that optimizing transmission probabilities of nodes can enhance network performance in t...
124
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
109
Voted
EOR
2008
15 years 3 months ago
2008
Abstract. Portfolios of assets whose returns have the Gaussian mixture distribution are optimized in the static setting to find portfolio weights and efficient frontiers using the ...
143
Voted
CAL
2006
15 years 3 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...
112
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The aim of the paper is to introduce general techniques in order to optimize the parallel execution time of sorting on a distributed architectures with processors of various speeds...