9626 search results - page 261 / 1926 » Invariant Based Programming |
219
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Nowadays, object recognition is widely studied under the paradigm of matching local features. This work describes a genetic programming methodology that synthesizes mathematical e...
157
click to vote
VL
1992
IEEE
15 years 10 months ago
1992
IEEE
Constraint based draw programs require users to understand and manage relationships between drawing elements. By establishing constraint relationships among elements the user effe...
155
click to vote
TACAS
2005
Springer
16 years 22 hour ago
2005
Springer
We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].
153
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
PJama is a system that provides orthogonal persistence defined by reach
199
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...