536 search results - page 99 / 108 » A computer verified, monadic, functional implementation of t... |
MICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Aggressive technology scaling over the years has helped improve processor performance but has caused a reduction in processor reliability. Shrinking transistor sizes and lower sup...
117
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Genome-wide association studies (GWAS) using Copy Number Variation (CNV) are becoming a central focus of genetic research. CNVs have successfully provided target genom...
137
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Systematic approaches for identifying proteins involved in different types of cancer are needed. Experimental techniques such as microarrays are being used to characte...
136
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Genes work coordinately as gene modules or gene networks. Various computational approaches have been proposed to find gene modules based on gene expression data; for e...
VLSID
2006
IEEE
16 years 2 days ago
2006
IEEE
SoC design methodologies are under constant revision due to adoption of fast shrinking process technologies at nanometer levels. Nanometer process geometries exhibit new complex d...