1984 search results - page 153 / 397 » The colourful feasibility problem |
201
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
133
click to vote
ISAAC
1998
Springer
15 years 10 months ago
1998
Springer
Casting is a manufacturing process in which liquid is poured into a cast (mould) that has a cavity with the shape of the object to be manufactured. The liquid then hardens, after ...
195
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Enterprise networks are important, with size and complexity even surpassing carrier networks. Yet, the design of enterprise networks remains ad-hoc and poorly understood. In this p...
168
click to vote
NETWORKING
2004
15 years 7 months ago
2004
Probabilistic inference was shown effective in non-deterministic diagnosis of end-to-end service failures. Since exact probabilistic diagnosis is known to be an NP-hard problem, a...
163
click to vote
PSSS
2003
15 years 7 months ago
2003
Contrary to earlier reports in literature, exhaustive forward inferencing is a feasible approach for practical RDF. It is sufficiently fast and the increase in necessary storage s...