3547 search results - page 371 / 710 » Pseudo-Exhaustive Testing for Software |
144
click to vote
EUROPAR
1999
Springer
15 years 11 months ago
1999
Springer
This paper deals with the influence of hardware aspects of modern computer architectures to the design of software for numerical simulations. We present performance tests for vari...
163
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
An efficient method for the analysis of real 3D conjugate heat transfer for electronic devices is presented. This methodology is based on the coupling of two software : a conducti...
137
click to vote
C5
2006
IEEE
15 years 10 months ago
2006
IEEE
1 We propose a music generation software that allows large numbers of users to collaborate. In a virtual world, groups of users generate music simultaneously at different places i...
188
click to vote
SNPD
2008
15 years 8 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
174
click to vote
SNPD
2008
15 years 8 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...