5757 search results - page 223 / 1152 » Dynamic Policy Programming |
174
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
182
click to vote
EPIA
2005
Springer
16 years 1 days ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
184
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
In deep submicron circuits, elevation in temperatures has brought new challenges in reliability, timing, performance, cooling costs and leakage power. Conventional thermal managem...
176
click to vote
FSEN
2007
Springer
16 years 21 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
192
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...