754 search results - page 124 / 151 » An Ordered Logic Program Solver |
150
click to vote
CP
2010
Springer
15 years 3 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 ...
151
click to vote
IMCSIT
2010
15 years 3 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 ...
133
click to vote
FASE
2010
Springer
16 years 1 days 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...
154
click to vote
PLDI
2009
ACM
16 years 19 hour 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...
162
click to vote
CORR
2011
Springer
15 years 7 days 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...