377 search results - page 72 / 76 » Effective TARO Pattern Generation |
ISPW
1996
IEEE
13 years 10 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
EUROCAST
1997
Springer
13 years 10 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
EXPCS
2007
13 years 10 months ago
2007
Predictors are inherent components of state-of-the-art microprocessors. Branch predictors are discussed actively from diverse perspectives. Performance of a branch predictor large...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
FASE
2006
Springer
13 years 10 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...