13591 search results - page 61 / 2719 » On the Implementation of Dynamic Evaluation |
127
click to vote
TOOLS
2010
IEEE
15 years 2 months ago
2010
IEEE
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
137
click to vote
DAGM
2006
Springer
15 years 6 months ago
2006
Springer
We present a variational approach to motion estimation of instationary fluid flows. Our approach extends prior work along two directions: (i) The full incompressible Navier-Stokes ...
145
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
140
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...
171
Voted
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...