932 search results - page 87 / 187 » Analysis and Optimization of CHR Programs |
94
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
93
Voted
PPPJ
2009
ACM
15 years 7 months ago
2009
ACM
The problem of programming scalable multicore processors has renewed interest in message-passing languages and frameworks. Such languages and frameworks are typically actororiente...
101
Voted
ICA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, a new algorithm for source recovery in underdetermined Sparse Component Analysis (SCA) or atomic decomposition on over-complete dictionaries is presented i...
160
Voted
FOGA
2011
14 years 4 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
119
Voted
PAM
2012
Springer
13 years 8 months ago
2012
Springer
Network administrators are faced with the increasingly challenging task of monitoring their network’s health in real time, drawing upon diverse and voluminous measurement data fe...