178 search results - page 34 / 36 » A Tool for Optimizing the Build Performance of Large Softwar... |
150
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
193
click to vote
HPDC
1999
IEEE
15 years 8 months ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
140
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The decrease in cost for sequencing and improvement in technologies has made it easier and more common for the re-sequencing of large genomes as well as parallel seque...
176
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Mosaicism for copy number and copy neutral chromosomal rearrangements has been recently identified as a relatively common source of genetic variation in the normal pop...
145
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—BitTorrent (BT) has carried out a significant and continuously increasing portion of Internet traffic. While several designs have been recently proposed and implemented to imp...