5326 search results - page 908 / 1066 » On what we can ensure |
185
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
182
click to vote
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Developing and tuning computational science applications to run on extreme scale systems are increasingly complicated processes. Challenges such as managing memory access...
195
click to vote
ISTCS
1992
Springer
15 years 10 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
164
click to vote
CL
2010
Springer
15 years 6 months ago
2010
Springer
In a modern programming language, scoping rules determine the visibility of names in various regions of a program [15]. In this work, we examine the idea of allowing an applicatio...
182
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Temporal difference methods are theoretically grounded and empirically effective methods for addressing reinforcement learning problems. In most real-world reinforcement learning ...