1994 search results - page 239 / 399 » Computation of Optical Flow Using Dynamic Programming |
103
click to vote
SAC
2009
ACM
15 years 4 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
EVOW
2012
Springer
13 years 5 months ago
2012
Springer
We are using bandit-based adaptive operator selection while autotuning parallel computer programs. The autotuning, which uses evolutionary algorithm-based stochastic sampling, take...
WSC
2007
15 years 10 days ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
105
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract-- An inverse modeling problem for systems governed by first-order, hyperbolic partial differential equations subject to periodic forcing is investigated. The problem is de...
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...