2947 search results - page 340 / 590 » Analyzing Program Analyses |
155
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
185
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
156
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Mixed Multi-Unit Combinatorial Auctions (MMUCAs) allow agents to bid for bundles of goods to buy, goods to sell, and transformations of goods. In particular, MMUCAs offer a high ...
185
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...
153
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...