1604 search results - page 83 / 321 » Development Separation in Lambda-Calculus |
CASCON
1997
13 years 11 months ago
1997
This paper presents work practice data of the daily activities of software engineers. Four separate studies are presented; one looking longitudinally at an individual SE; two look...
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we report on our investigation of factors affecting the performance of various parallelization paradigms for multiobjective evolutionary algorithms. Different paral...
ENTCS
2006
13 years 10 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
ANOR
2002
13 years 10 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
JCC
2008
13 years 9 months ago
2008
Abstract: In this work, a numerical procedure based on the continuum model is developed and applied to the solvation energy for ground state and the spectral shift against the posi...