Sciweavers

5757 search results - page 279 / 1152
» Dynamic Policy Programming
Sort
View
JAIR
2008
121views more  JAIR 2008»
15 years 6 months ago
A Constraint Programming Approach for Solving a Queueing Control Problem
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custom...
Daria Terekhov, J. Christopher Beck
TOCS
2002
70views more  TOCS 2002»
15 years 6 months ago
Secure program partitioning
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,...
ECOOP
2004
Springer
16 years 7 hour ago
Modules with Interfaces for Dynamic Linking and Communication
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
Yu David Liu, Scott F. Smith
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
16 years 29 days ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
HYBRID
2007
Springer
15 years 10 months ago
A Hybrid Bellman Equation for Bimodal Systems
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
Peter E. Caines, Magnus Egerstedt, Roland P. Malha...