Sciweavers

188 search results - page 29 / 38
» Developing a Hardware Evaluation Method for SHA-3 Candidates
Sort
View
JCB
2008
94views more  JCB 2008»
14 years 9 months ago
Prioritize and Select SNPs for Association Studies with Multi-Stage Designs
Large-scale whole genome association studies are increasingly common, due in large part to recent advances in genotyping technology. With this change in paradigm for genetic studi...
Jing Li
BMCBI
2008
128views more  BMCBI 2008»
14 years 9 months ago
In silico analysis of expressed sequence tags from Trichostrongylus vitrinus (Nematoda): comparison of the automated ESTExplorer
Background: The analysis of expressed sequence tags (EST) offers a rapid and cost effective approach to elucidate the transcriptome of an organism, but requires several computatio...
Shivashankar H. Nagaraj, Robin B. Gasser, Alasdair...
CAV
2009
Springer
176views Hardware» more  CAV 2009»
15 years 10 months ago
PAT: Towards Flexible Verification under Fairness
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pa...
WOSP
2010
ACM
15 years 4 months ago
A general result for deriving product-form solutions in markovian models
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
Andrea Marin, Maria Grazia Vigliotti
85
Voted
ISVLSI
2005
IEEE
126views VLSI» more  ISVLSI 2005»
15 years 3 months ago
Adaptive Power Management in Software Radios Using Resolution Adaptive Analog to Digital Converters
The popularity of Software Radios is increasing, as they have become one of the important emerging technologies in mobile communications. One of the major challenges during develo...
Daniel Hostetler, Yuan Xie