187 search results - page 36 / 38 » Combining simulation and formal methods for system-level per... |
160
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
148
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper presents a downlink performance analysis of a Layered Random Beamforming (LRB) - MIMO-OFDMA Physical Layer (PHY) as applicable to future generation wireless communica...
137
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Mass spectrometry (MS) is an essential analytical tool in proteomics. Many existing algorithms for peptide detection are based on isotope template matching and usually...
159
click to vote
P2P
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this paper we face the following problem: how to provide each peer local access to the full information (not just a summary) that is distributed over all edges of an overlay ...
141
click to vote
JCB
2008
15 years 4 months ago
2008
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...