5757 search results - page 480 / 1152 » Dynamic Policy Programming |
175
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
218
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper proposes a stochastic dynamic thermal management (DTM) technique in high-performance VLSI system with especial attention to the uncertainty in temperature observation. ...
174
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
162
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs significantly the state-of-the-art algorithm for this task [20]. Speci...
198
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
An algorithm that performs asynchronous backtracking on distributed CSPs, with dynamic ordering of agents is proposed, ABT DO. Agents propose reorderings of lower priority agents a...