5757 search results - page 414 / 1152 » Dynamic Policy Programming |
198
click to vote
CONSTRAINTS
2010
15 years 6 months ago
2010
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
185
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
176
Voted
TRUST
2010
Springer
15 years 5 months ago
2010
Springer
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...
159
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
169
click to vote
SIGARCH
2010
15 years 1 months ago
2010
We describe a programming framework for high performance clusters with various hardware accelerators. In this framework, users can utilize the available heterogeneous resources pr...