8947 search results - page 378 / 1790 » Improving software quality |
161
Voted
JSA
2006
15 years 6 months ago
2006
Nowadays, organizations face with a very high competitiveness and for this reason they have to continuously improve their processes. Two key aspects to be considered in the softwa...
180
click to vote
NIPS
2008
15 years 8 months ago
2008
Most algorithms for solving Markov decision processes rely on a discount factor, which ensures their convergence. It is generally assumed that using an artificially low discount f...
215
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
162
click to vote
HVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
126
click to vote
NAR
1998
15 years 6 months ago
1998
A large number of different mutations in the p53 tumor suppressor gene have been identified in all types of cancer. As of October, 1997, this database (http:// perso.curie.fr/tsou...