3547 search results - page 593 / 710 » Pseudo-Exhaustive Testing for Software |
169
click to vote
AVI
2006
15 years 7 months ago
2006
The need for effective search for television content is growing as the number of choices for TV viewing and/or recording explodes. In this paper we describe a preliminary prototyp...
186
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Over the last few years, genome-wide association (GWA) studies became a tool of choice for the identification of loci associated with complex traits. Currently, impute...
166
click to vote
CC
2007
Springer
15 years 6 months ago
2007
Springer
We initiate a study of tradeoffs between communication and computation in well-known communication models and in other related models. The fundamental question we investigate is t...
179
click to vote
CC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
173
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...