6800 search results - page 1054 / 1360 » Testing with Functions as Specifications |
175
click to vote
MJ
2007
15 years 5 months ago
2007
With increasingly smaller feature sizes and higher on-chip densities, the power dissipation of VLSI systems has become a primary concern for designers. This paper first describes...
188
Voted
BMCBI
2010
15 years 1 months ago
2010
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...
190
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Genome-wide expression signatures are emerging as potential marker for overall survival and disease recurrence risk as evidenced by recent commercialization of gene ex...
333
click to vote
NA
2011
15 years 1 months ago
2011
Grid adaptation in two-point boundary value problems is usually based on mapping a uniform auxiliary grid to the desired nonuniform grid. Here we combine this approach with a new ...
181
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
The success of data-driven solutions to difficult problems, along with the dropping costs of storing and processing massive amounts of data, has led to growing interest in largesc...