12981 search results - page 2194 / 2597 » Model Checking (Abstract) |
163
click to vote
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
136
click to vote
RECOMB
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. The recent availability of large scale data sets profiling single nucleotide polymorphisms (SNPs) and gene expression across different human populations, has directed muc...
181
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Mapping intra-cellular signaling networks is a critical step in developing an understanding of and treatments for many devastating diseases. The predominant ways of disco...
123
Voted
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Peptide mass fingerprinting is a technique to identify a protein from its fragment masses obtained by mass spectrometry after enzymatic digestion. Recently, much attentio...
138
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...