2774 search results - page 300 / 555 » Query-Driven Program Testing |
132
click to vote
ECLIPSE
2007
ACM
15 years 6 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
110
click to vote
ASAP
2004
IEEE
15 years 6 months ago
2004
IEEE
The Compaan compiler automatically derives a Process Network (PN) description from an application written in Matlab. The basic element of a PN is a Producer/Consumer (P/C) pair. F...
105
click to vote
IPCO
2007
15 years 3 months ago
2007
We introduce orbital branching, an effective branching method for integer programs containing a great deal of symmetry. The method is based on computing groups of variables that a...
132
click to vote
NIPS
2007
15 years 3 months ago
2007
Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
131
click to vote
DAGSTUHL
2004
15 years 3 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...