1994 search results - page 205 / 399 » Computation of Optical Flow Using Dynamic Programming |
74
Voted
GRID
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a formal model for deployment and hosting of a dynamic grid service wherein the service provider must pay a resource provider for the use of computational resources. ...
75
Voted
DAC
2005
ACM
15 years 11 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...
87
Voted
SC
2000
ACM
15 years 2 months ago
2000
ACM
We present an optimized parallelization scheme for molecular dynamics simulations of large biomolecular systems, implemented in the production-quality molecular dynamics program N...
78
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
103
Voted
IANDC
2010
14 years 7 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...