5757 search results - page 89 / 1152 » Dynamic Policy Programming |
137
click to vote
VLDB
1993
ACM
15 years 6 months ago
1993
ACM
This paper studies the problem of memory allocation and scheduling in a multiple query workload with widely varying resource requirements. Several memory allocation and scheduling...
149
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
121
Voted
MOBISYS
2005
ACM
16 years 2 months ago
2005
ACM
Inverse multiplexing, or network striping, allows the construction of a high-bandwidth virtual channel from a collection of multiple low-bandwidth network channels. Striping syste...
120
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Scientists increasingly rely on the execution of workflows in grids to obtain results from complex mixtures of applications. However, the inherently dynamic nature of grid workflo...
101
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—We propose a security authentication policy, Dynamic Session Key Policy (DSKP), for a secure handoff between the UMTS and IEEE 802.11 WLAN. This policy is founded and improved f...