754 search results - page 124 / 151 » An Ordered Logic Program Solver |
106
Voted
CP
2010
Springer
14 years 11 months ago
2010
Springer
A recurring problem in data centres is that the constantly changing workload is not proportionally distributed over the available servers. Some resources may lay idle while others ...
109
click to vote
IMCSIT
2010
14 years 10 months ago
2010
The portfolio optimization problem is modeled as a mean-risk bicriteria optimization problem where the expected return is maximized and some (scalar) risk measure is minimized. In ...
95
Voted
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concurrent threads. Such bugs are often hard to reproduce because they typically hap...
108
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
100
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...