9626 search results - page 418 / 1926 » Invariant Based Programming |
169
click to vote
TCS
2010
15 years 5 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
367
click to vote
FCCM
2011
IEEE
14 years 10 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
210
click to vote
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, based on manifold harmonics, we propose a novel framework for 3D shape similarity comparison and partial matching. First, we propose a novel symmetric meanvalue rep...
151
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
227
click to vote
EUROGP
2007
Springer
16 years 28 days ago
2007
Springer
As is typical in evolutionary algorithms, fitness evaluation in GP takes the majority of the computational effort. In this paper we demonstrate the use of the Graphics Processing...