Sciweavers

1729 search results - page 279 / 346
» Deterministic Expressions in C
Sort
View
DSN
2011
IEEE
12 years 9 months ago
Modeling time correlation in passive network loss tomography
—We consider the problem of inferring link loss rates using passive measurements. Prior inference approaches are mainly built on the time correlation nature of packet losses. How...
Jin Cao, Aiyou Chen, Patrick P. C. Lee
SIGCOMM
2012
ACM
12 years 13 days ago
Supporting network evolution and incremental deployment with XIA
eXpressive Internet Architecture (XIA) [1] is an architecture that natively supports multiple communication types and allows networks to evolve their abstractions and functionalit...
Robert Grandl, Dongsu Han, Suk-Bok Lee, Hyeontaek ...
PLDI
2012
ACM
12 years 13 days ago
Language-based control and mitigation of timing channels
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
BMCBI
2007
107views more  BMCBI 2007»
13 years 10 months ago
antiCODE: a natural sense-antisense transcripts database
Background: Natural antisense transcripts (NATs) are endogenous RNA molecules that exhibit partial or complete complementarity to other RNAs, and that may contribute to the regula...
Yifei Yin, Yi Zhao, Jie Wang, Changning Liu, Shugu...
BMCBI
2008
93views more  BMCBI 2008»
13 years 10 months ago
A software application for comparing large numbers of high resolution MALDI-FTICR MS spectra demonstrated by searching candidate
Background: A JavaTM application is presented, which compares large numbers (n > 100) of raw FTICR mass spectra from patients and controls. Two peptide profile matrices can be ...
Mark K. Titulaer, Dana A. N. Mustafa, Ivar Siccama...