8109 search results - page 96 / 1622 » A Model of Component-Based Programming |
100
click to vote
ANOR
2007
15 years 4 months ago
2007
This paper describes a stochastic programming model that was developed for asset liability management of a Finnish pension insurance company. In many respects the model resembles t...
127
click to vote
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
138
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
124
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. The nano-threads programming model was proposed to effectively integrate multiprogramming on shared-memory multiprocessors, with the exploitation of fine-grain parallelis...
156
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
In the field of medicine it is of vital importance to accurately predict the presence of a disease (diagnostic prediction) or the future occurrence of a certain event (prognostic...