5314 search results - page 348 / 1063 » Hybrid Dynamic Programming |
188
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
145
click to vote
ECOOP
2005
Springer
16 years 5 days ago
2005
Springer
Two object-oriented programming language paradigms— dynamic, prototype-based languages and multi-method languages— provide orthogonal benefits to software engineers. These two...
215
click to vote
ICS
2007
Tsinghua U.
16 years 24 days ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...
186
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
There is a growing interest in the use of speculative multithreading to speed up the execution of a program. In speculative multithreading model, threads are extracted from a sequ...
141
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
We propose a stochastic model for video and compute its information rates. The model has two sources of information representing ensembles of camera motion and visual scene data (...