7167 search results - page 372 / 1434 » Answer Set Programming |
156
Voted
ISSRE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Coupling in software applications is often used as an indicator of external quality attributes such as fault-proneness. In fact, the correlation of coupling metrics and faults i...
111
Voted
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
190
Voted
SAGA
2009
Springer
15 years 10 months ago
2009
Springer
We propose a generic method for obtaining quickly good upper bounds on the minimal value of a multistage stochastic program. The method is based on the simulation of a feasible dec...
151
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
150
click to vote
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...