3335 search results - page 335 / 667 » A Unified Approach to Modeling and Programming |
158
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
197
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
In a database system, disclosure of confidential private data may occur if users can put together the answers of past queries. Traditional access control mechanisms cannot guard a...
173
click to vote
CP
2010
Springer
15 years 5 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 ...
169
click to vote
JSS
2006
15 years 6 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
239
click to vote
JMLR
2010
15 years 1 months ago
2010
With the goal to generate more scalable algorithms with higher efficiency and fewer open parameters, reinforcement learning (RL) has recently moved towards combining classical tec...