5235 search results - page 601 / 1047 » Analysis of Multithreaded Programs |
173
click to vote
EOR
2006
15 years 7 months ago
2006
We consider multi-period portfolio selection problems for a decision maker with a specified utility function when the variance of security returns is described by a discrete time ...
182
Voted
CONSTRAINTS
1999
15 years 7 months ago
1999
Interval constraints can be used to solve problems in numerical analysis. In this paper we show that one can improve the performance of such an interval constraint program by the ...
225
click to vote
CC
2009
Springer
15 years 5 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
209
click to vote
ENTCS
2010
15 years 2 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
211
Voted
JMLR
2012
13 years 10 months ago
2012
We consider the multiple-response regression problem, where the response is subject to sparse gross errors, in the high-dimensional setup. We propose a tractable regularized M-est...